diff options
| author | peb <unknown> | 2005-08-11 13:11:46 +0000 |
|---|---|---|
| committer | peb <unknown> | 2005-08-11 13:11:46 +0000 |
| commit | 26b84344f7a99fe11dcf066bc1d2eafa38828414 (patch) | |
| tree | 8ec1dd39b9bd853766ef16e666e9d013b3cfb16d /src/GF/Formalism | |
| parent | 1351c101337e46a89c066f0830ed6f06fc96cf7a (diff) | |
"Committed_by_peb"
Diffstat (limited to 'src/GF/Formalism')
| -rw-r--r-- | src/GF/Formalism/SimpleGFC.hs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/GF/Formalism/SimpleGFC.hs b/src/GF/Formalism/SimpleGFC.hs index 62314d9c5..f3a51e7db 100644 --- a/src/GF/Formalism/SimpleGFC.hs +++ b/src/GF/Formalism/SimpleGFC.hs @@ -4,9 +4,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/05/09 09:28:45 $ +-- > CVS $Date: 2005/08/11 14:11:46 $ -- > CVS $Author: peb $ --- > CVS $Revision: 1.6 $ +-- > CVS $Revision: 1.7 $ -- -- Simplistic GFC format ----------------------------------------------------------------------------- @@ -20,7 +20,6 @@ import GF.Formalism.GCFG import GF.Infra.Print ---------------------------------------------------------------------- - -- * basic (leaf) types type Constr = AbsGFC.CIdent @@ -31,7 +30,6 @@ anyVar :: Var anyVar = Ident.wildIdent ---------------------------------------------------------------------- - -- * simple GFC type SimpleGrammar c n t = Grammar (Decl c) n (LinType c t) (Maybe (Term c t)) @@ -166,7 +164,6 @@ enumeratePatterns :: (Eq c, Eq t) => LinType c t -> [Term c t] enumeratePatterns t = enumerateTerms Nothing t ---------------------------------------------------------------------- - -- * paths of record projections and table selections newtype Path c t = Path [Either Label (Term c t)] deriving (Eq, Ord, Show) @@ -205,6 +202,7 @@ lintype2paths path (TblT pt vt) = concat [ lintype2paths (path ++! pat) vt | pat <- enumeratePatterns pt ] ---------------------------------------------------------------------- +-- * pretty-printing instance Print c => Print (Decl c) where prt (Decl var cat args) |