Rename expected, input and run
Because cabal's wildcards are broken and doesn't allow
files without file endings.
commitb5a6637da8ab21f26b8bee3d1b2cac1ab814f24b
authorNiklas Larsson <niklas@mm.st>
dateSat 25 Jan 2020, 00:51 (7 years ago)
parent1dd9316
561 files changed+128−127
Setup.hs−33
@@ -215,36 +215,6 @@ idrisConfigure _ flags pkgdesc local = do
215215 autogenComponentModulesDir lbi _ = autogenModulesDir lbi
216216#endif
217217
218−idrisPreSDist args flags = do
219− let dir = S.fromFlag (S.sDistDirectory flags)
220− let verb = S.fromFlag (S.sDistVerbosity flags)
221− generateVersionModule verb "src" True
222− generateBuildFlagsModule verb "src" []
223− generateTargetModule verb "src" "./libs"
224− generateToolchainModule verb "src" Nothing
225− preSDist simpleUserHooks args flags
226−
227−idrisSDist sdist pkgDesc bi hooks flags = do
228− pkgDesc' <- addGitFiles pkgDesc
229− sdist pkgDesc' bi hooks flags
230− where
231− addGitFiles :: PackageDescription -> IO PackageDescription
232− addGitFiles pkgDesc = do
233− files <- gitFiles
234− return $ pkgDesc { extraSrcFiles = extraSrcFiles pkgDesc ++ files}
235− gitFiles :: IO [FilePath]
236− gitFiles = liftM lines (readProcess "git" ["ls-files"] "")
237−
238−idrisPostSDist args flags desc lbi = do
239− Control.Exception.catch (do let file = "src" </> "Version_idris" Px.<.> "hs"
240− let targetFile = "src" </> "Target_idris" Px.<.> "hs"
241− putStrLn $ "Removing generated modules:\n "
242− ++ file ++ "\n" ++ targetFile
243− removeFile file
244− removeFile targetFile)
245− (\e -> let e' = (e :: SomeException) in return ())
246− postSDist simpleUserHooks args flags desc lbi
247−
248218#if !(MIN_VERSION_Cabal(2,0,0))
249219rewriteFileEx :: Verbosity -> FilePath -> String -> IO ()
250220rewriteFileEx _ = rewriteFile
@@ -353,8 +323,5 @@ main = defaultMainWithHooks $ simpleUserHooks
353323 , postInst = \_ flags pkg local ->
354324 idrisInstall (S.fromFlag $ S.installVerbosity flags)
355325 NoCopyDest pkg local
356− , preSDist = idrisPreSDist
357− , sDistHook = idrisSDist (sDistHook simpleUserHooks)
358− , postSDist = idrisPostSDist
359326 , testHook = idrisTestHook
360327 }
idris.cabal+75−41
@@ -1,6 +1,7 @@
1+Cabal-Version: 2.4
12Name: idris
23Version: 1.3.2
3−License: BSD3
4+License: BSD-3-Clause
45License-file: LICENSE
56Author: Edwin Brady
67Maintainer: Edwin Brady <eb@cs.st-andrews.ac.uk>
@@ -41,42 +42,18 @@ Description: Idris is a general purpose language with full dependent types.
4142 .
4243 * Hugs style interactive environment
4344
44−Cabal-Version: >= 1.22
45−
4645Build-type: Custom
4746
4847Tested-With: GHC == 7.10.3, GHC == 8.0.1
4948
5049Data-files: idrisdoc/styles.css
51− jsrts/jsbn/jsbn-browser.js
52− jsrts/jsbn/jsbn-node.js
53− jsrts/Runtime-common.js
54− jsrts/Runtime-javascript.js
55− jsrts/Runtime-node.js
50+ jsrts/**/*.js
5651 jsrts/jsbn/LICENSE
57− rts/arduino/idris_main.c
58− rts/idris_bitstring.c
59− rts/idris_bitstring.h
60− rts/idris_gc.c
61− rts/idris_gc.h
62− rts/idris_gmp.c
63− rts/idris_gmp.h
64− rts/idris_heap.c
65− rts/idris_heap.h
66− rts/idris_main.c
67− rts/idris_net.c
68− rts/idris_net.h
69− rts/idris_opts.c
70− rts/idris_opts.h
71− rts/idris_rts.c
72− rts/idris_rts.h
73− rts/idris_stats.c
74− rts/idris_stats.h
75− rts/idris_stdfgn.c
76− rts/idris_stdfgn.h
77− rts/mini-gmp.c
78− rts/mini-gmp.h
79− rts/libtest.c
52+ rts/Makefile
53+ rts/**/*.c
54+ rts/**/*.h
55+ rts/seL4/CMakeLists.txt
56+ rts/seL4/README.md
8057
8158Extra-doc-files:
8259 CHANGELOG.md
@@ -86,13 +63,62 @@ Extra-doc-files:
8663 README.md
8764 RELEASE-CHECKS.md
8865 idris-tutorial.pdf
89− samples/effects/*.idr
90− samples/misc/*.idr
91− samples/misc/*.lidr
92− samples/tutorial/*.idr
66+ man/idris.1
67+ samples/**/*.idr
68+ samples/**/*.lidr
9369
9470-- extra-source-files is generated by Setup.hs using `git --ls-files`.
9571Extra-source-files:
72+ Makefile
73+ config.mk
74+ custom.mk-alldeps
75+ mkpkg.sh
76+ stack-alt.yaml
77+ stack-shell.nix
78+ stack.yaml
79+ stylize.sh
80+ win-release.sh
81+
82+ benchmarks/*.pl
83+ benchmarks/**/*.idr
84+ benchmarks/**/*.ipkg
85+ benchmarks/quasigroups/board
86+
87+ icons/*.png
88+ icons/*.ico
89+ icons/*.rc
90+ icons/*.svg
91+ icons/*.xml
92+
93+ libs/**/*.idr
94+ libs/**/*.ipkg
95+ libs/**/*.txt
96+ libs/Makefile
97+ libs/base/Makefile
98+ libs/contrib/Makefile
99+ libs/effects/Makefile
100+ libs/prelude/Makefile
101+ libs/pruviloj/Makefile
102+
103+ scripts/generate-multi-ghc-travis-template
104+ scripts/runidris
105+ scripts/runidris-node
106+
107+ src/.ghci
108+
109+ test/*.md
110+ test/*.hs
111+ test/**/*.idr
112+ test/**/*.lidr
113+ test/**/*.ipkg
114+ test/**/*.out
115+ test/**/*.sh
116+ test/**/*.c
117+ test/**/*.h
118+ test/**/*.in
119+ test/ffi004/theOtherType
120+ test/ffi004/theType
121+ test/scripts/timeout
96122
97123source-repository head
98124 type: git
@@ -100,7 +126,7 @@ source-repository head
100126
101127custom-setup
102128 setup-depends:
103− Cabal >= 1.10 && < 3.1,
129+ Cabal >= 2.4 && < 3.1,
104130 base >= 4 && <5,
105131 directory,
106132 filepath,
@@ -261,14 +287,17 @@ Library
261287 Util.Pretty
262288 , Util.Net
263289
264−
265−
266− -- Auto Generated
267290 , Paths_idris
268291 , Version_idris
269292 , Tools_idris
270293 , BuildFlags_idris
271294
295+ -- Auto Generated
296+ Autogen-modules: Paths_idris
297+ , Version_idris
298+ , Tools_idris
299+ , BuildFlags_idris
300+
272301 Build-depends: base >=4 && <5
273302 , aeson >= 0.6 && < 1.5
274303 , annotated-wl-pprint >= 0.7 && < 0.8
@@ -313,8 +342,8 @@ Library
313342 , async < 2.3
314343
315344 if !impl(ghc >= 8.0)
316− Build-Depends: semigroups == 0.18.*
317− , fail == 4.9.0.*
345+ Build-Depends: semigroups == 0.18.*
346+ , fail == 4.9.0.*
318347
319348 Default-Language: Haskell2010
320349 ghc-prof-options: -auto-all -caf-all
@@ -333,6 +362,7 @@ Library
333362 cpp-options: -DIDRIS_GMP
334363 if flag(freestanding)
335364 other-modules: Target_idris
365+ autogen-modules: Target_idris
336366 cpp-options: -DFREESTANDING
337367 if flag(CI)
338368 ghc-options: -Werror
@@ -381,6 +411,7 @@ Test-suite regression-and-feature-tests
381411
382412Executable idris-codegen-c
383413 Main-is: Main.hs
414+ autogen-modules: Paths_idris
384415 other-modules: Paths_idris
385416 hs-source-dirs: codegen/idris-codegen-c
386417
@@ -396,6 +427,7 @@ Executable idris-codegen-c
396427
397428Executable idris-codegen-javascript
398429 Main-is: Main.hs
430+ autogen-modules: Paths_idris
399431 other-modules: Paths_idris
400432 hs-source-dirs: codegen/idris-codegen-javascript
401433
@@ -411,6 +443,7 @@ Executable idris-codegen-javascript
411443
412444Executable idris-codegen-node
413445 Main-is: Main.hs
446+ autogen-modules: Paths_idris
414447 other-modules: Paths_idris
415448 hs-source-dirs: codegen/idris-codegen-node
416449
@@ -423,3 +456,4 @@ Executable idris-codegen-node
423456 Default-Language: Haskell2010
424457 ghc-prof-options: -auto-all -caf-all
425458 ghc-options: -threaded -rtsopts -funbox-strict-fields
459+
test/README.md+5−5
@@ -113,18 +113,18 @@ and somewhat self-explanatory.
113113
1141141. Choose the family your test shall belong to and remember its identifier.
1151152. Pick the next available integer in the test family. It will be the index.
116−3. Say the family's identifier is `foo` and the index is `42`. You should call `./mktest.pl foo042` ; this will create the directory and a simple `run` script.
116+3. Say the family's identifier is `foo` and the index is `42`. You should call `./mktest.pl foo042` ; this will create the directory and a simple `run.sh` script.
1171174. Modify the `run` script to your liking. If you want to call the idris executable, write `${IDRIS:-idris} $@`.
1181185. Add any file you may need in the directory. If they don't end in `.idr`, you should remember them for the next step.
1191196. Add your test in `TestData.hs`. Each family has a list of `(Index, CompatCodegen)`. See the next section for the available values in `CompatCodegen`. In most cases, you should write `( 42, ANY)`.
120−7. Generate the `expected` file by doing:
120+7. Generate the `expected.out` file by doing:
121121 ```
122122 # Using cabal
123123 cabal test --test-options="--pattern foo042 --accept"
124124 # Using stack
125125 stack test --test-arguments="--pattern foo042 --accept"
126126 ```
127−8. Check the content of `expected`. Maybe the test didn't do what you thought it would. Fix and go back to 7 until it's ok.
127+8. Check the content of `expected.out`. Maybe the test didn't do what you thought it would. Fix and go back to 7 until it's ok.
128128
129129### Specifying compatible backends
130130
@@ -146,7 +146,7 @@ Currently, `NONE` has the same effect as `ANY`, but this will change.
146146
147147### Updating golden files
148148
149−To update the `expected` file for every test, do one of the following:
149+To update the `expected.out` file for every test, do one of the following:
150150
151151```
152152# Using make
@@ -157,4 +157,4 @@ cabal test --test-options="--accept"
157157stack test --test-arguments="--accept"
158158```
159159
160−"Accepted" tests are the ones that update the golden file. A test can still fail if the `run` script itself crashes.
160+"Accepted" tests are the ones that update the golden file. A test can still fail if the `run.sh` script itself crashes.
test/TestRun.hs+2−2
@@ -62,7 +62,7 @@ ingredients = defaultIngredients ++
6262test :: String -> String -> IO () -> TestTree
6363test testName path = goldenVsFileDiff testName diff ref output
6464 where
65− ref = path </> "expected"
65+ ref = path </> "expected.out"
6666 output = path </> "output"
6767 diff ref new | os == "openbsd" = ["diff", "-u", new, ref]
6868 | otherwise = ["diff", "--strip-trailing-cr", "-u", new, ref]
@@ -92,7 +92,7 @@ mkGoldenTests testFamilies flags =
9292-- this thing.
9393runTest :: String -> Flags -> IO ()
9494runTest path flags = do
95− let run = (proc "bash" ("run" : flags)) {cwd = Just path}
95+ let run = (proc "bash" ("run.sh" : flags)) {cwd = Just path}
9696 (_, output, error_out) <- readCreateProcessWithExitCode run ""
9797 writeFile (path </> "output") (normalise output)
9898 when (error_out /= "") $ hPutStrLn stderr ("\nError: " ++ path ++ "\n" ++ error_out)
test/base001/expected → test/base001/expected.outrenamed
The content is the same.
test/base001/run → test/base001/run.shrenamed+1−1
@@ -3,7 +3,7 @@
33set -u
44
55if [[ ${OSTYPE} = 'msys' ]]; then
6− cat expected # skip this test on Windows
6+ cat expected.out # skip this test on Windows
77else
88 ${IDRIS:-idris} "$@" --build base001.ipkg | grep -v 'make.*:'
99 ./base001 2>&1 | grep -v '^sh:.*\./does-not-exist:'
test/basic001/expected → test/basic001/expected.outrenamed
The content is the same.
test/basic001/run → test/basic001/run.shrenamed
Only the mode changed.
test/basic002/expected → test/basic002/expected.outrenamed
The content is the same.
test/basic002/run → test/basic002/run.shrenamed
Only the mode changed.
test/basic003/expected → test/basic003/expected.outrenamed
The content is the same.
test/basic003/run → test/basic003/run.shrenamed
Only the mode changed.
test/basic004/expected → test/basic004/expected.outrenamed
The content is the same.
test/basic004/run → test/basic004/run.shrenamed
Only the mode changed.
test/basic005/expected → test/basic005/expected.outrenamed
The content is the same.
test/basic005/run → test/basic005/run.shrenamed
Only the mode changed.
test/basic006/expected → test/basic006/expected.outrenamed
The content is the same.
test/basic006/run → test/basic006/run.shrenamed
Only the mode changed.
test/basic007/expected → test/basic007/expected.outrenamed
The content is the same.
test/basic007/run → test/basic007/run.shrenamed
Only the mode changed.
test/basic008/expected → test/basic008/expected.outrenamed
The content is the same.
test/basic008/run → test/basic008/run.shrenamed
Only the mode changed.
test/basic009/expected → test/basic009/expected.outrenamed
The content is the same.
test/basic009/run → test/basic009/run.shrenamed
Only the mode changed.
test/basic010/expected → test/basic010/expected.outrenamed
The content is the same.
test/basic010/run → test/basic010/run.shrenamed
Only the mode changed.
test/basic011/expected → test/basic011/expected.outrenamed
The content is the same.
test/basic011/run → test/basic011/run.shrenamed
Only the mode changed.
test/basic012/expected → test/basic012/expected.outrenamed
The content is the same.
test/basic012/run → test/basic012/run.shrenamed
Only the mode changed.
test/basic013/expected → test/basic013/expected.outrenamed
The content is the same.
test/basic013/run → test/basic013/run.shrenamed
Only the mode changed.
test/basic014/expected → test/basic014/expected.outrenamed
The content is the same.
test/basic014/run → test/basic014/run.shrenamed
Only the mode changed.
test/basic015/expected → test/basic015/expected.outrenamed
The content is the same.
test/basic015/run → test/basic015/run.shrenamed
Only the mode changed.
test/basic016/expected → test/basic016/expected.outrenamed
The content is the same.
test/basic016/run → test/basic016/run.shrenamed
Only the mode changed.
test/basic017/expected → test/basic017/expected.outrenamed
The content is the same.
test/basic017/run → test/basic017/run.shrenamed
Only the mode changed.
test/basic018/expected → test/basic018/expected.outrenamed
The content is the same.
test/basic018/run → test/basic018/run.shrenamed
Only the mode changed.
test/basic019/expected → test/basic019/expected.outrenamed
The content is the same.
test/basic019/run → test/basic019/run.shrenamed
Only the mode changed.
test/basic020/expected → test/basic020/expected.outrenamed
The content is the same.
test/basic020/run → test/basic020/run.shrenamed
Only the mode changed.
test/basic021/expected → test/basic021/expected.outrenamed
The content is the same.
test/basic021/run → test/basic021/run.shrenamed
Only the mode changed.
test/basic022/expected → test/basic022/expected.outrenamed
The content is the same.
test/basic022/run → test/basic022/run.shrenamed
Only the mode changed.
test/basic023/expected → test/basic023/expected.outrenamed
The content is the same.
test/basic023/run → test/basic023/run.shrenamed
Only the mode changed.
test/basic024/expected → test/basic024/expected.outrenamed
The content is the same.
test/basic024/input → test/basic024/input.inrenamed
The content is the same.
test/basic024/run → test/basic024/run.shrenamed+1−1
@@ -1,6 +1,6 @@
11#!/usr/bin/env bash
22
3−${IDRIS:-idris} $@ --quiet --port none < input
3+${IDRIS:-idris} $@ --quiet --port none < input.in
44${IDRIS:-idris} $@ basic024.idr -o basic024
55
66./basic024
test/basic025/expected → test/basic025/expected.outrenamed
The content is the same.
test/basic025/input → test/basic025/input.inrenamed
The content is the same.
test/basic025/run → test/basic025/run.shrenamed+2−2
@@ -1,7 +1,7 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none < input
2+${IDRIS:-idris} $@ --quiet --port none < input.in
33${IDRIS:-idris} $@ -o basic025 basic025.idr
44
5−./basic025 input
5+./basic025 input.in
66
77rm -f basic025 *.ibc
test/basic026/expected → test/basic026/expected.outrenamed
The content is the same.
test/basic026/run → test/basic026/run.shrenamed
The content is the same.
test/bignum001/expected → test/bignum001/expected.outrenamed
The content is the same.
test/bignum001/run → test/bignum001/run.shrenamed
Only the mode changed.
test/bignum002/expected → test/bignum002/expected.outrenamed
The content is the same.
test/bignum002/run → test/bignum002/run.shrenamed
Only the mode changed.
test/bignum003/expected → test/bignum003/expected.outrenamed
The content is the same.
test/bignum003/run → test/bignum003/run.shrenamed
Only the mode changed.
test/bounded001/expected → test/bounded001/expected.outrenamed
The content is the same.
test/bounded001/run → test/bounded001/run.shrenamed
Only the mode changed.
test/buffer001/expected → test/buffer001/expected.outrenamed
The content is the same.
test/buffer001/run → test/buffer001/run.shrenamed
Only the mode changed.
test/buffer002/expected → test/buffer002/expected.outrenamed
The content is the same.
test/buffer002/run → test/buffer002/run.shrenamed
Only the mode changed.
test/contrib001/expected → test/contrib001/expected.outrenamed
The content is the same.
test/contrib001/run → test/contrib001/run.shrenamed
Only the mode changed.
test/corecords001/expected → test/corecords001/expected.outrenamed
The content is the same.
test/corecords001/run → test/corecords001/run.shrenamed
Only the mode changed.
test/corecords002/expected → test/corecords002/expected.outrenamed
The content is the same.
test/corecords002/run → test/corecords002/run.shrenamed
Only the mode changed.
test/delab001/expected → test/delab001/expected.outrenamed
The content is the same.
test/delab001/input → test/delab001/input.inrenamed
The content is the same.
test/delab001/run → test/delab001/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none --nocolor delab001.idr < input
2+${IDRIS:-idris} $@ --quiet --port none --nocolor delab001.idr < input.in
33rm -f *.ibc
test/directives001/expected → test/directives001/expected.outrenamed
The content is the same.
test/directives001/run → test/directives001/run.shrenamed
Only the mode changed.
test/directives002/expected → test/directives002/expected.outrenamed
The content is the same.
test/directives002/run → test/directives002/run.shrenamed
The content is the same.
test/directives003/expected → test/directives003/expected.outrenamed
The content is the same.
test/directives003/run → test/directives003/run.shrenamed
Only the mode changed.
test/disambig002/expected → test/disambig002/expected.outrenamed
The content is the same.
test/disambig002/run → test/disambig002/run.shrenamed
Only the mode changed.
test/docs001/expected → test/docs001/expected.outrenamed
The content is the same.
test/docs001/input → test/docs001/input.inrenamed
The content is the same.
test/docs001/run → test/docs001/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none --nocolor docs001.idr < input
2+${IDRIS:-idris} $@ --quiet --port none --nocolor docs001.idr < input.in
33rm *.ibc
test/docs002/expected → test/docs002/expected.outrenamed
The content is the same.
test/docs002/input → test/docs002/input.inrenamed
The content is the same.
test/docs002/run → test/docs002/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --nobanner --nocolor --quiet --port none docs002.idr < input
2+${IDRIS:-idris} $@ --nobanner --nocolor --quiet --port none docs002.idr < input.in
33rm *.ibc
test/docs003/expected → test/docs003/expected.outrenamed
The content is the same.
test/docs003/input → test/docs003/input.inrenamed
The content is the same.
test/docs003/run → test/docs003/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none --nocolor docs003.idr < input
2+${IDRIS:-idris} $@ --quiet --port none --nocolor docs003.idr < input.in
33rm *.ibc
test/docs004/expected → test/docs004/expected.outrenamed
The content is the same.
test/docs004/input → test/docs004/input.inrenamed
The content is the same.
test/docs004/run → test/docs004/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none --nocolor docs004.idr < input
2+${IDRIS:-idris} $@ --quiet --port none --nocolor docs004.idr < input.in
33rm *.ibc
test/docs005/expected → test/docs005/expected.outrenamed
The content is the same.
test/docs005/input → test/docs005/input.inrenamed
The content is the same.
test/docs005/run → test/docs005/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none --nocolor docs005.idr < input
2+${IDRIS:-idris} $@ --quiet --port none --nocolor docs005.idr < input.in
33rm *.ibc
test/docs006/expected → test/docs006/expected.outrenamed
The content is the same.
test/docs006/input → test/docs006/input.inrenamed
The content is the same.
test/docs006/run → test/docs006/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none --nocolor docs006.idr < input
2+${IDRIS:-idris} $@ --quiet --port none --nocolor docs006.idr < input.in
33rm *.ibc
test/dsl001/expected → test/dsl001/expected.outrenamed
The content is the same.
test/dsl001/input → test/dsl001/input.inrenamed
The content is the same.
test/dsl001/run → test/dsl001/run.shrenamed+1−1
@@ -1,5 +1,5 @@
11#!/usr/bin/env bash
22${IDRIS:-idris} $@ test001.idr -o test001 --partial-eval
33./test001
4−${IDRIS:-idris} $@ test001.idr --partial-eval --quiet --port none < input
4+${IDRIS:-idris} $@ test001.idr --partial-eval --quiet --port none < input.in
55rm -f test001 test001.ibc
test/dsl002/expected → test/dsl002/expected.outrenamed
The content is the same.
test/dsl002/run → test/dsl002/run.shrenamed
Only the mode changed.
test/dsl003/expected → test/dsl003/expected.outrenamed
The content is the same.
test/dsl003/run → test/dsl003/run.shrenamed
Only the mode changed.
test/dsl004/expected → test/dsl004/expected.outrenamed
The content is the same.
test/dsl004/run → test/dsl004/run.shrenamed
Only the mode changed.
test/effects001/expected → test/effects001/expected.outrenamed
The content is the same.
test/effects001/run → test/effects001/run.shrenamed
Only the mode changed.
test/effects002/expected → test/effects002/expected.outrenamed
The content is the same.
test/effects002/run → test/effects002/run.shrenamed
Only the mode changed.
test/effects003/expected → test/effects003/expected.outrenamed
The content is the same.
test/effects003/input → test/effects003/input.inrenamed
The content is the same.
test/effects003/run → test/effects003/run.shrenamed+1−1
@@ -1,4 +1,4 @@
11#!/usr/bin/env bash
22${IDRIS:-idris} $@ hangman.idr --nocolour -p effects -o hangman
3−./hangman < input
3+./hangman < input.in
44rm -f hangman *.ibc
test/effects004/expected → test/effects004/expected.outrenamed
The content is the same.
test/effects004/input → test/effects004/input.inrenamed
The content is the same.
test/effects004/run → test/effects004/run.shrenamed+1−1
@@ -1,4 +1,4 @@
11#!/usr/bin/env bash
22${IDRIS:-idris} $@ effects004.idr -o effects004 -p effects
3−./effects004 < input
3+./effects004 < input.in
44rm -f effects004 *.ibc
test/effects005/expected → test/effects005/expected.outrenamed
The content is the same.
test/effects005/run → test/effects005/run.shrenamed
Only the mode changed.
test/error001/expected → test/error001/expected.outrenamed
The content is the same.
test/error001/run → test/error001/run.shrenamed
Only the mode changed.
test/error002/expected → test/error002/expected.outrenamed
The content is the same.
test/error002/run → test/error002/run.shrenamed
Only the mode changed.
test/error003/expected → test/error003/expected.outrenamed
The content is the same.
test/error003/run → test/error003/run.shrenamed
Only the mode changed.
test/error004/expected → test/error004/expected.outrenamed
The content is the same.
test/error004/run → test/error004/run.shrenamed
Only the mode changed.
test/error005/expected → test/error005/expected.outrenamed
The content is the same.
test/error005/run → test/error005/run.shrenamed
Only the mode changed.
test/error006/expected → test/error006/expected.outrenamed
The content is the same.
test/error006/run → test/error006/run.shrenamed
Only the mode changed.
test/error007/expected → test/error007/expected.outrenamed
The content is the same.
test/error007/run → test/error007/run.shrenamed
Only the mode changed.
test/error008/expected → test/error008/expected.outrenamed
The content is the same.
test/error008/run → test/error008/run.shrenamed
Only the mode changed.
test/error009/expected → test/error009/expected.outrenamed
The content is the same.
test/error009/run → test/error009/run.shrenamed
Only the mode changed.
test/ffi001/expected → test/ffi001/expected.outrenamed
The content is the same.
test/ffi001/run → test/ffi001/run.shrenamed
Only the mode changed.
test/ffi002/expected → test/ffi002/expected.outrenamed
The content is the same.
test/ffi002/run → test/ffi002/run.shrenamed
Only the mode changed.
test/ffi003/expected → test/ffi003/expected.outrenamed
The content is the same.
test/ffi003/input → test/ffi003/input.inrenamed
The content is the same.
test/ffi003/run → test/ffi003/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none --nocolour test024.idr --exec main < input
2+${IDRIS:-idris} $@ --quiet --port none --nocolour test024.idr --exec main < input.in
33rm -f *.ibc
test/ffi004/expected → test/ffi004/expected.outrenamed
The content is the same.
test/ffi004/run → test/ffi004/run.shrenamed
Only the mode changed.
test/ffi005/expected → test/ffi005/expected.outrenamed
The content is the same.
test/ffi005/run → test/ffi005/run.shrenamed
Only the mode changed.
test/ffi006/expected → test/ffi006/expected.outrenamed
The content is the same.
test/ffi006/run → test/ffi006/run.shrenamed
Only the mode changed.
test/ffi007/expected → test/ffi007/expected.outrenamed
The content is the same.
test/ffi007/run → test/ffi007/run.shrenamed
The content is the same.
test/ffi008/expected → test/ffi008/expected.outrenamed
The content is the same.
test/ffi008/run → test/ffi008/run.shrenamed
The content is the same.
test/ffi009/expected → test/ffi009/expected.outrenamed
The content is the same.
test/ffi009/run → test/ffi009/run.shrenamed
Only the mode changed.
test/ffi010/expected → test/ffi010/expected.outrenamed
The content is the same.
test/ffi010/run → test/ffi010/run.shrenamed
Only the mode changed.
test/ffi011/expected → test/ffi011/expected.outrenamed
The content is the same.
test/ffi011/run → test/ffi011/run.shrenamed
Only the mode changed.
test/ffi012/expected → test/ffi012/expected.outrenamed
The content is the same.
test/ffi012/run → test/ffi012/run.shrenamed
Only the mode changed.
test/ffi013/expected → test/ffi013/expected.outrenamed
The content is the same.
test/ffi013/run → test/ffi013/run.shrenamed
Only the mode changed.
test/folding001/expected → test/folding001/expected.outrenamed
The content is the same.
test/folding001/run → test/folding001/run.shrenamed
Only the mode changed.
test/idrisdoc001/expected → test/idrisdoc001/expected.outrenamed
The content is the same.
test/idrisdoc001/run → test/idrisdoc001/run.shrenamed
Only the mode changed.
test/idrisdoc002/expected → test/idrisdoc002/expected.outrenamed
The content is the same.
test/idrisdoc002/run → test/idrisdoc002/run.shrenamed
Only the mode changed.
test/idrisdoc003/expected → test/idrisdoc003/expected.outrenamed
The content is the same.
test/idrisdoc003/run → test/idrisdoc003/run.shrenamed
Only the mode changed.
test/idrisdoc004/expected → test/idrisdoc004/expected.outrenamed
The content is the same.
test/idrisdoc004/run → test/idrisdoc004/run.shrenamed
Only the mode changed.
test/idrisdoc005/expected → test/idrisdoc005/expected.outrenamed
The content is the same.
test/idrisdoc005/run → test/idrisdoc005/run.shrenamed
Only the mode changed.
test/idrisdoc006/expected → test/idrisdoc006/expected.outrenamed
The content is the same.
test/idrisdoc006/run → test/idrisdoc006/run.shrenamed
Only the mode changed.
test/idrisdoc007/expected → test/idrisdoc007/expected.outrenamed
The content is the same.
test/idrisdoc007/run → test/idrisdoc007/run.shrenamed
Only the mode changed.
test/idrisdoc008/expected → test/idrisdoc008/expected.outrenamed
The content is the same.
test/idrisdoc008/run → test/idrisdoc008/run.shrenamed
Only the mode changed.
test/idrisdoc009/expected → test/idrisdoc009/expected.outrenamed
The content is the same.
test/idrisdoc009/input → test/idrisdoc009/input.inrenamed
The content is the same.
test/idrisdoc009/run → test/idrisdoc009/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --nocolour --quiet --port none Test.idr < input
2+${IDRIS:-idris} $@ --nocolour --quiet --port none Test.idr < input.in
33rm -f *.ibc
test/interactive001/expected → test/interactive001/expected.outrenamed
The content is the same.
test/interactive001/input → test/interactive001/input.inrenamed
The content is the same.
test/interactive001/run → test/interactive001/run.shrenamed+1−1
@@ -1,5 +1,5 @@
11#!/usr/bin/env bash
22
3−${IDRIS:-idris} $@ --quiet --port none --indent-with 8 interactive001.idr < input
3+${IDRIS:-idris} $@ --quiet --port none --indent-with 8 interactive001.idr < input.in
44
55rm -f *.ibc
test/interactive002/expected → test/interactive002/expected.outrenamed
The content is the same.
test/interactive002/input → test/interactive002/input.inrenamed
The content is the same.
test/interactive002/run → test/interactive002/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none interactive002.idr < input
2+${IDRIS:-idris} $@ --quiet --port none interactive002.idr < input.in
33rm -f *.ibc
test/interactive003/expected → test/interactive003/expected.outrenamed
The content is the same.
test/interactive003/input → test/interactive003/input.inrenamed
The content is the same.
test/interactive003/run → test/interactive003/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none interactive003.idr < input
2+${IDRIS:-idris} $@ --quiet --port none interactive003.idr < input.in
33rm -f *.ibc
test/interactive004/expected → test/interactive004/expected.outrenamed
The content is the same.
test/interactive004/input → test/interactive004/input.inrenamed
The content is the same.
test/interactive004/run → test/interactive004/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none interactive004.idr < input
2+${IDRIS:-idris} $@ --quiet --port none interactive004.idr < input.in
33rm -f *.ibc
test/interactive005/expected → test/interactive005/expected.outrenamed
The content is the same.
test/interactive005/input → test/interactive005/input.inrenamed
The content is the same.
test/interactive005/run → test/interactive005/run.shrenamed+1−1
@@ -1,5 +1,5 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --nocolour --quiet --port none interactive005.idr --consolewidth 70 < input
2+${IDRIS:-idris} $@ --nocolour --quiet --port none interactive005.idr --consolewidth 70 < input.in
33rm -f *.ibc
44rm -f hello.bytecode
55rm -f hello
test/interactive006/expected → test/interactive006/expected.outrenamed
The content is the same.
test/interactive006/input → test/interactive006/input.inrenamed
The content is the same.
test/interactive006/run → test/interactive006/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none --port 5000 interactive006.idr < input
2+${IDRIS:-idris} $@ --quiet --port none --port 5000 interactive006.idr < input.in
33rm -f *.ibc
test/interactive007/expected → test/interactive007/expected.outrenamed
The content is the same.
test/interactive007/input → test/interactive007/input.inrenamed
The content is the same.
test/interactive007/run → test/interactive007/run.shrenamed+1−1
@@ -1,2 +1,2 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ -p contrib --nobanner --nocolor --port none < input | perl -pe 's-Data\\Z-Data/Z-g'
2+${IDRIS:-idris} $@ -p contrib --nobanner --nocolor --port none < input.in | perl -pe 's-Data\\Z-Data/Z-g'
test/interactive008/expected → test/interactive008/expected.outrenamed
The content is the same.
test/interactive008/input → test/interactive008/input.inrenamed
The content is the same.
test/interactive008/rundeleted−2
@@ -1,2 +0,0 @@
1−#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --nobanner --nocolor --port none < input
test/interactive008/run.shnew file+2
@@ -0,0 +1,2 @@
1+#!/usr/bin/env bash
2+${IDRIS:-idris} $@ --nobanner --nocolor --port none < input.in
test/interactive009/expected → test/interactive009/expected.outrenamed
The content is the same.
test/interactive009/input → test/interactive009/input.inrenamed
The content is the same.
test/interactive009/run → test/interactive009/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none interactive009.idr < input
2+${IDRIS:-idris} $@ --quiet --port none interactive009.idr < input.in
33rm -f *.ibc
test/interactive010/expected → test/interactive010/expected.outrenamed
The content is the same.
test/interactive010/input → test/interactive010/input.inrenamed
The content is the same.
test/interactive010/run → test/interactive010/run.shrenamed+1−1
@@ -1,2 +1,2 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none --nobanner --nocolor < input
2+${IDRIS:-idris} $@ --quiet --port none --nobanner --nocolor < input.in
test/interactive011/expected → test/interactive011/expected.outrenamed
The content is the same.
test/interactive011/input → test/interactive011/input.inrenamed
The content is the same.
test/interactive011/run → test/interactive011/run.shrenamed+1−1
@@ -1,6 +1,6 @@
11#!/usr/bin/env bash
22
33cd src
4−${IDRIS:-idris} "$@" --quiet --port none --indent-clause 4 Main.idr <../input
4+${IDRIS:-idris} "$@" --quiet --port none --indent-clause 4 Main.idr <../input.in
55
66rm -f *.ibc
test/interactive012/expected → test/interactive012/expected.outrenamed
The content is the same.
test/interactive012/input → test/interactive012/input.inrenamed
The content is the same.
test/interactive012/run → test/interactive012/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --nocolour --consolewidth 70 --quiet --port none interactive012.idr < input
2+${IDRIS:-idris} $@ --nocolour --consolewidth 70 --quiet --port none interactive012.idr < input.in
33rm -f *.ibc
test/interactive013/expected → test/interactive013/expected.outrenamed
The content is the same.
test/interactive013/input → test/interactive013/input.inrenamed
The content is the same.
test/interactive013/run → test/interactive013/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none interactive013.idr < input
2+${IDRIS:-idris} $@ --quiet --port none interactive013.idr < input.in
33rm -f *.ibc
test/interactive014/expected → test/interactive014/expected.outrenamed
The content is the same.
test/interactive014/input → test/interactive014/input.inrenamed
The content is the same.
test/interactive014/run → test/interactive014/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none interactive014.idr < input
2+${IDRIS:-idris} $@ --quiet --port none interactive014.idr < input.in
33rm -f *.ibc
test/interactive015/expected → test/interactive015/expected.outrenamed
The content is the same.
test/interactive015/input → test/interactive015/input.inrenamed
The content is the same.
test/interactive015/run → test/interactive015/run.shrenamed+1−1
@@ -1,7 +1,7 @@
11#!/usr/bin/env bash
22
33cp src/interactive015.idr .
4−${IDRIS:-idris} "$@" --quiet --port none interactive015.idr < input
4+${IDRIS:-idris} "$@" --quiet --port none interactive015.idr < input.in
55
66cat interactive015.idr
77
test/interactive016/expected → test/interactive016/expected.outrenamed
The content is the same.
test/interactive016/input → test/interactive016/input.inrenamed
The content is the same.
test/interactive016/run → test/interactive016/run.shrenamed+1−1
@@ -1,7 +1,7 @@
11#!/usr/bin/env bash
22
33cp src/interactive016.idr .
4−${IDRIS:-idris} "$@" --quiet --port none interactive016.idr < input
4+${IDRIS:-idris} "$@" --quiet --port none interactive016.idr < input.in
55
66cat interactive016.idr
77
test/interactive017/expected → test/interactive017/expected.outrenamed
The content is the same.
test/interactive017/run → test/interactive017/run.shrenamed
Only the mode changed.
test/interactive018/expected → test/interactive018/expected.outrenamed
The content is the same.
test/interactive018/input → test/interactive018/input.inrenamed
The content is the same.
test/interactive018/rundeleted−3
@@ -1,3 +0,0 @@
1−#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none Top.idr < input
3−rm -f *.ibc
test/interactive018/run.shnew file+3
@@ -0,0 +1,3 @@
1+#!/usr/bin/env bash
2+${IDRIS:-idris} $@ --quiet --port none Top.idr < input.in
3+rm -f *.ibc
test/interfaces001/expected → test/interfaces001/expected.outrenamed
The content is the same.
test/interfaces001/input → test/interfaces001/input.inrenamed
The content is the same.
test/interfaces001/run → test/interfaces001/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none --nocolour --consolewidth 70 InterfaceName.idr < input
2+${IDRIS:-idris} $@ --quiet --port none --nocolour --consolewidth 70 InterfaceName.idr < input.in
33rm -f *.ibc
test/interfaces002/expected → test/interfaces002/expected.outrenamed
The content is the same.
test/interfaces002/run → test/interfaces002/run.shrenamed
Only the mode changed.
test/interfaces003/expected → test/interfaces003/expected.outrenamed
The content is the same.
test/interfaces003/run → test/interfaces003/run.shrenamed
Only the mode changed.
test/interfaces004/expected → test/interfaces004/expected.outrenamed
The content is the same.
test/interfaces004/run → test/interfaces004/run.shrenamed
Only the mode changed.
test/interfaces005/expected → test/interfaces005/expected.outrenamed
The content is the same.
test/interfaces005/run → test/interfaces005/run.shrenamed
Only the mode changed.
test/interfaces006/expected → test/interfaces006/expected.outrenamed
The content is the same.
test/interfaces006/run → test/interfaces006/run.shrenamed
Only the mode changed.
test/interfaces007/expected → test/interfaces007/expected.outrenamed
The content is the same.
test/interfaces007/run → test/interfaces007/run.shrenamed
Only the mode changed.
test/interfaces008/expected → test/interfaces008/expected.outrenamed
The content is the same.
test/interfaces008/run → test/interfaces008/run.shrenamed
Only the mode changed.
test/interfaces009/expected → test/interfaces009/expected.outrenamed
The content is the same.
test/interfaces009/run → test/interfaces009/run.shrenamed
Only the mode changed.
test/interfaces010/expected → test/interfaces010/expected.outrenamed
The content is the same.
test/interfaces010/run → test/interfaces010/run.shrenamed
Only the mode changed.
test/interpret001/expected → test/interpret001/expected.outrenamed
The content is the same.
test/interpret001/input → test/interpret001/input.inrenamed
The content is the same.
test/interpret001/run → test/interpret001/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none --nocolour double-echo.idr < input
2+${IDRIS:-idris} $@ --quiet --port none --nocolour double-echo.idr < input.in
33rm -f *.ibc
test/interpret002/expected → test/interpret002/expected.outrenamed
The content is the same.
test/interpret002/input → test/interpret002/input.inrenamed
The content is the same.
test/interpret002/run → test/interpret002/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none --nocolour file-error.idr < input
2+${IDRIS:-idris} $@ --quiet --port none --nocolour file-error.idr < input.in
33rm -f *.ibc
test/interpret003/expected → test/interpret003/expected.outrenamed
The content is the same.
test/interpret003/input → test/interpret003/input.inrenamed
The content is the same.
test/interpret003/run → test/interpret003/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none --nocolour interpret003.idr < input
2+${IDRIS:-idris} $@ --quiet --port none --nocolour interpret003.idr < input.in
33rm -f *.ibc
test/io001/expected → test/io001/expected.outrenamed
The content is the same.
test/io001/run → test/io001/run.shrenamed
Only the mode changed.
test/io002/expected → test/io002/expected.outrenamed
The content is the same.
test/io002/run → test/io002/run.shrenamed
Only the mode changed.
test/io003/expected → test/io003/expected.outrenamed
The content is the same.
test/io003/run → test/io003/run.shrenamed
Only the mode changed.
test/layout001/expected → test/layout001/expected.outrenamed
The content is the same.
test/layout001/run → test/layout001/run.shrenamed
Only the mode changed.
test/literate001/expected → test/literate001/expected.outrenamed
The content is the same.
test/literate001/run → test/literate001/run.shrenamed
Only the mode changed.
test/meta001/expected → test/meta001/expected.outrenamed
The content is the same.
test/meta001/run → test/meta001/run.shrenamed
Only the mode changed.
test/meta002/expected → test/meta002/expected.outrenamed
The content is the same.
test/meta002/run → test/meta002/run.shrenamed
Only the mode changed.
test/meta003/expected → test/meta003/expected.outrenamed
The content is the same.
test/meta003/run → test/meta003/run.shrenamed
Only the mode changed.
test/meta004/expected → test/meta004/expected.outrenamed
The content is the same.
test/meta004/run → test/meta004/run.shrenamed
Only the mode changed.
test/pkg001/expected → test/pkg001/expected.outrenamed
The content is the same.
test/pkg001/run → test/pkg001/run.shrenamed
Only the mode changed.
test/pkg002/expected → test/pkg002/expected.outrenamed
The content is the same.
test/pkg002/run → test/pkg002/run.shrenamed
Only the mode changed.
test/pkg003/expected → test/pkg003/expected.outrenamed
The content is the same.
test/pkg003/run → test/pkg003/run.shrenamed
Only the mode changed.
test/pkg004/expected → test/pkg004/expected.outrenamed
The content is the same.
test/pkg004/run → test/pkg004/run.shrenamed
Only the mode changed.
test/pkg005/expected → test/pkg005/expected.outrenamed
The content is the same.
test/pkg005/run → test/pkg005/run.shrenamed
Only the mode changed.
test/pkg006/expected → test/pkg006/expected.outrenamed
The content is the same.
test/pkg006/run → test/pkg006/run.shrenamed
Only the mode changed.
test/pkg007/expected → test/pkg007/expected.outrenamed
The content is the same.
test/pkg007/input → test/pkg007/input.inrenamed
The content is the same.
test/pkg007/run → test/pkg007/run.shrenamed+1−1
@@ -2,6 +2,6 @@
22cd toy
33${IDRIS:-idris} $@ --build toy.ipkg --ibcsubdir ../ibcout
44cd ../ibcout
5−${IDRIS:-idris} $@ --quiet < ../input
5+${IDRIS:-idris} $@ --quiet < ../input.in
66cd ..
77rm -rf ibcout
test/pkg008/expected → test/pkg008/expected.outrenamed
The content is the same.
test/pkg008/run → test/pkg008/run.shrenamed
Only the mode changed.
test/pkg009/expected → test/pkg009/expected.outrenamed
The content is the same.
test/pkg009/run → test/pkg009/run.shrenamed
Only the mode changed.
test/pkg010/expected → test/pkg010/expected.outrenamed
The content is the same.
test/pkg010/run → test/pkg010/run.shrenamed
Only the mode changed.
test/prelude001/expected → test/prelude001/expected.outrenamed
The content is the same.
test/prelude001/run → test/prelude001/run.shrenamed
Only the mode changed.
test/primitives001/expected → test/primitives001/expected.outrenamed
The content is the same.
test/primitives001/input → test/primitives001/input.inrenamed
The content is the same.
test/primitives001/run → test/primitives001/run.shrenamed+1−1
@@ -2,5 +2,5 @@
22${IDRIS:-idris} $@ test005.idr -o test005
33./test005
44${IDRIS:-idris} $@ substring.idr -o substring
5−./substring < input
5+./substring < input.in
66rm -f test005 substring *.ibc
test/primitives002/expected → test/primitives002/expected.outrenamed
The content is the same.
test/primitives002/run → test/primitives002/run.shrenamed
Only the mode changed.
test/primitives003/expected → test/primitives003/expected.outrenamed
The content is the same.
test/primitives003/run → test/primitives003/run.shrenamed
Only the mode changed.
test/primitives004-disabled/expected → test/primitives004-disabled/expected.outrenamed
The content is the same.
test/primitives004-disabled/run → test/primitives004-disabled/run.shrenamed
Only the mode changed.
test/primitives005/expected → test/primitives005/expected.outrenamed
The content is the same.
test/primitives005/run → test/primitives005/run.shrenamed
The content is the same.
test/primitives006/expected → test/primitives006/expected.outrenamed
The content is the same.
test/primitives006/run → test/primitives006/run.shrenamed
Only the mode changed.
test/proof001/expected → test/proof001/expected.outrenamed
The content is the same.
test/proof001/run → test/proof001/run.shrenamed
Only the mode changed.
test/proof002/expected → test/proof002/expected.outrenamed
The content is the same.
test/proof002/run → test/proof002/run.shrenamed
Only the mode changed.
test/proof003/expected → test/proof003/expected.outrenamed
The content is the same.
test/proof003/run → test/proof003/run.shrenamed
Only the mode changed.
test/proof004/expected → test/proof004/expected.outrenamed
The content is the same.
test/proof004/run → test/proof004/run.shrenamed
Only the mode changed.
test/proof005/expected → test/proof005/expected.outrenamed
The content is the same.
test/proof005/run → test/proof005/run.shrenamed
Only the mode changed.
test/proof006/expected → test/proof006/expected.outrenamed
The content is the same.
test/proof006/run → test/proof006/run.shrenamed
Only the mode changed.
test/proof007/expected → test/proof007/expected.outrenamed
The content is the same.
test/proof007/run → test/proof007/run.shrenamed
Only the mode changed.
test/proof008/expected → test/proof008/expected.outrenamed
The content is the same.
test/proof008/run → test/proof008/run.shrenamed
Only the mode changed.
test/proof009/expected → test/proof009/expected.outrenamed
The content is the same.
test/proof009/input → test/proof009/input.inrenamed
The content is the same.
test/proof009/run → test/proof009/run.shrenamed+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --consolewidth 70 --quiet --port none proof009.idr < input
2+${IDRIS:-idris} $@ --consolewidth 70 --quiet --port none proof009.idr < input.in
33rm -f *.ibc
test/proof010/expected → test/proof010/expected.outrenamed
The content is the same.
test/proof010/run → test/proof010/run.shrenamed
Only the mode changed.
test/proof011/expected → test/proof011/expected.outrenamed
The content is the same.
test/proof011/run → test/proof011/run.shrenamed
Only the mode changed.
test/proofsearch001/expected → test/proofsearch001/expected.outrenamed
The content is the same.
test/proofsearch001/run → test/proofsearch001/run.shrenamed
Only the mode changed.
test/proofsearch002/expected → test/proofsearch002/expected.outrenamed
The content is the same.
test/proofsearch002/run → test/proofsearch002/run.shrenamed
Only the mode changed.
test/proofsearch003/expected → test/proofsearch003/expected.outrenamed
The content is the same.
test/proofsearch003/run → test/proofsearch003/run.shrenamed
Only the mode changed.
test/pruviloj001/expected → test/pruviloj001/expected.outrenamed
The content is the same.
test/pruviloj001/run → test/pruviloj001/run.shrenamed
Only the mode changed.
test/quasiquote001/expected → test/quasiquote001/expected.outrenamed
The content is the same.
test/quasiquote001/run → test/quasiquote001/run.shrenamed
Only the mode changed.
test/quasiquote002/expected → test/quasiquote002/expected.outrenamed
The content is the same.
test/quasiquote002/run → test/quasiquote002/run.shrenamed
Only the mode changed.
test/quasiquote003/expected → test/quasiquote003/expected.outrenamed
The content is the same.
test/quasiquote003/run → test/quasiquote003/run.shrenamed
Only the mode changed.
test/quasiquote004/expected → test/quasiquote004/expected.outrenamed
The content is the same.
test/quasiquote004/run → test/quasiquote004/run.shrenamed
Only the mode changed.
test/quasiquote005/expected → test/quasiquote005/expected.outrenamed
The content is the same.
test/quasiquote005/run → test/quasiquote005/run.shrenamed
Only the mode changed.
test/quasiquote006/expected → test/quasiquote006/expected.outrenamed
The content is the same.
test/quasiquote006/run → test/quasiquote006/run.shrenamed
Only the mode changed.
test/records001/expected → test/records001/expected.outrenamed
The content is the same.
test/records001/run → test/records001/run.shrenamed
Only the mode changed.
test/records002/expected → test/records002/expected.outrenamed
The content is the same.
test/records002/run → test/records002/run.shrenamed
Only the mode changed.
test/records003/expected → test/records003/expected.outrenamed
The content is the same.
test/records003/run → test/records003/run.shrenamed
Only the mode changed.
test/records004/expected → test/records004/expected.outrenamed
The content is the same.
test/records004/run → test/records004/run.shrenamed
Only the mode changed.
test/records005/expected → test/records005/expected.outrenamed
The content is the same.
test/records005/run → test/records005/run.shrenamed
Only the mode changed.
test/reg001/expected → test/reg001/expected.outrenamed
The content is the same.
test/reg001/run → test/reg001/run.shrenamed
Only the mode changed.
test/reg002/expected → test/reg002/expected.outrenamed
The content is the same.
test/reg002/run → test/reg002/run.shrenamed
Only the mode changed.
test/reg004/expected → test/reg004/expected.outrenamed
The content is the same.
test/reg004/run → test/reg004/run.shrenamed
Only the mode changed.
test/reg005/expected → test/reg005/expected.outrenamed
The content is the same.
test/reg005/run → test/reg005/run.shrenamed
Only the mode changed.
test/reg007/expected → test/reg007/expected.outrenamed
The content is the same.
test/reg007/run → test/reg007/run.shrenamed
Only the mode changed.
test/reg013/expected → test/reg013/expected.outrenamed
The content is the same.
test/reg013/run → test/reg013/run.shrenamed
Only the mode changed.
test/reg016/expected → test/reg016/expected.outrenamed
The content is the same.
test/reg016/run → test/reg016/run.shrenamed
Only the mode changed.
test/reg017/expected → test/reg017/expected.outrenamed
The content is the same.
test/reg017/run → test/reg017/run.shrenamed
Only the mode changed.
test/reg020/expected → test/reg020/expected.outrenamed
The content is the same.
test/reg020/run → test/reg020/run.shrenamed
Only the mode changed.
test/reg024/expected → test/reg024/expected.outrenamed
The content is the same.
test/reg024/run → test/reg024/run.shrenamed
Only the mode changed.
test/reg025/expected → test/reg025/expected.outrenamed
The content is the same.
test/reg025/run → test/reg025/run.shrenamed
Only the mode changed.
test/reg027/expected → test/reg027/expected.outrenamed
The content is the same.
test/reg027/run → test/reg027/run.shrenamed
Only the mode changed.
test/reg029/expected → test/reg029/expected.outrenamed
The content is the same.
test/reg029/run → test/reg029/run.shrenamed
Only the mode changed.
test/reg031/expected → test/reg031/expected.outrenamed
The content is the same.
test/reg031/run → test/reg031/run.shrenamed
Only the mode changed.
test/reg032/expected → test/reg032/expected.outrenamed
The content is the same.
test/reg032/run → test/reg032/run.shrenamed
Only the mode changed.
test/reg039/expected → test/reg039/expected.outrenamed
The content is the same.
test/reg039/run → test/reg039/run.shrenamed
Only the mode changed.
test/reg040/expected → test/reg040/expected.outrenamed
The content is the same.
test/reg040/run → test/reg040/run.shrenamed
Only the mode changed.
test/reg041/expected → test/reg041/expected.outrenamed
The content is the same.
test/reg041/run → test/reg041/run.shrenamed
Only the mode changed.
test/reg042/expected → test/reg042/expected.outrenamed
The content is the same.
test/reg042/run → test/reg042/run.shrenamed
Only the mode changed.
test/reg045/expected → test/reg045/expected.outrenamed
The content is the same.
test/reg045/run → test/reg045/run.shrenamed
Only the mode changed.
test/reg048/expected → test/reg048/expected.outrenamed
The content is the same.
test/reg048/run → test/reg048/run.shrenamed
Only the mode changed.
test/reg051-disabled/expected → test/reg051-disabled/expected.outrenamed
The content is the same.
test/reg051-disabled/run → test/reg051-disabled/run.shrenamed
Only the mode changed.
test/reg052/expected → test/reg052/expected.outrenamed
The content is the same.
test/reg052/run → test/reg052/run.shrenamed
Only the mode changed.
test/reg067/expected → test/reg067/expected.outrenamed
The content is the same.
test/reg067/run → test/reg067/run.shrenamed
Only the mode changed.
test/reg075/expected → test/reg075/expected.outrenamed
The content is the same.
test/reg075/input → test/reg075/input.inrenamed
The content is the same.
test/reg075/rundeleted−3
@@ -1,3 +0,0 @@
1−#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --quiet --port none reg075.idr < input
3−rm -f *.ibc
test/reg075/run.shnew file+3
@@ -0,0 +1,3 @@
1+#!/usr/bin/env bash
2+${IDRIS:-idris} $@ --quiet --port none reg075.idr < input.in
3+rm -f *.ibc
test/reg076/expected → test/reg076/expected.outrenamed
The content is the same.
test/reg076/input → test/reg076/input.inrenamed
The content is the same.
test/reg076/run → test/reg076/run.shrenamed
Only the mode changed.
test/reg077/expected → test/reg077/expected.outrenamed
The content is the same.
test/reg077/run → test/reg077/run.shrenamed
Only the mode changed.
test/regression001/expected → test/regression001/expected.outrenamed
The content is the same.
test/regression001/run → test/regression001/run.shrenamed
Only the mode changed.
test/regression002/expected → test/regression002/expected.outrenamed
The content is the same.
test/regression002/run → test/regression002/run.shrenamed
Only the mode changed.
test/regression003/expected → test/regression003/expected.outrenamed
The content is the same.
test/regression003/run → test/regression003/run.shrenamed
Only the mode changed.
test/sourceLocation001/expected → test/sourceLocation001/expected.outrenamed
The content is the same.
test/sourceLocation001/run → test/sourceLocation001/run.shrenamed
Only the mode changed.
test/st001/expected → test/st001/expected.outrenamed
The content is the same.
test/st001/run → test/st001/run.shrenamed
Only the mode changed.
test/st002/expected → test/st002/expected.outrenamed
The content is the same.
test/st002/run → test/st002/run.shrenamed
Only the mode changed.
test/st003/expected → test/st003/expected.outrenamed
The content is the same.
test/st003/run → test/st003/run.shrenamed
Only the mode changed.
test/st004/expected → test/st004/expected.outrenamed
The content is the same.
test/st004/run → test/st004/run.shrenamed
Only the mode changed.
test/st005/expected → test/st005/expected.outrenamed
The content is the same.
test/st005/run → test/st005/run.shrenamed
Only the mode changed.
test/st006/expected → test/st006/expected.outrenamed
The content is the same.
test/st006/run → test/st006/run.shrenamed
Only the mode changed.
test/st007/expected → test/st007/expected.outrenamed
The content is the same.
test/st007/run → test/st007/run.shrenamed
Only the mode changed.
test/sugar001/expected → test/sugar001/expected.outrenamed
The content is the same.
test/sugar001/run → test/sugar001/run.shrenamed
Only the mode changed.
test/sugar002/expected → test/sugar002/expected.outrenamed
The content is the same.
test/sugar002/run → test/sugar002/run.shrenamed
Only the mode changed.
test/sugar003/expected → test/sugar003/expected.outrenamed
The content is the same.
test/sugar003/run → test/sugar003/run.shrenamed
Only the mode changed.
test/sugar004/expected → test/sugar004/expected.outrenamed
The content is the same.
test/sugar004/run → test/sugar004/run.shrenamed
Only the mode changed.
test/sugar005/expected → test/sugar005/expected.outrenamed
The content is the same.
test/sugar005/run → test/sugar005/run.shrenamed
Only the mode changed.
test/syntax001/expected → test/syntax001/expected.outrenamed
The content is the same.
test/syntax001/run → test/syntax001/run.shrenamed
Only the mode changed.
test/syntax002/expected → test/syntax002/expected.outrenamed
The content is the same.
test/syntax002/run → test/syntax002/run.shrenamed
Only the mode changed.
test/tactics001/expected → test/tactics001/expected.outrenamed
The content is the same.
test/tactics001/run → test/tactics001/run.shrenamed
Only the mode changed.
test/totality001/expected → test/totality001/expected.outrenamed
The content is the same.
test/totality001/run → test/totality001/run.shrenamed
Only the mode changed.
test/totality002/expected → test/totality002/expected.outrenamed
The content is the same.
test/totality002/run → test/totality002/run.shrenamed
Only the mode changed.
test/totality003/expected → test/totality003/expected.outrenamed
The content is the same.
test/totality003/run → test/totality003/run.shrenamed
Only the mode changed.
test/totality004/expected → test/totality004/expected.outrenamed
The content is the same.
test/totality004/run → test/totality004/run.shrenamed
Only the mode changed.
test/totality005/expected → test/totality005/expected.outrenamed
The content is the same.
test/totality005/run → test/totality005/run.shrenamed
Only the mode changed.
test/totality006/expected → test/totality006/expected.outrenamed
The content is the same.
test/totality006/run → test/totality006/run.shrenamed
Only the mode changed.
test/totality007/expected → test/totality007/expected.outrenamed
The content is the same.
test/totality007/run → test/totality007/run.shrenamed
Only the mode changed.
test/totality008/expected → test/totality008/expected.outrenamed
The content is the same.
test/totality008/run → test/totality008/run.shrenamed
Only the mode changed.
test/totality009/expected → test/totality009/expected.outrenamed
The content is the same.
test/totality009/run → test/totality009/run.shrenamed
Only the mode changed.
test/totality010/expected → test/totality010/expected.outrenamed
The content is the same.
test/totality010/run → test/totality010/run.shrenamed
Only the mode changed.
test/totality011/expected → test/totality011/expected.outrenamed
The content is the same.
test/totality011/run → test/totality011/run.shrenamed
Only the mode changed.
test/totality012/expected → test/totality012/expected.outrenamed
The content is the same.
test/totality012/run → test/totality012/run.shrenamed
Only the mode changed.
test/totality013/expected → test/totality013/expected.outrenamed
The content is the same.
test/totality013/run → test/totality013/run.shrenamed
Only the mode changed.
test/totality014/expected → test/totality014/expected.outrenamed
The content is the same.
test/totality014/run → test/totality014/run.shrenamed
Only the mode changed.
test/totality015/expected → test/totality015/expected.outrenamed
The content is the same.
test/totality015/run → test/totality015/run.shrenamed
Only the mode changed.
test/totality016/expected → test/totality016/expected.outrenamed
The content is the same.
test/totality016/run → test/totality016/run.shrenamed
Only the mode changed.
test/totality017/expected → test/totality017/expected.outrenamed
The content is the same.
test/totality017/run → test/totality017/run.shrenamed
Only the mode changed.
test/totality018/expected → test/totality018/expected.outrenamed
The content is the same.
test/totality018/run → test/totality018/run.shrenamed
Only the mode changed.
test/totality019/expected → test/totality019/expected.outrenamed
The content is the same.
test/totality019/run → test/totality019/run.shrenamed
Only the mode changed.
test/totality020/expected → test/totality020/expected.outrenamed
The content is the same.
test/totality020/run → test/totality020/run.shrenamed
Only the mode changed.
test/totality021/expected → test/totality021/expected.outrenamed
The content is the same.
test/totality021/run → test/totality021/run.shrenamed
Only the mode changed.
test/totality022/expected → test/totality022/expected.outrenamed
The content is the same.
test/totality022/run → test/totality022/run.shrenamed
Only the mode changed.
test/totality023/expected → test/totality023/expected.outrenamed
The content is the same.
test/totality023/run → test/totality023/run.shrenamed
Only the mode changed.
test/totality024/expected → test/totality024/expected.outrenamed
The content is the same.
test/totality024/run → test/totality024/run.shrenamed
Only the mode changed.
test/totality025/expected → test/totality025/expected.outrenamed
The content is the same.
test/totality025/run → test/totality025/run.shrenamed
Only the mode changed.
test/totality026/expected → test/totality026/expected.outrenamed
The content is the same.
test/totality026/run → test/totality026/run.shrenamed
Only the mode changed.
test/tutorial001/expected → test/tutorial001/expected.outrenamed
The content is the same.
test/tutorial001/run → test/tutorial001/run.shrenamed
Only the mode changed.
test/tutorial002/expected → test/tutorial002/expected.outrenamed
The content is the same.
test/tutorial002/run → test/tutorial002/run.shrenamed
Only the mode changed.
test/tutorial003/expected → test/tutorial003/expected.outrenamed
The content is the same.
test/tutorial003/run → test/tutorial003/run.shrenamed
Only the mode changed.
test/tutorial004/expected → test/tutorial004/expected.outrenamed
The content is the same.
test/tutorial004/run → test/tutorial004/run.shrenamed
Only the mode changed.
test/tutorial005/expected → test/tutorial005/expected.outrenamed
The content is the same.
test/tutorial005/run → test/tutorial005/run.shrenamed
Only the mode changed.
test/tutorial006/expected → test/tutorial006/expected.outrenamed
The content is the same.
test/tutorial006/run → test/tutorial006/run.shrenamed
Only the mode changed.
test/tutorial007/expected → test/tutorial007/expected.outrenamed
The content is the same.
test/tutorial007/run → test/tutorial007/run.shrenamed
Only the mode changed.
test/unique001/expected → test/unique001/expected.outrenamed
The content is the same.
test/unique001/run → test/unique001/run.shrenamed
Only the mode changed.
test/unique004/expected → test/unique004/expected.outrenamed
The content is the same.
test/unique004/run → test/unique004/run.shrenamed
Only the mode changed.
test/universes001/expected → test/universes001/expected.outrenamed
The content is the same.
test/universes001/run → test/universes001/run.shrenamed
Only the mode changed.
test/universes002/expected → test/universes002/expected.outrenamed
The content is the same.
test/universes002/run → test/universes002/run.shrenamed
Only the mode changed.
test/views001/expected → test/views001/expected.outrenamed
The content is the same.
test/views001/run → test/views001/run.shrenamed
Only the mode changed.
test/views002/expected → test/views002/expected.outrenamed
The content is the same.
test/views002/run → test/views002/run.shrenamed
Only the mode changed.
test/views003/expected → test/views003/expected.outrenamed
The content is the same.
test/views003/run → test/views003/run.shrenamed
Only the mode changed.