Fix tabbing of --watch-test
Closed this issue · 0 comments
kmels commented
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