Mercurial > urweb

comparison src/mono.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 6847741e1f5f
children eb3f9913bf31
comparison
equal deleted inserted replaced
167:2be573fec9a6 168:25b169416ea8
30 type 'a located = 'a ErrorMsg.located 30 type 'a located = 'a ErrorMsg.located
31 31
32 datatype typ' = 32 datatype typ' =
33 TFun of typ * typ 33 TFun of typ * typ
34 | TRecord of (string * typ) list 34 | TRecord of (string * typ) list
35 | TNamed of int 35 | TDatatype of int * (string * int * typ option) list
36 | TFfi of string * string 36 | TFfi of string * string
37 37
38 withtype typ = typ' located 38 withtype typ = typ' located
39 39
40 datatype exp' = 40 datatype exp' =