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

Renamings.

Browse Source
This commit is contained in:
Christian Rinderknecht 2019-03-21 12:55:24 +01:00
parent abbebbf0f6
commit 3b318d0f06
No known key found for this signature in database
GPG Key ID: 9446816CFD267040
2 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
AST.ml
View File

@ -39,6 +39,7 @@ let sepseq_to_region to_region = function
(* Keywords of LIGO *) (* Keywords of LIGO *)
type kwd_and = Region.t
type kwd_begin = Region.t type kwd_begin = Region.t
type kwd_case = Region.t type kwd_case = Region.t
type kwd_const = Region.t type kwd_const = Region.t
@ -56,6 +57,7 @@ type kwd_map = Region.t
type kwd_mod = Region.t type kwd_mod = Region.t
type kwd_not = Region.t type kwd_not = Region.t
type kwd_of = Region.t type kwd_of = Region.t
type kwd_or = Region.t
type kwd_patch = Region.t type kwd_patch = Region.t
type kwd_procedure = Region.t type kwd_procedure = Region.t
type kwd_record = Region.t type kwd_record = Region.t
@ -93,8 +95,6 @@ type arrow = Region.t
type assign = Region.t type assign = Region.t
type equal = Region.t type equal = Region.t
type colon = Region.t type colon = Region.t
type bool_or = Region.t
type bool_and = Region.t
type lt = Region.t type lt = Region.t
type leq = Region.t type leq = Region.t
type gt = Region.t type gt = Region.t
@ -476,8 +476,8 @@ and logic_expr =
| CompExpr of comp_expr | CompExpr of comp_expr
and bool_expr = and bool_expr =
Or of bool_or bin_op reg Or of kwd_or bin_op reg
| And of bool_and bin_op reg | And of kwd_and bin_op reg
| Not of kwd_not un_op reg | Not of kwd_not un_op reg
| False of c_False | False of c_False
| True of c_True | True of c_True

8
AST.mli
View File

@ -23,6 +23,7 @@ val sepseq_to_region : ('a -> Region.t) -> ('a,'sep) sepseq -> Region.t
(* Keywords of LIGO *) (* Keywords of LIGO *)
type kwd_and = Region.t
type kwd_begin = Region.t type kwd_begin = Region.t
type kwd_case = Region.t type kwd_case = Region.t
type kwd_const = Region.t type kwd_const = Region.t
@ -40,6 +41,7 @@ type kwd_map = Region.t
type kwd_mod = Region.t type kwd_mod = Region.t
type kwd_not = Region.t type kwd_not = Region.t
type kwd_of = Region.t type kwd_of = Region.t
type kwd_or = Region.t
type kwd_patch = Region.t type kwd_patch = Region.t
type kwd_procedure = Region.t type kwd_procedure = Region.t
type kwd_record = Region.t type kwd_record = Region.t
@ -77,8 +79,6 @@ type arrow = Region.t (* "->" *)
type assign = Region.t (* ":=" *) type assign = Region.t (* ":=" *)
type equal = Region.t (* "=" *) type equal = Region.t (* "=" *)
type colon = Region.t (* ":" *) type colon = Region.t (* ":" *)
type bool_or = Region.t (* "||" *)
type bool_and = Region.t (* "&&" *)
type lt = Region.t (* "<" *) type lt = Region.t (* "<" *)
type leq = Region.t (* "<=" *) type leq = Region.t (* "<=" *)
type gt = Region.t (* ">" *) type gt = Region.t (* ">" *)
@ -460,8 +460,8 @@ and logic_expr =
| CompExpr of comp_expr | CompExpr of comp_expr
and bool_expr = and bool_expr =
Or of bool_or bin_op reg Or of kwd_or bin_op reg
| And of bool_and bin_op reg | And of kwd_and bin_op reg
| Not of kwd_not un_op reg | Not of kwd_not un_op reg
| False of c_False | False of c_False
| True of c_True | True of c_True