From 79db9a612f96be267d5fe38cf27afeb0d29ad2ec Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 22 Sep 2009 13:41:23 -0400 Subject: More interpreter debugging --- tests/jscomp.ur | 21 ++++++++++++++++++--- 1 file changed, 18 insertions(+), 3 deletions(-) (limited to 'tests/jscomp.ur') diff --git a/tests/jscomp.ur b/tests/jscomp.ur index 7722166f..c283ae4d 100644 --- a/tests/jscomp.ur +++ b/tests/jscomp.ur @@ -1,15 +1,30 @@ +fun fst [a] [b] (x : a) (y : b) = x +fun snd [a] [b] (x : a) (y : b) = y + fun main () = s <- source ""; - f <- source (plus 1); + s' <- source ""; + f <- source (plus 1); + f2 <- source fst; + r <- source {A = "x", B = "y"}; return -

+

Function: