Nope, only one. And I checked to make sure I was in the right directory. On Wednesday, December 23, 2015, Robby Findler <[email protected]> wrote:
> Is it possible you have two util.rkt files and you are in the wrong > directory? > > Robby > > On Wednesday, December 23, 2015, David Storrs <[email protected] > <javascript:_e(%7B%7D,'cvml','[email protected]');>> wrote: > >> Hi folks, >> >> I have a file, "util.rkt", the complete text of which is: >> >> ====== QUOTE >> #lang racket >> >> (require racket/pretty) >> >> (define (print-prettier s) >> (parameterize ([pretty-print-columns 1]) >> (pretty-print s))) >> >> (define (hash-key-is? h k v) >> (and (hash-has-key? h k) >> (equal? (hash-ref h k) v))) >> >> (provide (all-defined-out)) >> ======== /QUOTE >> >> (Without the ===QUOTE stuff, obviously) >> >> From the same directory, I do this: >> >> [dstorrs@localhost:~/scheme:<>]$ racket >> racket >> Welcome to Racket v6.3. >> -> (require "./util.rkt") >> (require "./util.rkt") >> -> hash-key-is? >> hash-key-is? >> ; hash-key-is?: undefined; >> ; cannot reference undefined identifier >> ; [,bt for context] >> -> (require "util.rkt") >> (require "util.rkt") >> -> hash-key-is? >> hash-key-is? >> ; hash-key-is?: undefined; >> ; cannot reference undefined identifier >> ; [,bt for context] >> >> >> I've also tried changing the provide like to: (provide print-prettier >> hash-key-is?) but that changed nothing. >> >> I've got another module which ends with a (provide (all-defined-out)) and >> that one makes its functions available just fine. >> >> What's going on? >> >> >> >> >> >> -- >> 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 [email protected]. >> 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
