Mercurial > urweb
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 |