Mercurial > urweb
comparison src/elab.sml @ 176:33d4a8eea484
Case through explify
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 31 Jul 2008 16:28:55 -0400 |
parents | b2d752455182 |
children | d11754ffe252 |
comparison
equal
deleted
inserted
replaced
175:b2d752455182 | 176:33d4a8eea484 |
---|---|
78 datatype pat' = | 78 datatype pat' = |
79 PWild | 79 PWild |
80 | PVar of string | 80 | PVar of string |
81 | PPrim of Prim.t | 81 | PPrim of Prim.t |
82 | PCon of patCon * pat option | 82 | PCon of patCon * pat option |
83 | PRecord of (string * pat) list * con option | 83 | PRecord of (string * pat) list |
84 | 84 |
85 withtype pat = pat' located | 85 withtype pat = pat' located |
86 | 86 |
87 datatype exp' = | 87 datatype exp' = |
88 EPrim of Prim.t | 88 EPrim of Prim.t |