diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-11-17 13:40:55 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-11-17 13:40:55 +0000 |
| commit | 580f7d79952836068686d73bcc70fc9df5562e13 (patch) | |
| tree | 49739acdb945344adbdb6f04e2af564187d1ab2d /src/GF/Grammar/Grammar.hs | |
| parent | 546e778ba8c9ea4109fbe278c6363818a43eaa0f (diff) | |
oper overloading: first implemenatation using records
Diffstat (limited to 'src/GF/Grammar/Grammar.hs')
| -rw-r--r-- | src/GF/Grammar/Grammar.hs | 2 |
1 files changed, 2 insertions, 0 deletions
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' |