balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Wrong nesting of key and expr in records

Browse Source
This commit is contained in:
Georges Dupéron 2019-03-14 11:59:14 +01:00
parent 97db2a431c
commit 1db0f7c1fe
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Typecheck2.ml
View File

@ -61,7 +61,7 @@ module O = struct
| Record of record_key expr_record | Record of record_key expr_record
| Lambda of lambda | Lambda of lambda
and 'key expr_record = ('key * expr list) and 'key expr_record = ('key * expr) list
and expr = { expr: expr_case; ty:type_expr; orig: asttodo } and expr = { expr: expr_case; ty:type_expr; orig: asttodo }

2
Typecheck2.mli
View File

@ -61,7 +61,7 @@ module O : sig
| Record of record_key expr_record | Record of record_key expr_record
| Lambda of lambda | Lambda of lambda
and 'key expr_record = ('key * expr list) and 'key expr_record = ('key * expr) list
and expr = { expr: expr_case; ty:type_expr; orig: asttodo } and expr = { expr: expr_case; ty:type_expr; orig: asttodo }