Brilliant. Thanks, Matthew. On Fri, Jan 5, 2018 at 4:14 PM, Matthew Flatt <mfl...@cs.utah.edu> wrote: > In DrRacket's "Package Manager" (under "File"), there's a "Copy from > Version" tab. > > At the command line, it's `raco pkg migrate`. > > At Fri, 5 Jan 2018 15:51:33 -0500, David Storrs wrote: >> Ah, yes. That would be the problem -- I'm still on 6.6. Okay, time to >> upgrade! >> >> My belief is that when I upgrade (on OSX) I will need to reinstall all >> modules I've 'raco pkg install'd. Is there an easy way to >> automatically port them all over? >> >> On Fri, Jan 5, 2018 at 3:24 PM, Daniel Feltey >> <daniel.fel...@eecs.northwestern.edu> wrote: >> > Are you using a recent version of Racket? I see the same error in Racket >> > 6.8, but not in more recent releases. >> > >> > Dan >> > >> > On Fri, Jan 5, 2018 at 2:15 PM, David Storrs <david.sto...@gmail.com> >> > wrote: >> >> >> >> >> >> >> https://docs.racket-lang.org/reference/data-structure-contracts.html#%28def._%2 >> 8%28lib._racket%2Fcontract%2Fprivate%2Fmisc..rkt%29._flat-contract-with-explana >> tion%29%29 >> >> >> >> says: >> >> >> >> (flat-contract-with-explanation get-explanation [#:name name]) → >> >> flat-contract? >> >> get-explanation : (-> any/c (or/c boolean? (-> blame? any))) >> >> name : any/c = (object-name get-explanation) >> >> >> >> When I try to create a contract that means "a list of length >= 2", I >> >> get the following: >> >> >> >> (flat-contract-with-explanation >> >> (lambda (l) >> >> (cond [(and (list? l) (>= (length l) 2))] >> >> [else >> >> (lambda (blame) >> >> (raise-blame-error blame l '(expected: "list with length >= >> >> 2"\ngiven: "~e" )))])) >> >> #:name 'foo) >> >> ; application: procedure does not accept keyword arguments >> >> ; procedure: flat-contract-with-explanation >> >> >> >> What am I not understanding? >> >> >> >> >> >> PS: I know I could do (-> (and/c list? (lambda (l) (>= (length l) >> >> 2)))) any) but I wanted to get something that wouldn't return ??? in >> >> the error message >> >> >> >> -- >> >> 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.
-- 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.
