@@ -45,6 +45,7 @@ intToStr x = foreign_ tyString "intToStr" [(x, tyInt)]
4545charToInt x = x
4646intToChar x = x
4747intToBigInt x = foreign_ tyBigInt "intToBigInt" [(x, tyInt)]
48+bigIntToInt x = foreign_ tyInt "bigIntToInt" [(x, tyBigInt)]
4849strToBigInt x = foreign_ tyBigInt "strToBig" [(x, tyString)]
4950bigIntToStr x = foreign_ tyString "bigToStr" [(x, tyBigInt)]
5051strToFloat x = foreign_ tyFloat "strToFloat" [(x, tyString)]
@@ -158,6 +159,8 @@ primitives =
158159 ([E.name "x"], intToChar (fun "x")) total,
159160 Prim (UN "prim__intToBigInt") (ty [IType] BIType) 1 (c_intToBigInt)
160161 ([E.name "x"], intToBigInt (fun "x")) total,
162+ Prim (UN "prim__bigIntToInt") (ty [BIType] IType) 1 (c_bigIntToInt)
163+ ([E.name "x"], bigIntToInt (fun "x")) total,
161164 Prim (UN "prim__strToBigInt") (ty [StrType] BIType) 1 (c_strToBigInt)
162165 ([E.name "x"], strToBigInt (fun "x")) total,
163166 Prim (UN "prim__bigIntToStr") (ty [BIType] StrType) 1 (c_bigIntToStr)
@@ -257,6 +260,8 @@ c_charToInt _ = Nothing
257260
258261c_intToBigInt [VConstant (I x)] = Just $ VConstant (BI (fromIntegral x))
259262c_intToBigInt _ = Nothing
263+c_bigIntToInt [VConstant (BI x)] = Just $ VConstant (I (fromInteger x))
264+c_bigIntToInt _ = Nothing
260265
261266c_bigIntToStr [VConstant (BI x)] = Just $ VConstant (Str (show x))
262267c_bigIntToStr _ = Nothing