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 | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 testsuite/paraphrase/lambda.gfs (limited to 'testsuite/paraphrase/lambda.gfs') diff --git a/testsuite/paraphrase/lambda.gfs b/testsuite/paraphrase/lambda.gfs new file mode 100644 index 000000000..54b0708cb --- /dev/null +++ b/testsuite/paraphrase/lambda.gfs @@ -0,0 +1,9 @@ +i testsuite/paraphrase/lambda.gf + +pt -compute f1 +pt -compute f2 + +pt -compute d D1 +pt -compute d D2 +pt -compute d D1 1 +pt -compute d D2 1 -- cgit v1.2.3