Commit e63571bf authored by Pietro Abate's avatar Pietro Abate
Browse files

Revert change 7d0521c9 for

compile/lambda.ml
parent e89e9232
......@@ -37,10 +37,10 @@ type expr =
(* environment, interface, branches, size of locals, eval flag, substitutions *)
| Check of expr * Auto_pat.state
| Const of Value.t
| Pair of expr * expr * sigma
| Xml of expr * expr * expr * sigma
| XmlNs of expr * expr * expr * Ns.table * sigma
| Record of expr Imap.t * sigma
| Pair of expr * expr
| Xml of expr * expr * expr
| XmlNs of expr * expr * expr * Ns.table
| Record of expr Imap.t
| String of U.uindex * U.uindex * U.t * expr
| Match of expr * branches
| Map of expr * branches
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment