ref: 314c507e06df7629472e566720c3aed9b2837016
parent: f3dc111723afd8cead7d14a788d141f4fa07aef4
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Mon Sep 18 18:15:25 EDT 2023
Clean up
--- a/lib/Data/Int.hs
+++ b/lib/Data/Int.hs
@@ -4,27 +4,25 @@
import Primitives
import Data.Bool_Type
---type Int = Primitives.Int
-
infixl 6 +,-
infixl 7 *,`quot`,`rem`
-- Arithmetic
-(+) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> {-Data.Int.-}Int+(+) :: Int -> Int -> Int
(+) = primIntAdd
-(-) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> {-Data.Int.-}Int+(-) :: Int -> Int -> Int
(-) = primIntSub
-(*) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> {-Data.Int.-}Int+(*) :: Int -> Int -> Int
(*) = primIntMul
-quot :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> {-Data.Int.-}Int+quot :: Int -> Int -> Int
quot = primIntQuot
-rem :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> {-Data.Int.-}Int+rem :: Int -> Int -> Int
rem = primIntRem
-subtract :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> {-Data.Int.-}Int+subtract :: Int -> Int -> Int
subtract = primIntSubR
-negate :: {-Data.Int.-}Int -> {-Data.Int.-}Int+negate :: Int -> Int
negate x = 0 - x
--------------------------------
@@ -32,21 +30,21 @@
infix 4 ==,/=,<,<=,>,>=
-- Comparison
-(==) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> Bool+(==) :: Int -> Int -> Bool
(==) = primIntEQ
-(/=) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> Bool+(/=) :: Int -> Int -> Bool
(/=) = primIntNE
-(<) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> Bool+(<) :: Int -> Int -> Bool
(<) = primIntLT
-(<=) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> Bool+(<=) :: Int -> Int -> Bool
(<=) = primIntLE
-(>) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> Bool+(>) :: Int -> Int -> Bool
(>) = primIntGT
-(>=) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> Bool+(>=) :: Int -> Int -> Bool
(>=) = primIntGE
-eqInt :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> Bool+eqInt :: Int -> Int -> Bool
eqInt = (==)
--------------------------------
--
⑨