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

Small tweak on the typed AST

Browse Source
This commit is contained in:
Georges Dupéron 2019-03-13 23:42:16 +01:00
parent 650206ec14
commit cf80ccd9a2
2 changed files with 12 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
Typecheck2.ml
View File

@ -5,8 +5,9 @@ module SMap = Map.Make(String)
module O = struct
type asttodo = [`TODO] (* occurrences of asttodo will point to some part of the original parser AST *)
type type_name = string
type var_name = { name: string; orig: asttodo }
type type_name = {name: string; orig: Region.t}
type var_name = type_name
type record_key = [`Field of string | `Component of int]
type pattern =
@ -22,7 +23,9 @@ module O = struct
| PSome of pattern
| PCons of pattern * pattern
| PNull
| PRecord of pattern list
| PRecord of record_key precord
and 'key precord = ('key * pattern) list
type type_constructor =
| Option

9
Typecheck2.mli
View File

@ -5,8 +5,9 @@ module SMap : Map.S with type key = string
module O : sig
type asttodo = [`TODO] (* occurrences of asttodo will point to some part of the original parser AST *)
type type_name = string
type var_name = { name: string; orig: asttodo }
type type_name = {name: string; orig: Region.t}
type var_name = type_name
type record_key = [`Field of string | `Component of int]
type pattern =
@ -22,7 +23,9 @@ module O : sig
| PSome of pattern
| PCons of pattern * pattern
| PNull
| PRecord of pattern list
| PRecord of record_key precord
and 'key precord = ('key * pattern) list
type type_constructor =
| Option