[racket-users] Re: OK to post Redex and HtDP questions here?
I don't post here a whole lot, but From the description of this mailing list: This is the right place for discussion of nearly all Racket issues. So I'd say yeah. -- 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.
Re: [racket-users] iso-recursive types not allowed in TR?
On Jun 13, 2015, at 12:18 AM, 'John Clements' via users-redirect us...@plt-scheme.org wrote: Okay, I shouldn’t change topics, but while I’ve got you (guys): it looks like (module+ test …) now works in TR, but not when there are imported bindings… suppose I have foo.rkt: I’ve run into similar problems with module+ before as you did below, but I found that something like this has worked so far: (module* test racket/base (require (submod “..”) rackunit) … tests here … ) But anyway, I think I remember asking on the list and it being some problem with, and it might have been a problem with it being confused about whether the tests were typed or untyped? http://lists.racket-lang.org/users/archive/2014-July/063668.html http://lists.racket-lang.org/users/archive/2014-July/063669.html http://lists.racket-lang.org/users/archive/2014-July/063670.html But some time after that I found that (module* test racket/base …) worked. #lang typed/racket (provide [struct-out Z]) (define-struct Z ([a : Number])) … and then try to import it in a test+: #lang typed/racket (require foo.rkt) (Z 3) (module+ test (Z 3)) this leads to this error message: Type Checker: missing type for identifier; consider using `require/typed' to import it identifier: make-Z from module: (submod foo.rkt #%contract-defs-reference .. #%contract-defs) in: make-Z I tried various require/typed combinations, but only managed to get an error on `make-Z1`, which doesn’t sound like forward progress. -- 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.
Re: [racket-users] iso-recursive types not allowed in TR?
On Fri, Jun 12, 2015 at 06:06:05PM -0700, 'John Clements' via users-redirect wrote: On Jun 12, 2015, at 5:52 PM, Alexander D. Knauth alexan...@knauth.org wrote: On Jun 12, 2015, at 8:30 PM, 'John Clements' via users-redirect us...@plt-scheme.org wrote: Here’s the type I want to write: (define-type (HuffJsexpr T) (U T (HashTable Symbol HuffJsexpr))) Do you mean this? (define-type (HuffJsexpr T) (U T (HashTable Symbol (HuffJsexpr T D’oh! Can’t believe I missed that. Actually, I also can’t believe that TR allowed me to use a type constructor without an argument like that. Maybe the type definitions need to be type-checked, too? -- hendrik -- 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.
Re: [racket-users] OK to post Redex and HtDP questions here?
Yes. On Jun 13, 2015, at 9:04 AM, Harold Carr wrote: Is it OK to post Redex and HtDP questions here? -- 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.
[racket-users] OK to post Redex and HtDP questions here?
Is it OK to post Redex and HtDP questions here? -- 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.
[racket-users] allignment in defform
defform of scribble/manual very well alligns the elements of #:grammar. Every = and | is well alligned. However, it does not align the collons of #:contract. Not a problem, of course. Just a matter of elegance, I think. Best wishes, Jos Koot BTW The more I use scribble, the more I like it. -- 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.
