Mercurial > urweb

comparison src/expl.sml @ 188:8e9f97508f0d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Datatype representation optimization
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 19:49:21 -0400
parents d11754ffe252
children aa54250f58ac
comparison
equal deleted inserted replaced
187:fb6ed259f5bd 188:8e9f97508f0d
57 57
58 | CUnit 58 | CUnit
59 59
60 withtype con = con' located 60 withtype con = con' located
61 61
62 datatype datatype_kind = datatype Elab.datatype_kind
63
62 datatype patCon = 64 datatype patCon =
63 PConVar of int 65 PConVar of int
64 | PConProj of int * string list * string 66 | PConProj of int * string list * string
65 67
66 datatype pat' = 68 datatype pat' =
67 PWild 69 PWild
68 | PVar of string * con 70 | PVar of string * con
69 | PPrim of Prim.t 71 | PPrim of Prim.t
70 | PCon of patCon * pat option 72 | PCon of datatype_kind * patCon * pat option
71 | PRecord of (string * pat * con) list 73 | PRecord of (string * pat * con) list
72 74
73 withtype pat = pat' located 75 withtype pat = pat' located
74 76
75 datatype exp' = 77 datatype exp' =