diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 07:30:17 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 07:30:17 +0200 |
commit | 991725b2c054359388feab08373ebfd0683b5e46 (patch) | |
tree | 5672a9d7931e5d420b75c0449033af1c847733d1 /test/runTests.hs | |
parent | 1fd867e5beea5b4197f300e2e964c0f6b0035830 (diff) |
refactoring
Diffstat (limited to 'test/runTests.hs')
-rw-r--r-- | test/runTests.hs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/test/runTests.hs b/test/runTests.hs index 77ed43ea..2375befd 100644 --- a/test/runTests.hs +++ b/test/runTests.hs | |||
@@ -203,9 +203,12 @@ doTest Config{..} (i, fn) = do | |||
203 | Right (fname, x@Left{}) -> return $ Right (fname, x) | 203 | Right (fname, x@Left{}) -> return $ Right (fname, x) |
204 | Right (fname, x@Right{}) -> Right (fname, x) <$ removeFromCache fname | 204 | Right (fname, x@Right{}) -> Right (fname, x) <$ removeFromCache fname |
205 | 205 | ||
206 | f (i, e) | not $ isReject fn = case e of | 206 | f ((i, desug), e) | not $ isReject fn = case e of |
207 | Left (show -> e) -> Left (unlines $ tab "!Failed" e: listTraceInfos i, Failed) | 207 | Left (show -> e) -> Left (unlines $ tab "!Failed" e: listTraceInfos i, Failed) |
208 | Right (fname, Left (show -> e)) -> Right ("typechecked module" , unlines $ e: listAllInfos i) | 208 | Right (fname, Left (show -> e)) |
209 | -> Right ("typechecked module" | ||
210 | , unlines $ -- "------------ desugared source code": map ppShow desug ++ | ||
211 | e: listAllInfos i) | ||
209 | Right (fname, Right (e, te)) | 212 | Right (fname, Right (e, te)) |
210 | | te == outputType -> Right ("compiled pipeline", prettyShowUnlines $ compilePipeline OpenGL33 (e, te)) | 213 | | te == outputType -> Right ("compiled pipeline", prettyShowUnlines $ compilePipeline OpenGL33 (e, te)) |
211 | | e == trueExp -> Right ("reducted main", ppShow $ unfixlabel e) | 214 | | e == trueExp -> Right ("reducted main", ppShow $ unfixlabel e) |