Mercurial > urweb

comparison src/cjr.sml @ 168:25b169416ea8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Storing datatype constructors in type references past monoize
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 15:43:17 -0400
parents a991431b77eb
children 31dfab1d4050
comparison
equal deleted inserted replaced
167:2be573fec9a6 168:25b169416ea8
31 31
32 datatype typ' = 32 datatype typ' =
33 TTop 33 TTop
34 | TFun of typ * typ 34 | TFun of typ * typ
35 | TRecord of int 35 | TRecord of int
36 | TDatatype of int 36 | TDatatype of int * (string * int * typ option) list
37 | TFfi of string * string 37 | TFfi of string * string
38 38
39 withtype typ = typ' located 39 withtype typ = typ' located
40 40
41 datatype exp' = 41 datatype exp' =