Merge pull request #2458 from melted/fix_tot007
Fix expected result of totality007 on windows
commit5a2f9fe0705ddaee900842f7e9c8ad8991616857
authorNiklas Larsson <metaniklas@gmail.com>
dateThu 23 Jul 2015, 00:25 (11 years ago)
parentad34ca55feb424
test/totality007/expected.msysnew file+5
@@ -0,0 +1,5 @@
1+Entering directory `.\src'
2+Totality.idr:4:1:
3+Totality.foo is not total as there are missing cases
4+Totality.idr:4:1:Could not build: Totality.foo is not total as there are missing cases
5+Leaving directory `.\src'