From ff576dfc3996b6f0da4d1c30a186e7a245d8530d Mon Sep 17 00:00:00 2001
From: Pierre Wilke <pierre.wilke@centralesupelec.fr>
Date: Tue, 24 Mar 2020 10:46:38 +0100
Subject: [PATCH] Fix alpaga default char
---
alpaga/ml_parser_generator.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/alpaga/ml_parser_generator.ml b/alpaga/ml_parser_generator.ml
index 09dd4b5..01a8a70 100644
--- a/alpaga/ml_parser_generator.ml
+++ b/alpaga/ml_parser_generator.ml
@@ -90,6 +90,7 @@ let make_parser (table: string*string -> lltype list)
"string" -> "\"\""
| "int" -> "0"
| "bool" -> "false"
+ | "char" -> "'a'"
| _ -> failwith (Printf.sprintf "Don't know how to generate a default value of type %s" ty)
)
end
--
GitLab