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

Started structure for the type annotator

Browse Source
This commit is contained in:
Georges Dupéron 2019-03-14 20:00:01 +01:00
parent 7a84cf1c8b
commit fb97b056ca
1 changed files with 23 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
Typecheck2.ml
View File

@ -104,5 +104,26 @@ module O = struct
}
end
let annotate : I.ast -> O.ast =
failwith "type annotator is not implemented yet"
type te = O.type_expr list SMap.t
type ve = O.type_expr list SMap.t
type tve = te * ve
let a_types : tve -> I.type_decl list -> tve * O.type_decl list =
failwith "TODO"
let a_storage_decl : tve -> I.typed_var -> tve * O.typed_var =
failwith "TODO"
let a_declarations : tve -> I.decl list -> tve * O.decl list =
failwith "TODO"
let a_ast I.{types; storage_decl; declarations; orig} =
let tve = SMap.empty, SMap.empty in
let tve, types = a_types tve types in
let tve, storage_decl = a_storage_decl tve storage_decl in
let tve, declarations = a_declarations tve declarations in
let _ = tve in
O.{types; storage_decl; declarations; orig}
let annotate : I.ast -> O.ast = a_ast