@@ -109,6 +109,7 @@ op0 "defer" = const $ do
109
109
op0 " Int" = const $ return (VType $ mkType " Int" )
110
110
op0 " Num" = const $ return (VType $ mkType " Num" )
111
111
op0 " Rat" = const $ return (VType $ mkType " Rat" )
112
+ op0 " FatRat" = const $ return (VType $ mkType " FatRat" )
112
113
op0 " Bool" = const $ return (VType $ mkType " Bool" )
113
114
op0 " Complex" = const $ return (VType $ mkType " Complex" )
114
115
op0 " Str" = const $ return (VType $ mkType " Str" )
@@ -237,6 +238,7 @@ op1 "int" = op1Cast VInt
237
238
op1 " Int" = op1Cast VInt
238
239
op1 " Num" = op1Cast VNum
239
240
op1 " Rat" = op1Cast VRat
241
+ op1 " FatRat" = op1Cast VRat
240
242
op1 " Complex" = op1Cast VComplex
241
243
op1 " Str" = op1Cast VStr
242
244
op1 " +^" = op1Cast (VInt . pred . negate ) -- Arbitrary precision complement- 0 ==> -1 / 1 ==> -2
@@ -1947,6 +1949,15 @@ initSyms = seq (length syms) $ do
1947
1949
\\n Rat pre Rat safe (Rat: Any)\
1948
1950
\\n Rat pre Rat safe (Bool)\
1949
1951
\\n Rat pre Rat safe (Bool: Any)\
1952
+ \\n Rat pre FatRat safe ()\
1953
+ \\n Rat pre FatRat safe (Int)\
1954
+ \\n Rat pre FatRat safe (Int: Any)\
1955
+ \\n Rat pre FatRat safe (Num)\
1956
+ \\n Rat pre FatRat safe (Num: Any)\
1957
+ \\n Rat pre FatRat safe (Rat)\
1958
+ \\n Rat pre FatRat safe (Rat: Any)\
1959
+ \\n Rat pre FatRat safe (Bool)\
1960
+ \\n Rat pre FatRat safe (Bool: Any)\
1950
1961
\\n Bool pre Bool safe ()\
1951
1962
\\n Bool pre Bool safe (Int)\
1952
1963
\\n Bool pre Bool safe (Num)\
0 commit comments