search

StrongerXi / soc

Compiler for a subset of OCaml
1 stars 0 forks source link

[Parser] implement syntacic sugar for defining function with let #9

Closed StrongerXi closed 3 years ago

StrongerXi commented 3 years ago 
let f (x : int) y : bool = e 
(* is desugared into and represented in AST as *)
let (f : int -> _ -> bool) = (fun (x : int) y -> e)