@@ -498,7 +498,7 @@ foreignFromTT t = case (unApplyV t) of
498 _ -> trace "failed to construct ffun" Nothing
498 _ -> trace "failed to construct ffun" Nothing
500getFTy :: ExecVal -> Maybe FType
500getFTy :: ExecVal -> Maybe FType
501−getFTy (EApp (EP _ (UN "FInt") _) (EP _ (UN intTy) _)) =
501+getFTy (EApp (EP _ (UN "FIntT") _) (EP _ (UN intTy) _)) =
502 case intTy of
502 case intTy of
503 "ITNative" -> Just $ FInt ITNative
503 "ITNative" -> Just $ FInt ITNative
504 "IT8" -> Just $ FInt IT8
504 "IT8" -> Just $ FInt IT8