Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

won't build with 0.99 #51

Open
KimStebel opened this issue Dec 6, 2016 · 2 comments
Open

won't build with 0.99 #51

KimStebel opened this issue Dec 6, 2016 · 2 comments

Comments

@KimStebel
Copy link

$ 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
Copy link
Contributor

jfdm commented Dec 7, 2016

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
Copy link
Author

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants