From 54a6b006a39fd52cb0110e4ae3e2cec8e2708ec6 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 29 May 2008 07:00:40 +0000
Subject: 	Fix AW/421. 	* interp/i-spec2.boot (uphas): When compiling
 a function, don't 	bother evaluating type variables. 	*
 testsuite/interpreter/aw-412.input: Add.

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

(limited to 'src/testsuite/interpreter')

diff --git a/src/testsuite/interpreter/aw-412.input b/src/testsuite/interpreter/aw-412.input
new file mode 100644
index 00000000..4981aff6
--- /dev/null
+++ b/src/testsuite/interpreter/aw-412.input
@@ -0,0 +1,3 @@
+f(x: Domain): Integer ==
+  x has IntegralDomain => 1
+  0
-- 
cgit v1.2.3