DrRacket and trs2-impl.scm

[elfi]

Hi,

I'm starting to read the book and would like to play with examples along - using DrRacket.
However,

#lang Racket   (or R5RS)
(load "/tmp/CodeFromTheReasonedSchemer2ndEd/trs2-impl.scm")

leads to an error:

/tmp/CodeFromTheReasonedSchemer2ndEd/trs2-impl.scm:20:0: #%top-interaction: unbound identifier;
 also, no #%app syntax transformer is bound in: #%top-interaction

How can I use trs2-impl.scm implementation in DrRacket?

Thank you!

[hayesall]

Here is a fix:

Modify trs2-impl.scm to declare a language and provide functions/macros:

; file trs2-impl.rkt

#lang racket

(provide run
	 run*
	 var?
         ==
         conj
         disj
         succeed
         fail
         fresh
         conde
         conda
         condu
	 )

In DrRacket, use require:

#lang racket

; This assumes `trs2-impl.scm` is in your home directory, modify as needed.
(require "trs2-impl.scm")

(run* q
      (disj
       (== q 5)
       (== q 6)))

[elfi]

Yes, this solves the problem. Thank you!