ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

won't build with 0.99 #51

Open KimStebel opened 7 years ago

KimStebel commented 7 years ago

$ git clone git@github.com:ziman/lightyear.git Cloning into 'lightyear'... remote: Counting objects: 611, done. remote: Total 611 (delta 0), reused 0 (delta 0), pack-reused 611 Receiving objects: 100% (611/611), 108.43 KiB | 57.00 KiB/s, done. Resolving deltas: 100% (345/345), done. Checking connectivity... done. $ cd lightyear/ $ make clean idris --clean lightyear.ipkg rm -f tests/*.ibc $ make test idris --build lightyear.ipkg Type checking ./Lightyear/Core.idr Type checking ./Lightyear/Combinators.idr Type checking ./Lightyear/Errmsg.idr Type checking ./Lightyear.idr Type checking ./Lightyear/Char.idr Type checking ./Lightyear/Strings.idr Type checking ./Lightyear/StringFile.idr idris --install lightyear.ipkg Installing Lightyear.ibc to /home/k/.cabal/share/x86_64-linux-ghc-7.10.3/idris-0.99/libs/lightyear Installing Lightyear/Core.ibc to /home/k/.cabal/share/x86_64-linux-ghc-7.10.3/idris-0.99/libs/lightyear/Lightyear Installing Lightyear/Combinators.ibc to /home/k/.cabal/share/x86_64-linux-ghc-7.10.3/idris-0.99/libs/lightyear/Lightyear Installing Lightyear/Errmsg.ibc to /home/k/.cabal/share/x86_64-linux-ghc-7.10.3/idris-0.99/libs/lightyear/Lightyear Installing Lightyear/StringFile.ibc to /home/k/.cabal/share/x86_64-linux-ghc-7.10.3/idris-0.99/libs/lightyear/Lightyear Installing Lightyear/Strings.ibc to /home/k/.cabal/share/x86_64-linux-ghc-7.10.3/idris-0.99/libs/lightyear/Lightyear Installing Lightyear/Char.ibc to /home/k/.cabal/share/x86_64-linux-ghc-7.10.3/idris-0.99/libs/lightyear/Lightyear Installing 00lightyear-idx.ibc to /home/k/.cabal/share/x86_64-linux-ghc-7.10.3/idris-0.99/libs/lightyear (cd tests; bash runtests.sh) TIMOUTCMD set to timeout compiling lightyear tests... compiled OK, running lightyear tests... compiling the JSON test... compiled OK, running the JSON test... 9d8 < 16d14 < 31d28 <

something FAIL

Makefile:10: recipe for target 'test' failed make: *** [test] Error 1

jfdm commented 7 years ago

Hi @KimStebel it looks like the library works as intended, and that the test is failing due to whitespace differences in results.

In short: Feel free to use lightyear, its been stable for a while now, and the expected output just needs rejigging.

KimStebel commented 7 years ago

Thanks for having a look at it. It does seem to be working fine.