From 5aff88e5b1dba05e222c601ed628b325ad6fd7f8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 5 May 2009 10:23:16 -0400 Subject: Make Effectize more precise --- demo/batch.ur | 6 +----- demo/batchG.ur | 16 ++++++---------- demo/increment.ur | 6 +----- demo/noisy.ur | 6 +----- src/effectize.sml | 15 ++++++++++++++- 5 files changed, 23 insertions(+), 26 deletions(-) diff --git a/demo/batch.ur b/demo/batch.ur index b7007913..4100749f 100644 --- a/demo/batch.ur +++ b/demo/batch.ur @@ -37,7 +37,7 @@ fun show withDel lss = }/> end -fun action () = +fun main () = lss <- source Nil; batched <- source Nil; @@ -79,7 +79,3 @@ fun action () =