diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-20 10:28:27 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-20 10:28:27 +0000 |
| commit | a29a8e4f60960122874c737d32e9d41a3575208b (patch) | |
| tree | 01bc816779410a378df386eaca2a5ae354ae5a10 /src/GF/Grammar/Grammar.hs | |
| parent | 81ca1a57445bbf68d40d2812ee6ef521f9f81240 (diff) | |
rename MetaSymb in GF.Grammar.Grammar to MetaId 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 a1d1ce8ab..8cfc397af 100644 --- a/src/GF/Grammar/Grammar.hs +++ b/src/GF/Grammar/Grammar.hs @@ -29,7 +29,7 @@ module GF.Grammar.Grammar (SourceGrammar, Patt(..), TInfo(..), Label(..), - MetaSymb(..), + MetaId, Hypo, Context, Equation, @@ -115,7 +115,7 @@ data Term = | App Term Term -- ^ application: @f a@ | Abs Ident Term -- ^ abstraction: @\x -> b@ - | Meta MetaSymb -- ^ metavariable: @?i@ (only parsable: ? = ?0) + | Meta {-# UNPACK #-} !MetaId -- ^ metavariable: @?i@ (only parsable: ? = ?0) | Prod Ident Term Term -- ^ function type: @(x : A) -> B@ | Typed Term Term -- ^ type-annotated term -- @@ -198,7 +198,7 @@ data Label = | LVar Int deriving (Show, Eq, Ord) -newtype MetaSymb = MetaSymb Int deriving (Show, Eq, Ord) +type MetaId = Int type Hypo = (Ident,Term) -- (x:A) (_:A) A type Context = [Hypo] -- (x:A)(y:B) (x,y:A) (_,_:A) |