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

---
 src/PGF/Data.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/PGF/Data.hs')

diff --git a/src/PGF/Data.hs b/src/PGF/Data.hs
index 76659912c..8fe7882de 100644
--- a/src/PGF/Data.hs
+++ b/src/PGF/Data.hs
@@ -73,6 +73,7 @@ data Expr =
  | EMeta  Int                       -- ^ meta variable
  | EVar   CId                       -- ^ variable or function reference
  | EEq [Equation]                   -- ^ lambda function defined as a set of equations with pattern matching
+ | EPi CId Expr Expr                -- ^ dependent function type
   deriving (Eq,Ord,Show)
 
 data Term =
-- 
cgit v1.2.3