From 401dfc28d62584178c1187c92dece8dd0832dcb4 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 20 May 2009 20:27:19 +0000 Subject: some more tests for evaluation in the abstract syntax --- testsuite/paraphrase/lambda.gfs.gold | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 testsuite/paraphrase/lambda.gfs.gold (limited to 'testsuite/paraphrase/lambda.gfs.gold') diff --git a/testsuite/paraphrase/lambda.gfs.gold b/testsuite/paraphrase/lambda.gfs.gold new file mode 100644 index 000000000..0d8f027d6 --- /dev/null +++ b/testsuite/paraphrase/lambda.gfs.gold @@ -0,0 +1,12 @@ +\v0 -> v0 + +1 + +\v0 -> v0 + +\v0 -> 2 + +1 + +2 + -- cgit v1.2.3