From 5e115a18d92c865318ad736ad6f243145240e9c5 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 22 Sep 2009 13:27:47 -0400 Subject: Functions working with interpretation --- tests/jscomp.ur | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'tests/jscomp.ur') diff --git a/tests/jscomp.ur b/tests/jscomp.ur index a11c0088..7722166f 100644 --- a/tests/jscomp.ur +++ b/tests/jscomp.ur @@ -1,10 +1,15 @@ fun main () = s <- source ""; + f <- source (plus 1); return -
+

+ + Function: