Idris2/tests/chez/constfold/Fold.idr

import Data.Nat

main : IO ()
main = do
  printLn (the Bits8 0xff + 100)
  printLn (the Nat 12345)
  printLn (the Nat (-12345))
  printLn (271 `minus` 12)
[ test ] add another test case 2022-09-29 17:34:41 +03:00			`import Data.Nat`

[ performance ] constant folding for all integral expressions (#2662) 2022-09-21 12:05:02 +03:00			`main : IO ()`
[ performance ] constant fold prim__integerToNat 2022-09-29 17:30:03 +03:00			`main = do`
			`printLn (the Bits8 0xff + 100)`
			`printLn (the Nat 12345)`
			`printLn (the Nat (-12345))`
[ test ] add another test case 2022-09-29 17:34:41 +03:00			printLn (271 `minus` 12)