treating Int as PredefAbs.Int in lookup

2026-05-29 01:48:55 -06:00 · 2008-06-12 13:11:18 +00:00
parent abf7abde76
commit fee40b47a7
1 changed files with 2 additions and 0 deletions
--- a/resource/api/Constructors.gf
+++ b/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 ;