comparison src/cjr.sml @ 1065:217eb87dde31

Basis.url and redirects
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Dec 2009 13:32:09 -0500
parents b2a175a0f2ef
children b2311dfb3158
comparison
equal deleted inserted replaced
1064:b89e3d8731ed 1065:217eb87dde31
75 75
76 | ECase of exp * (pat * exp) list * { disc : typ, result : typ } 76 | ECase of exp * (pat * exp) list * { disc : typ, result : typ }
77 77
78 | EError of exp * typ 78 | EError of exp * typ
79 | EReturnBlob of {blob : exp, mimeType : exp, t : typ} 79 | EReturnBlob of {blob : exp, mimeType : exp, t : typ}
80 | ERedirect of exp * typ
80 81
81 | EWrite of exp 82 | EWrite of exp
82 | ESeq of exp * exp 83 | ESeq of exp * exp
83 | ELet of string * typ * exp * exp 84 | ELet of string * typ * exp * exp
84 85