diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-03 09:21:24 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-03 09:21:24 +0000 |
| commit | 8d98fec81eb0bc54cbc8b210c4045a52a0c09d79 (patch) | |
| tree | 2e578bb28f7f04528cf2fccd710ff6a1e1749013 /src-3.0/GF/Grammar/Grammar.hs | |
| parent | 9dbf9c56609132c7a3731819b53e73045c430e3b (diff) | |
overload extension: syntax overload OldModule* {def*}
Diffstat (limited to 'src-3.0/GF/Grammar/Grammar.hs')
| -rw-r--r-- | src-3.0/GF/Grammar/Grammar.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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, |