GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-22 09:32:53 -06:00
Code Issues Packages Projects Releases Wiki Activity

remove the Read instances from GF.Grammar.Grammar

Browse Source
This commit is contained in:
krasimir
2009-09-20 10:16:59 +00:00
parent 94068df3fb
commit 73e11a60c5
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/GF/Grammar/Grammar.hs
View File

@@ -95,7 +95,7 @@ data Info =
-- indirection to module Ident -- indirection to module Ident
| AnyInd Bool Ident -- ^ (/INDIR/) the 'Bool' says if canonical | AnyInd Bool Ident -- ^ (/INDIR/) the 'Bool' says if canonical
deriving (Read, Show) deriving Show
type Type = Term type Type = Term
type Cat = QIdent type Cat = QIdent
@@ -155,7 +155,7 @@ data Term =
| Alts (Term, [(Term, Term)]) -- ^ alternatives by prefix: @pre {t ; s\/c ; ...}@ | Alts (Term, [(Term, Term)]) -- ^ alternatives by prefix: @pre {t ; s\/c ; ...}@
| Strs [Term] -- ^ conditioning prefix strings: @strs {s ; ...}@ | Strs [Term] -- ^ conditioning prefix strings: @strs {s ; ...}@
deriving (Read, Show, Eq, Ord) deriving (Show, Eq, Ord)
data Patt = data Patt =
PC Ident [Patt] -- ^ constructor pattern: @C p1 ... pn@ @C@ PC Ident [Patt] -- ^ constructor pattern: @C p1 ... pn@ @C@
@@ -182,7 +182,7 @@ data Patt =
| PMacro Ident -- #p | PMacro Ident -- #p
| PM Ident Ident -- #m.p | PM Ident Ident -- #m.p
deriving (Read, Show, Eq, Ord) deriving (Show, Eq, Ord)
-- | to guide computation and type checking of tables -- | to guide computation and type checking of tables
data TInfo = data TInfo =
@@ -190,15 +190,15 @@ data TInfo =
| TTyped Type -- ^ type annontated, but can be anything | TTyped Type -- ^ type annontated, but can be anything
| TComp Type -- ^ expanded | TComp Type -- ^ expanded
| TWild Type -- ^ just one wild card pattern, no need to expand | TWild Type -- ^ just one wild card pattern, no need to expand
deriving (Read, Show, Eq, Ord) deriving (Show, Eq, Ord)
-- | record label -- | record label
data Label = data Label =
LIdent BS.ByteString LIdent BS.ByteString
| LVar Int | 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 Hypo = (Ident,Term) -- (x:A) (_:A) A
type Context = [Hypo] -- (x:A)(y:B) (x,y:A) (_,_:A) type Context = [Hypo] -- (x:A)(y:B) (x,y:A) (_,_:A)