From e4dc63f6657153da1a8c906f669581905f054e4a Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 14 Oct 2008 14:34:08 +0000
Subject: rudimentary abstract syntax type checker and solver in PGF

---
 examples/test/typecheck/Check.gf | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 examples/test/typecheck/Check.gf

(limited to 'examples')

diff --git a/examples/test/typecheck/Check.gf b/examples/test/typecheck/Check.gf
new file mode 100644
index 000000000..38d098209
--- /dev/null
+++ b/examples/test/typecheck/Check.gf
@@ -0,0 +1,14 @@
+abstract Check = {
+
+cat Typ ; Exp Typ ;
+
+fun plus : (t : Typ) -> (_,_ : Exp t) -> Exp t ;
+
+fun TInt, TFloat : Typ ;
+
+fun Zero : Exp TInt ;
+fun Pi : Exp TFloat ;
+
+fun sqrt : Exp TFloat -> Exp TFloat ;
+
+}
-- 
cgit v1.2.3