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

Removed non-applied type_constructor, single parameter for lambda expression.

Browse Source
This commit is contained in:
Georges Dupéron 2019-03-14 12:30:51 +01:00
parent 1db0f7c1fe
commit 8a11fc71eb
2 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Typecheck2.ml
View File

@ -41,7 +41,6 @@ module O = struct
| TypeApp of type_constructor * (type_expr list)
| Function of { arg: type_expr; ret: type_expr }
| Ref of type_expr
| TC of type_constructor
| String
| Int
| Unit
@ -68,7 +67,7 @@ module O = struct
and decl = { var: typed_var; value: expr; orig: asttodo }
and lambda = {
parameters: typed_var SMap.t;
parameter: typed_var;
declarations: decl list;
instructions: instr list;
result: expr;

3
Typecheck2.mli
View File

@ -41,7 +41,6 @@ module O : sig
| TypeApp of type_constructor * (type_expr list)
| Function of { arg: type_expr; ret: type_expr }
| Ref of type_expr
| TC of type_constructor
| String
| Int
| Unit
@ -68,7 +67,7 @@ module O : sig
and decl = { var: typed_var; value: expr; orig: asttodo }
and lambda = {
parameters: typed_var SMap.t;
parameter: typed_var;
declarations: decl list;
instructions: instr list;
result: expr;