diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-20 10:16:59 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-20 10:16:59 +0000 |
| commit | 81ca1a57445bbf68d40d2812ee6ef521f9f81240 (patch) | |
| tree | 843403a4f69ef12984e19382fbdc3ec45416f416 /src/GF | |
| parent | cebd0560c831c6dda09a2841bc24c0e3bd9ea889 (diff) | |
remove the Read instances from GF.Grammar.Grammar
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/Grammar/Grammar.hs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/GF/Grammar/Grammar.hs b/src/GF/Grammar/Grammar.hs index 6abe24264..a1d1ce8ab 100644 --- a/src/GF/Grammar/Grammar.hs +++ b/src/GF/Grammar/Grammar.hs @@ -95,7 +95,7 @@ data Info = -- indirection to module Ident | AnyInd Bool Ident -- ^ (/INDIR/) the 'Bool' says if canonical - deriving (Read, Show) + deriving Show type Type = Term type Cat = QIdent @@ -155,7 +155,7 @@ data Term = | Alts (Term, [(Term, Term)]) -- ^ alternatives by prefix: @pre {t ; s\/c ; ...}@ | Strs [Term] -- ^ conditioning prefix strings: @strs {s ; ...}@ - deriving (Read, Show, Eq, Ord) + deriving (Show, Eq, Ord) data Patt = PC Ident [Patt] -- ^ constructor pattern: @C p1 ... pn@ @C@ @@ -182,7 +182,7 @@ data Patt = | PMacro Ident -- #p | PM Ident Ident -- #m.p - deriving (Read, Show, Eq, Ord) + deriving (Show, Eq, Ord) -- | to guide computation and type checking of tables data TInfo = @@ -190,15 +190,15 @@ data TInfo = | TTyped Type -- ^ type annontated, but can be anything | TComp Type -- ^ expanded | TWild Type -- ^ just one wild card pattern, no need to expand - deriving (Read, Show, Eq, Ord) + deriving (Show, Eq, Ord) -- | record label data Label = LIdent BS.ByteString | LVar Int - deriving (Read, Show, Eq, Ord) + deriving (Show, Eq, Ord) -newtype MetaSymb = MetaSymb Int deriving (Read, Show, Eq, Ord) +newtype MetaSymb = MetaSymb Int deriving (Show, Eq, Ord) type Hypo = (Ident,Term) -- (x:A) (_:A) A type Context = [Hypo] -- (x:A)(y:B) (x,y:A) (_,_:A) |