comparison src/source.sml @ 822:d4e811beb8eb

fn-pattern code in but not tested yet; hello compiles
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 May 2009 10:16:50 -0400
parents e2780d2f4afc
children 7f871c03e3a1
comparison
equal deleted inserted replaced
821:395a5d450cc0 822:d4e811beb8eb
107 PWild 107 PWild
108 | PVar of string 108 | PVar of string
109 | PPrim of Prim.t 109 | PPrim of Prim.t
110 | PCon of string list * string * pat option 110 | PCon of string list * string * pat option
111 | PRecord of (string * pat) list * bool 111 | PRecord of (string * pat) list * bool
112 | PAnnot of pat * con
112 113
113 and exp' = 114 and exp' =
114 EAnnot of exp * con 115 EAnnot of exp * con
115 116
116 | EPrim of Prim.t 117 | EPrim of Prim.t