Mercurial > urweb
comparison src/elab.sml @ 173:8221b95cc24c
Patterns for int and string constants
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 31 Jul 2008 10:44:52 -0400 |
parents | c7a6e6dbc318 |
children | b2d752455182 |
comparison
equal
deleted
inserted
replaced
172:021f5beb6f8d | 173:8221b95cc24c |
---|---|
76 | PConProj of int * string list * string | 76 | PConProj of int * string list * string |
77 | 77 |
78 datatype pat' = | 78 datatype pat' = |
79 PWild | 79 PWild |
80 | PVar of string | 80 | PVar of string |
81 | PPrim of Prim.t | |
81 | PCon of patCon * pat option | 82 | PCon of patCon * pat option |
82 | 83 |
83 withtype pat = pat' located | 84 withtype pat = pat' located |
84 | 85 |
85 datatype exp' = | 86 datatype exp' = |