diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-20 10:15:39 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-20 10:15:39 +0000 |
| commit | cebd0560c831c6dda09a2841bc24c0e3bd9ea889 (patch) | |
| tree | 9ea2a576f207c0084c4d5895b710c905bbff4045 /src/GF/Grammar/Grammar.hs | |
| parent | b1a51f46f5d137ab4d65a4381b349af3291a944d (diff) | |
rename Decl in GF.Grammar.Grammar to Hypo to match the convention in PGF
Diffstat (limited to 'src/GF/Grammar/Grammar.hs')
| -rw-r--r-- | src/GF/Grammar/Grammar.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/GF/Grammar/Grammar.hs b/src/GF/Grammar/Grammar.hs index bfe676b57..6abe24264 100644 --- a/src/GF/Grammar/Grammar.hs +++ b/src/GF/Grammar/Grammar.hs @@ -30,7 +30,7 @@ module GF.Grammar.Grammar (SourceGrammar, TInfo(..), Label(..), MetaSymb(..), - Decl, + Hypo, Context, Equation, Labelling, @@ -200,8 +200,8 @@ data Label = newtype MetaSymb = MetaSymb Int deriving (Read, Show, Eq, Ord) -type Decl = (Ident,Term) -- (x:A) (_:A) A -type Context = [Decl] -- (x:A)(y:B) (x,y:A) (_,_:A) +type Hypo = (Ident,Term) -- (x:A) (_:A) A +type Context = [Hypo] -- (x:A)(y:B) (x,y:A) (_,_:A) type Equation = ([Patt],Term) type Labelling = (Label, Term) |