git.iko.soy/Idris-dev
on master help sign in
Remove backend tests from input file and into source

This will allow the Javascript backend to run all the tests.

commit50fa1d1fdb3e69d5b88423f3734f8a21de315b52 authorAlex Queiroz <asandroq@gmail.com> dateMon 23 Oct 2017, 00:05 (9 years ago) parentb85425e
3 files changed+55−48
compare with master
unifiedsplit
test/basic024/basic024.idr+51 test/basic024/input−47 test/basic024/run+4−1
test/basic024/basic024.idrnew file+51
@@ -0,0 +1,51 @@
1+module basic024
2+
3+namespace Main
4+ main : IO ()
5+ main = do
6+ printLn $ div (the Integer 5) 2
7+ printLn $ div (the Int 5) 2
8+ printLn $ div (the Bits8 5) 2
9+ printLn $ div (the Bits16 5) 2
10+ printLn $ div (the Bits32 5) 2
11+ printLn $ div (the Bits64 5) 2
12+ printLn $ div (the Nat 5) 2
13+
14+ printLn $ mod (the Integer 5) 2
15+ printLn $ mod (the Int 5) 2
16+ printLn $ mod (the Bits8 5) 2
17+ printLn $ mod (the Bits16 5) 2
18+ printLn $ mod (the Bits32 5) 2
19+ printLn $ mod (the Bits64 5) 2
20+ printLn $ mod (the Nat 5) 2
21+
22+ printLn $ div (the Integer 3) 5
23+ printLn $ div (the Int 3) 5
24+ printLn $ div (the Bits8 3) 5
25+ printLn $ div (the Bits16 3) 5
26+ printLn $ div (the Bits32 3) 5
27+ printLn $ div (the Bits64 3) 5
28+ printLn $ div (the Nat 3) 5
29+
30+ printLn $ mod (the Integer 3) 5
31+ printLn $ mod (the Int 3) 5
32+ printLn $ mod (the Bits8 3) 5
33+ printLn $ mod (the Bits16 3) 5
34+ printLn $ mod (the Bits32 3) 5
35+ printLn $ mod (the Bits64 3) 5
36+ printLn $ mod (the Nat 3) 5
37+
38+ printLn $ div (the Integer (-5)) 2
39+ printLn $ div (the Int (-5)) 2
40+
41+ printLn $ mod (the Integer (-5)) 2
42+ printLn $ mod (the Int (-5)) 2
43+
44+ printLn $ div (the Integer (-3)) 5
45+ printLn $ div (the Int (-3)) 5
46+
47+ printLn $ mod (the Integer (-3)) 5
48+ printLn $ mod (the Int (-3)) 5
49+
50+ printLn $ div (-432642342742368327462378462387) 36473264372
51+ printLn $ mod (-432642342742368327462378462387) 36473264372
test/basic024/input−47
@@ -44,50 +44,3 @@
4444
4545:x div (-432642342742368327462378462387) 36473264372
4646:x mod (-432642342742368327462378462387) 36473264372
47−
48−:exec div (the Integer 5) 2
49−:exec div (the Int 5) 2
50−:exec div (the Bits8 5) 2
51−:exec div (the Bits16 5) 2
52−:exec div (the Bits32 5) 2
53−:exec div (the Bits64 5) 2
54−:exec div (the Nat 5) 2
55−
56−:exec mod (the Integer 5) 2
57−:exec mod (the Int 5) 2
58−:exec mod (the Bits8 5) 2
59−:exec mod (the Bits16 5) 2
60−:exec mod (the Bits32 5) 2
61−:exec mod (the Bits64 5) 2
62−:exec mod (the Nat 5) 2
63−
64−:exec div (the Integer 3) 5
65−:exec div (the Int 3) 5
66−:exec div (the Bits8 3) 5
67−:exec div (the Bits16 3) 5
68−:exec div (the Bits32 3) 5
69−:exec div (the Bits64 3) 5
70−:exec div (the Nat 3) 5
71−
72−:exec mod (the Integer 3) 5
73−:exec mod (the Int 3) 5
74−:exec mod (the Bits8 3) 5
75−:exec mod (the Bits16 3) 5
76−:exec mod (the Bits32 3) 5
77−:exec mod (the Bits64 3) 5
78−:exec mod (the Nat 3) 5
79−
80−:exec div (the Integer (-5)) 2
81−:exec div (the Int (-5)) 2
82−
83−:exec mod (the Integer (-5)) 2
84−:exec mod (the Int (-5)) 2
85−
86−:exec div (the Integer (-3)) 5
87−:exec div (the Int (-3)) 5
88−
89−:exec mod (the Integer (-3)) 5
90−:exec mod (the Int (-3)) 5
91−
92−:exec div (-432642342742368327462378462387) 36473264372
93−:exec mod (-432642342742368327462378462387) 36473264372
test/basic024/run+4−1
@@ -1,5 +1,8 @@
11#!/usr/bin/env bash
22
33${IDRIS:-idris} $@ --quiet --port none < input
4+${IDRIS:-idris} $@ basic024.idr -o basic024
45
5−rm -f *.ibc
6+./basic024
7+
8+rm -f basic024 *.ibc