Source

lambda-translator / parser.ml

Diff from to

File parser.ml

 open Term
 
 type 'a parser = ('a, token list) ParserUtil.parser
+exception Error of ParserUtil.error_msg
 
 let ident : var parser = function
   | Ident s :: ts -> Inl (s, ts)