From 70fea39e2bacef646f442cd88c32fcb5f1212725 Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 14 Sep 2009 12:17:57 +0000 Subject: added some tests in the testsuite for the compiler --- testsuite/compiler/check/lins/lins.gfs.gold | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'testsuite/compiler/check/lins') diff --git a/testsuite/compiler/check/lins/lins.gfs.gold b/testsuite/compiler/check/lins/lins.gfs.gold index 7bcdd3932..bc3f9ebb0 100644 --- a/testsuite/compiler/check/lins/lins.gfs.gold +++ b/testsuite/compiler/check/lins/lins.gfs.gold @@ -1,8 +1,6 @@ checking module linsCnc -Warning: no linearization type for C, inserting default {s : Str} -checking module linsCnc -Warning: no linearization of test - + Warning: no linearization type for C, inserting default {s : Str} + Warning: no linearization of test language linsCnc productions C1 -> F0[] -- cgit v1.2.3