From 7c866487f8ab0dd9b9c73bee013c18805a0c4489 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 25 Aug 2009 13:57:56 -0400 Subject: grid1 compiles but gets stuck in JS --- src/mono.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/mono.sml') diff --git a/src/mono.sml b/src/mono.sml index 2d29af48..64ed448c 100644 --- a/src/mono.sml +++ b/src/mono.sml @@ -114,7 +114,7 @@ datatype exp' = | ESignalBind of exp * exp | ESignalSource of exp - | EServerCall of exp * exp * typ * effect * exp + | EServerCall of exp * exp * typ * effect | ERecv of exp * exp * typ | ESleep of exp * exp -- cgit v1.2.3