From 24a3196e17dc9792891c284c67d6dbe2171fd2d8 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 10 Aug 2008 16:45:54 +0000
Subject: 	Fix AW/422 	* interp/i-spec1.boot (upDeclare): Fields are
 not declarations. 	* interp/i-map.boot (getUserIdentifiersIn): Ignore
 field names. 	* testsuite/interpreter/aw-422.input: New.

---
 src/testsuite/interpreter/aw-422.input | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 src/testsuite/interpreter/aw-422.input

(limited to 'src/testsuite')

diff --git a/src/testsuite/interpreter/aw-422.input b/src/testsuite/interpreter/aw-422.input
new file mode 100644
index 00000000..69517143
--- /dev/null
+++ b/src/testsuite/interpreter/aw-422.input
@@ -0,0 +1,6 @@
+MayPair(T: Domain): Domain == Record(x: T, y: T)
+
+w: MyPair Float
+x
+y
+
-- 
cgit v1.2.3