From cebd0560c831c6dda09a2841bc24c0e3bd9ea889 Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 20 Sep 2009 10:15:39 +0000 Subject: rename Decl in GF.Grammar.Grammar to Hypo to match the convention in PGF --- src/GF/Grammar/Grammar.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/GF/Grammar/Grammar.hs') 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) -- cgit v1.2.3