From 4a8c82c52e9cf88d925c1de807307b6ec8d26c9b Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 15 Oct 2009 09:52:30 +0000
Subject: 	* interp/buildom.boot: Tidy.

---
 src/testsuite/interpreter/builtin.input | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 src/testsuite/interpreter/builtin.input

(limited to 'src/testsuite/interpreter')

diff --git a/src/testsuite/interpreter/builtin.input b/src/testsuite/interpreter/builtin.input
new file mode 100644
index 00000000..7ceb0cd0
--- /dev/null
+++ b/src/testsuite/interpreter/builtin.input
@@ -0,0 +1,12 @@
+-- test operations from builtin domains.
+
+T := Record(f: Integer)
+
+t0 := [9]@T
+
+t1 := [1]@T
+
+hash t0
+t0 ~= t1
+
+
-- 
cgit v1.2.3