From dcc2ec2e4e6a3fd9a393af64d45bdf659201da03 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 28 Nov 2013 17:07:32 +0000
Subject: Updated syntax with working examples

---
 src/process_file.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/process_file.ml')

diff --git a/src/process_file.ml b/src/process_file.ml
index 35a84b21..b07caca4 100644
--- a/src/process_file.ml
+++ b/src/process_file.ml
@@ -62,6 +62,7 @@ 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";"enum";"list";"bit";"nat"] in
   let type_names = 
     try
       Pre_parser.file Pre_lexer.token scanbuf
@@ -73,14 +74,14 @@ let parse_file (f : string) : Parse_ast.defs =
           raise (Reporting_basic.Fatal_error (Reporting_basic.Err_syntax_locn (l, m)))
       | Lexer.LexError(s,p) ->
           raise (Reporting_basic.Fatal_error (Reporting_basic.Err_lex (p, s))) in
-  let _ = Lexer.type_names != ref type_names in
+  let _ = Lexer.type_names := (default_type_names@type_names) in
   let lexbuf = get_lexbuf f in
     try
       Parser.file Lexer.token lexbuf
     with
       | Parsing.Parse_error ->
           let pos = Lexing.lexeme_start_p lexbuf in
-           raise (Reporting_basic.Fatal_error (Reporting_basic.Err_syntax (pos, "")))
+           raise (Reporting_basic.Fatal_error (Reporting_basic.Err_syntax (pos, "main")))
       | Parse_ast.Parse_error_locn(l,m) ->
           raise (Reporting_basic.Fatal_error (Reporting_basic.Err_syntax_locn (l, m)))
       | Lexer.LexError(s,p) ->
-- 
cgit v1.2.3