diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-20 11:43:41 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-20 11:43:41 +0000 |
| commit | b1a51f46f5d137ab4d65a4381b349af3291a944d (patch) | |
| tree | ce1df7a103ba74a9c8a7eedbf2260bde37736166 /src/PGF/Macros.hs | |
| parent | d09371280d5b28d85acce7b7d899c21bc4e11b32 (diff) | |
change the data types and the syntax in PGF to match the new syntax for implict arguments
Diffstat (limited to 'src/PGF/Macros.hs')
| -rw-r--r-- | src/PGF/Macros.hs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/PGF/Macros.hs b/src/PGF/Macros.hs index 05980d823..604f3c35d 100644 --- a/src/PGF/Macros.hs +++ b/src/PGF/Macros.hs @@ -100,17 +100,15 @@ restrictPGF cond pgf = pgf { abstr = abstract pgf depth :: Expr -> Int -depth (EAbs _ t) = depth t +depth (EAbs _ _ t) = depth t depth (EApp e1 e2) = max (depth e1) (depth e2) + 1 depth _ = 1 cftype :: [CId] -> CId -> Type -cftype args val = DTyp [Hyp (cftype [] arg) | arg <- args] val [] +cftype args val = DTyp [(Explicit,wildCId,cftype [] arg) | arg <- args] val [] typeOfHypo :: Hypo -> Type -typeOfHypo (Hyp ty) = ty -typeOfHypo (HypV _ ty) = ty -typeOfHypo (HypI _ ty) = ty +typeOfHypo (_,_,ty) = ty catSkeleton :: Type -> ([CId],CId) catSkeleton ty = case ty of |