From 0ad69b02c7df4eb376ff4aa0a4f3048d7f7c7f56 Mon Sep 17 00:00:00 2001
From: Pascal Raymond <Pascal.Raymond@imag.fr>
Date: Tue, 10 Jul 2012 16:04:51 +0200
Subject: [PATCH] qq reorganisation

---
 moretests/should_fail/misc/wrongmap.lus | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 moretests/should_fail/misc/wrongmap.lus

diff --git a/moretests/should_fail/misc/wrongmap.lus b/moretests/should_fail/misc/wrongmap.lus
new file mode 100644
index 00000000..c4dc3c29
--- /dev/null
+++ b/moretests/should_fail/misc/wrongmap.lus
@@ -0,0 +1,6 @@
+
+
+node overplus = map<<+,4>>;
+
+node do_bool(x,y: bool^4) returns (o: bool^4);
+let o = overplus(x,y); tel
-- 
GitLab