git.iko.soy/Idris-dev
on master help sign in
added test for divNat optimization
387046aidentical snowflake
idris.cabal+3
compare with master
unifiedsplit
@@ -349,6 +349,9 @@ Extra-source-files:
349 test/bignum001/run
349 test/bignum001/run
350 test/bignum001/*.idr
350 test/bignum001/*.idr
351 test/bignum001/expected
351 test/bignum001/expected
352+ test/bignum002/run
353+ test/bignum002/*.idr
354+ test/bignum002/expected
352
355
353 test/delab001/*.idr
356 test/delab001/*.idr
354 test/delab001/run
357 test/delab001/run
test/bignum002/bignum002.idrnew file+5
@@ -0,0 +1,5 @@
1+module Main
2+
3+main : IO ()
4+main = do
5+ putStrLn $ show $ divNat 1809022195644390369852458 91238741987
test/bignum002/expectednew file+1
@@ -0,0 +1 @@
1+19827346982734
test/bignum002/runnew file+4
@@ -0,0 +1,4 @@
1+#!/usr/bin/env bash
2+idris $@ bignum002.idr -o bignum002
3+./bignum002
4+rm -f bignum002 *.ibc