Mercurial > urweb

comparison src/flat.sml @ 29:537db4ee89f4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Translation to Cjr
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Jun 2008 18:28:43 -0400
parents 4ab19c19665f
children 198172560b73
comparison
equal deleted inserted replaced
28:104d43266b33 29:537db4ee89f4
28 structure Flat = struct 28 structure Flat = struct
29 29
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 TTop
34 | TFun of typ * typ
34 | TCode of typ * typ 35 | TCode of typ * typ
35 | TRecord of (string * typ) list 36 | TRecord of (string * typ) list
36 | TNamed of int 37 | TNamed of int
37 38
38 withtype typ = typ' located 39 withtype typ = typ' located
42 | ERel of int 43 | ERel of int
43 | ENamed of int 44 | ENamed of int
44 | ECode of int 45 | ECode of int
45 | EApp of exp * exp 46 | EApp of exp * exp
46 47
47 | ERecord of (string * exp) list 48 | ERecord of (string * exp * typ) list
48 | EField of exp * string 49 | EField of exp * string
49 50
50 | ELet of (string * exp) list * exp 51 | ELet of (string * typ * exp) list * exp
51 52
52 withtype exp = exp' located 53 withtype exp = exp' located
53 54
54 datatype decl' = 55 datatype decl' =
55 DVal of string * int * typ * exp 56 DVal of string * int * typ * exp