Mercurial > urweb

comparison src/core.sml @ 1848:e15234fbb163

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.tryRpc
author Adam Chlipala <adam@chlipala.net>
date Tue, 16 Apr 2013 10:55:48 -0400
parents 0577be31a435
children
comparison
equal deleted inserted replaced
1847:8958b580d026 1848:e15234fbb163
1 (* Copyright (c) 2008, Adam Chlipala 1 (* Copyright (c) 2008, 2013, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *
84 | PCon of datatype_kind * patCon * con list * pat option 84 | PCon of datatype_kind * patCon * con list * pat option
85 | PRecord of (string * pat * con) list 85 | PRecord of (string * pat * con) list
86 86
87 withtype pat = pat' located 87 withtype pat = pat' located
88 88
89 datatype failure_mode = datatype Settings.failure_mode
90
89 datatype exp' = 91 datatype exp' =
90 EPrim of Prim.t 92 EPrim of Prim.t
91 | ERel of int 93 | ERel of int
92 | ENamed of int 94 | ENamed of int
93 | ECon of datatype_kind * patCon * con list * exp option 95 | ECon of datatype_kind * patCon * con list * exp option
113 115
114 | EClosure of int * exp list 116 | EClosure of int * exp list
115 117
116 | ELet of string * con * exp * exp 118 | ELet of string * con * exp * exp
117 119
118 | EServerCall of int * exp list * con 120 | EServerCall of int * exp list * con * failure_mode
119 121
120 withtype exp = exp' located 122 withtype exp = exp' located
121 123
122 datatype effect = datatype Export.effect 124 datatype effect = datatype Export.effect
123 datatype export_kind = datatype Export.export_kind 125 datatype export_kind = datatype Export.export_kind