Mercurial > urweb
comparison src/mono.sml @ 1021:7a4a55e05081
Use call/cc for recv and sleep
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 25 Oct 2009 15:29:21 -0400 |
parents | dfe34fad749d |
children | 217eb87dde31 |
comparison
equal
deleted
inserted
replaced
1020:dfe34fad749d | 1021:7a4a55e05081 |
---|---|
113 | ESignalReturn of exp | 113 | ESignalReturn of exp |
114 | ESignalBind of exp * exp | 114 | ESignalBind of exp * exp |
115 | ESignalSource of exp | 115 | ESignalSource of exp |
116 | 116 |
117 | EServerCall of exp * typ * effect | 117 | EServerCall of exp * typ * effect |
118 | ERecv of exp * exp * typ | 118 | ERecv of exp * typ |
119 | ESleep of exp * exp | 119 | ESleep of exp |
120 | ESpawn of exp | |
120 | 121 |
121 withtype exp = exp' located | 122 withtype exp = exp' located |
122 | 123 |
123 datatype decl' = | 124 datatype decl' = |
124 DDatatype of (string * int * (string * int * typ option) list) list | 125 DDatatype of (string * int * (string * int * typ option) list) list |