diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2011-11-30 14:55:52 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2011-11-30 14:55:52 +0000 |
| commit | 7863b21c1a4e8f72d49f3aad76bb9e54dd391cb1 (patch) | |
| tree | 467fe43ceadb62e7381c1446a2e16b3749bb1797 /src/compiler/GF/Grammar | |
| parent | f9af731c9c850899798701837df0621cac1d1f5c (diff) | |
more stuff in the new type checker
Diffstat (limited to 'src/compiler/GF/Grammar')
| -rw-r--r-- | src/compiler/GF/Grammar/Grammar.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Grammar/Grammar.hs b/src/compiler/GF/Grammar/Grammar.hs index 5174b1695..01d9cc9ec 100644 --- a/src/compiler/GF/Grammar/Grammar.hs +++ b/src/compiler/GF/Grammar/Grammar.hs @@ -476,7 +476,7 @@ type Hypo = (BindType,Ident,Term) -- (x:A) (_:A) A ({x}:A) type Context = [Hypo] -- (x:A)(y:B) (x,y:A) (_,_:A) type Equation = ([Patt],Term) -type Labelling = (Label, Term) +type Labelling = (Label, Type) type Assign = (Label, (Maybe Type, Term)) type Case = (Patt, Term) type Cases = ([Patt], Term) |