On Thu, Aug 9, 2018 at 3:42 PM, Zeta Convex <zeta.con...@gmail.com> wrote: > > > On Thursday, 9 August 2018 21:34:16 UTC+1, Shu-Hung You wrote: >> >> Change the first few lines of lang/reader.rkt to: >> >> #lang s-exp syntax/module-reader >> bf/language >> #:read my-read >> #:read-syntax my-read-syntax >> ;; ... >> > Ah yes, that did it! Thanks! > >> And just install the entire directory as a package using raco pkg >> install. > > > I just installed it into my collects directory rather than using raco. > > I typed my stuff in using his tutorial, rather than anything from planet. >
Just a little clarification: installing the 'bf' directory locally using the raco command does not involve interacting with the planet system. All it does is recording the path in the local database and compile every file in the directory. For example, I have a bunch of local packages and downloaded packages installed: $ raco pkg show Installation-wide: Package Checksum Source csv-reading 217c1ee293ee2... catalog...eading custom-load 4e70205c29ab0... catalog...m-load ... raco-find-collection 00f0d3dbad025... catalog...ection redex 3e069f3c6721e... clone...th=redex rsvg c326fe1567908... catalog...master scribble-abbrevs f207f11814f7e... catalog...bbrevs scribble-math 063604d4a2b38... catalog...th.git slideshow-repl 93246109d2dc4... catalog...master soft-contract link...-contract >> >> I'm still getting application error after that, but I'm not sure what >> went wrong. >> > > Actually, everything is now working fine for me. Thanks for your help. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.