dwango / fialyzer

[WIP] Faster Implementation of Dialyzer
https://dwango.github.io/fialyzer/
Apache License 2.0
56 stars 8 forks source link

Cannot blackbox testing on Ubuntu #186

Closed yoshihiro503 closed 5 years ago

yoshihiro503 commented 5 years ago
--- test-cases/case_expr_error.expected    2019-01-29 03:34:39.553854983 +0900
+++ test-cases/case_expr_error.output    2019-02-05 00:01:13.075426456 +0900
@@ -1,12 +0,0 @@
-TODO:filename:-1: Type error: type mismatch;
-  found   : 'ok'
-  required: 1
-there is no solution that satisfies subtype constraints
-TODO:filename:-1: Type error: type mismatch;
-  found   : 1
-  required: 'ok'
-there is no solution that satisfies subtype constraints
-TODO:filename:-1: Type error: type mismatch;
-  found   : 'foo'
-  required: number()
-there is no solution that satisfies subtype constraints
done (passed successfully)