added an argument place to ResOverload for extended overloads

This commit is contained in:
aarne
2008-06-01 11:02:02 +00:00
parent 2771367118
commit 9dbf9c5660
7 changed files with 30 additions and 19 deletions

View File

@@ -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 [(Type,Term)] -- ^ (/RES/)
| ResOverload [Term] [(Type,Term)] -- ^ (/RES/)
-- judgements in concrete syntax
| CncCat (Perh Type) (Perh Term) MPr -- ^ (/CNC/) lindef ini'zed,