Int.truncate builtin was not tagging correctly

This commit is contained in:
Dan Doel 2020-06-15 10:17:27 -04:00
parent 80a1d28d02
commit 33eb2a8d2b

View File

@ -280,7 +280,7 @@ trni = unop0 3 $ \[x0,x,z,b]
. TMatch b
$ MatchIntegral
(mapSingleton 1 $ TCon natTag 0 [z])
(Just $ TVar x0)
(Just $ TCon natTag 0 [x])
modular :: Var v => POp -> (Bool -> ANormal v) -> SuperNormal v
modular pop ret