treating Int as PredefAbs.Int in lookup

2026-04-19 09:49:33 -06:00 · 2008-06-12 13:11:18 +00:00
parent 67c43b8251
commit 9de5012d76
4 changed files with 11 additions and 4 deletions
--- a/lib/resource/api/Constructors.gf
+++ b/lib/resource/api/Constructors.gf
@@ -1083,6 +1083,8 @@ incomplete resource Constructors = open Grammar in {
      those_QuantPl : QuantPl = mkQuantPl that_Quant ; 


+      mkiNum : Int -> Num         -- 51
+                                         =    NumInt      ;

    mkNum = overload {
      mkNum : Numeral -> Num = NumNumeral ;