git.iko.soy/Idris-dev
on master help sign in
added test for divNat optimization
commit387046aa4b45329ede5f2a06bcb2dee6ca51866b authoridentical snowflake <identicalsnowflake@yandex.com> dateSat 18 Apr 2015, 00:29 (12 years ago) parent947e993
4 files changed+13
compare with master
unifiedsplit
idris.cabal+3 test/bignum002/bignum002.idr+5 test/bignum002/expected+1 test/bignum002/run+4
idris.cabal+3
@@ -349,6 +349,9 @@ Extra-source-files:
349349 test/bignum001/run
350350 test/bignum001/*.idr
351351 test/bignum001/expected
352+ test/bignum002/run
353+ test/bignum002/*.idr
354+ test/bignum002/expected
352355
353356 test/delab001/*.idr
354357 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