From b351c9d9ddfddc6d419649b55f516d51cffbe0c6 Mon Sep 17 00:00:00 2001 From: krasimir Date: Sat, 31 Jul 2010 12:47:10 +0000 Subject: added function unType in PGF --- src/runtime/haskell/PGF/Type.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/runtime/haskell/PGF') diff --git a/src/runtime/haskell/PGF/Type.hs b/src/runtime/haskell/PGF/Type.hs index 70604a123..e3cf46eec 100644 --- a/src/runtime/haskell/PGF/Type.hs +++ b/src/runtime/haskell/PGF/Type.hs @@ -1,6 +1,7 @@ module PGF.Type ( Type(..), Hypo, readType, showType, mkType, mkHypo, mkDepHypo, mkImplHypo, + unType, pType, ppType, ppHypo ) where import PGF.CId @@ -51,6 +52,9 @@ mkDepHypo x ty = (Explicit,x,ty) mkImplHypo :: CId -> Type -> Hypo mkImplHypo x ty = (Implicit,x,ty) +unType :: Type -> ([Hypo], CId, [Expr]) +unType (DTyp hyps cat es) = (hyps, cat, es) + pType :: RP.ReadP Type pType = do RP.skipSpaces -- cgit v1.2.3