You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
% 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.
The text was updated successfully, but these errors were encountered:
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.
With guile, I get
I thought the result was supposed to be
'ham
.The text was updated successfully, but these errors were encountered: