From 580f7d79952836068686d73bcc70fc9df5562e13 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 17 Nov 2006 13:40:55 +0000 Subject: oper overloading: first implemenatation using records --- src/GF/Grammar/Grammar.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/GF/Grammar/Grammar.hs') diff --git a/src/GF/Grammar/Grammar.hs b/src/GF/Grammar/Grammar.hs index f49075f48..40f18bd35 100644 --- a/src/GF/Grammar/Grammar.hs +++ b/src/GF/Grammar/Grammar.hs @@ -92,6 +92,8 @@ data Info = | ResValue (Perh (Type,Maybe Int)) -- ^ (/RES/) to mark parameter constructors for lookup | ResOper (Perh Type) (Perh Term) -- ^ (/RES/) + | ResOverload [(Type,Term)] -- ^ (/RES/) + -- judgements in concrete syntax | CncCat (Perh Type) (Perh Term) MPr -- ^ (/CNC/) lindef ini'zed, | CncFun (Maybe (Ident,(Context,Type))) (Perh Term) MPr -- (/CNC/) type info added at 'TC' -- cgit v1.2.3