Mercurial > urweb

comparison src/cjr.sml @ 166:a991431b77eb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of unurlify for datatypes
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 14:28:44 -0400
parents e52dfb1e6b19
children 25b169416ea8
comparison
equal deleted inserted replaced
165:e52dfb1e6b19 166:a991431b77eb
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 | TNamed of int 36 | TDatatype of int
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' =