From 07c2c742b94f35a9c95ebabd58b6799ec58f1059 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 12 Jun 2014 14:34:33 +0100
Subject: Add uint* to default type names for lexer

This is necessary to avoid a parse error. It might make sense to merge
this list and the one in type_internal.ml somehow, to avoid duplication
and similar bugs in the future.
---
 src/process_file.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/process_file.ml b/src/process_file.ml
index 26fc1f22..c2a977da 100644
--- a/src/process_file.ml
+++ b/src/process_file.ml
@@ -62,7 +62,8 @@ let get_lexbuf fn =
 
 let parse_file (f : string) : Parse_ast.defs =
   let scanbuf = get_lexbuf f in
-  let default_type_names = ["bool";"unit";"vector";"range";"list";"bit";"nat"] in
+  let default_type_names = ["bool";"unit";"vector";"range";"list";"bit";"nat";
+  "uint8";"uint16";"uint32";"uint64"] in
   let type_names = 
     try
       Pre_parser.file Pre_lexer.token scanbuf
-- 
cgit v1.2.3