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

Does this work with guile? #4

Closed
UnkindPartition opened this issue Aug 31, 2015 · 2 comments
Closed

Does this work with guile? #4

UnkindPartition opened this issue Aug 31, 2015 · 2 comments

Comments

@UnkindPartition
Copy link

With guile, I get

% guile
GNU Guile 2.0.11
Copyright (C) 1995-2014 Free Software Foundation, Inc.

Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'.
This program is free software, and you are welcome to redistribute it
under certain conditions; type `,show c' for details.

Enter `,help' for help.
scheme@(guile-user)> (load "j-bob-lang.scm")
scheme@(guile-user)> (load "j-bob.scm")
scheme@(guile-user)> (load "little-prover.scm")
scheme@(guile-user)> (chapter1.example1)
$1 = (car (cons (quote ham) (quote (eggs))))

I thought the result was supposed to be 'ham.

@carl-eastlund
Copy link
Contributor

The first thing I've found, looking up Guile / R5RS compatibility, is that Guile is case-sensitive, while R5RS is case-insensitive. I suspect that somewhere in our code we have alternated between uppercase and lowercase letters for paths (Q, A, and E). I'll try to fix up the code to be consistent about case, and I'll see if that helps.

Thanks for the report!

@carl-eastlund
Copy link
Contributor

I've just pushed a fix for this. The problem was the definition of natp, which referred to < instead of s.< from above.

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