From 7863b21c1a4e8f72d49f3aad76bb9e54dd391cb1 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Wed, 30 Nov 2011 14:55:52 +0000 Subject: more stuff in the new type checker --- src/compiler/GF/Grammar/Grammar.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/compiler/GF/Grammar') 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) -- cgit v1.2.3