diff options
Diffstat (limited to 'src/GF/Devel/Grammar/Terms.hs')
| -rw-r--r-- | src/GF/Devel/Grammar/Terms.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/GF/Devel/Grammar/Terms.hs b/src/GF/Devel/Grammar/Terms.hs index bfbdff7d0..d57e7c160 100644 --- a/src/GF/Devel/Grammar/Terms.hs +++ b/src/GF/Devel/Grammar/Terms.hs @@ -54,6 +54,8 @@ data Term = | Alts (Term, [(Term, Term)]) -- ^ prefix-dependent: @pre {t ; s\/c ; ...}@ + | Overload [(Type,Term)] + deriving (Read, Show, Eq, Ord) data Patt = |