From 8d98fec81eb0bc54cbc8b210c4045a52a0c09d79 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 3 Jun 2008 09:21:24 +0000 Subject: overload extension: syntax overload OldModule* {def*} --- src-3.0/GF/Grammar/Grammar.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src-3.0/GF/Grammar/Grammar.hs') diff --git a/src-3.0/GF/Grammar/Grammar.hs b/src-3.0/GF/Grammar/Grammar.hs index d16c6d381..4210358f1 100644 --- a/src-3.0/GF/Grammar/Grammar.hs +++ b/src-3.0/GF/Grammar/Grammar.hs @@ -98,7 +98,7 @@ data Info = | ResValue (Perh (Type,Maybe Int)) -- ^ (/RES/) to mark parameter constructors for lookup | ResOper (Perh Type) (Perh Term) -- ^ (/RES/) - | ResOverload [Term] [(Type,Term)] -- ^ (/RES/) + | ResOverload [Ident] [(Type,Term)] -- ^ (/RES/) idents: modules inherited -- judgements in concrete syntax | CncCat (Perh Type) (Perh Term) MPr -- ^ (/CNC/) lindef ini'zed, -- cgit v1.2.3