diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-12-07 10:23:18 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-12-07 10:23:18 +0000 |
| commit | e013138f0ca0db7ecc164f7d52816287f696d265 (patch) | |
| tree | 1310dd75e6f935b8779905d3903617d6077a8514 /src/GF/Devel/Grammar/Macros.hs | |
| parent | 64ebc4f1679b89bccb4328641a2432096e3288b6 (diff) | |
refresh compilation phase in the new format
Diffstat (limited to 'src/GF/Devel/Grammar/Macros.hs')
| -rw-r--r-- | src/GF/Devel/Grammar/Macros.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/GF/Devel/Grammar/Macros.hs b/src/GF/Devel/Grammar/Macros.hs index 51c1669f4..db84fc7a4 100644 --- a/src/GF/Devel/Grammar/Macros.hs +++ b/src/GF/Devel/Grammar/Macros.hs @@ -163,6 +163,9 @@ typePType = Sort "PType" typeStr :: Type typeStr = Sort "Str" +typeTok :: Type ---- deprecated +typeTok = Sort "Tok" + cPredef :: Ident cPredef = identC "Predef" |