kmels/dart-haskell

Fix tabbing of --watch-test

Closed this issue · 0 comments

This is bad:

dart-haskell -f examples/testing/RecurrentSMT.hs --watch-test --debug
* 1.Reading module examples/testing/RecurrentSMT.hs ..
Compiling examples/testing/RecurrentSMT.hs
* 2.Loading includes 
* 3.Evaluating module main:DARTziExamplesziTestingziRecurrentSMT
* 4.Evaluating main:DART.Examples.Testing.RecurrentSMT.arithmeticBranches
**************************************************
Module definitions evaluation: 
**************************************************
main:DART.Examples.Testing.RecurrentSMT.arithmeticBranches => \xaeH -> exp
* 5.Testing module main:DARTziExamplesziTestingziRecurrentSMT
* 6.Testing definition main:DART.Examples.Testing.RecurrentSMT.arithmeticBranches
    Detected function with type signature: Int) -> Int) -> Int)
    Did 2 random values
Feeding function with random argument: 16
Feeding function with random argument: 9
 Applying args: ["16","9"]
 Got result: 9
            Did 2 random values
Feeding function with random argument: 11
Feeding function with random argument: 89
 Applying args: ["11","89"]
 Got result: 22
                Did 2 random values
Feeding function with random argument: 94
Feeding function with random argument: 57
 Applying args: ["94","57"]
 Got result: 57
                        Did 2 random values
Feeding function with random argument: 46
Feeding function with random argument: 74
 Applying args: ["46","74"]
 Got result: 92
                            Did 2 random values
Feeding function with random argument: 30
Feeding function with random argument: 63
 Applying args: ["30","63"]
 Got result: 60
**************************************************
Module test results 
**************************************************
main:DART.Examples.Testing.RecurrentSMT.arithmeticBranches passed 5 tests