[racket-users] docs for all packages at docs.racket-lang.org

2016-02-09 Thread Matthew Flatt
The documentation at http://docs.racket-lang.org/ now includes documentation for all packages that are registered at pkgs.racket-lang.org, instead of just the documentation for the main distribution. Package documentation is built and updated daily. This change means that you can search at

Re: [racket-users] Package documentation category with info.rkt

2016-02-09 Thread Benjamin Greenman
Yep, use a string instead of a symbol: (define scribblings '(("yaml/yaml.scrbl" () ("Parsing Libraries" The only valid symbols are the category names listed here [1]. [1] http://docs.racket-lang.org/raco/setup-info.html?q=info On Tue, Feb 9, 2016 at 2:39 AM, Erik Silkensen

Re: [racket-users] Slack IRC bridge malfunctioning

2016-02-09 Thread Norman Gray
Matthew (and Neil), hello. (and being conscious of Neil's implied suggestion that this may be drifting off-topic for the list) On 9 Feb 2016, at 1:26, Matthew Butterick wrote: Neil's critique ought not be lightly dismissed. Oh, I certainly didn't intend to _dismiss_ Neil's critique (and

Re: [racket-users] Package documentation category with info.rkt

2016-02-09 Thread Erik Silkensen
Thanks, Ben. I think I’m still missing something, still get the same result. In case it helps, here’s my complete info.rkt: #lang info (define collection 'multi) (define deps '("base" "srfi-lite-lib" "typed-racket-lib")) (define build-deps '("rackunit-lib" "scribble-lib" "racket-doc"

Re: [racket-users] Package documentation category with info.rkt

2016-02-09 Thread Erik Silkensen
Sorry, last email --- Guess I did have a multi collection setup, after all, and forgot there was a second info.rkt inside that yaml subdirectory. So the only change I needed was to add the parsing-library category to scribblings in the yaml/yaml/info.rkt. > On Feb 9, 2016, at 3:47 AM, Erik

Re: [racket-users] Package documentation category with info.rkt

2016-02-09 Thread Benjamin Greenman
Hm. I'm not sure what's going on. If I make a package with your info file, I get no links in the docs. But changing the collection to "yaml" generates documentation under the "Parsing Libraries" category. Can you use "yaml" instead of 'multi ? On Tue, Feb 9, 2016 at 3:33 AM, Erik Silkensen

Re: [racket-users] Package documentation category with info.rkt

2016-02-09 Thread Erik Silkensen
Cool, I think that does it. I think I had a bad directory structure. It was yaml/info.rkt yaml/yaml/main.rkt yaml/yaml/yaml.scrbl etc. If move everything in that yaml subdirectory up, then using #lang info (define collection "yaml") (define deps '("base" "srfi-lite-lib" "typed-racket-lib"))

Re: [racket-users] backwards incompatible change to redex: does it break your models?

2016-02-09 Thread Robby Findler
I somehow failed to get back to this before the release, and so the currently available version of Redex will produce syntax errors for such models. Lets hope it isn't too painful for people and if it is, we can maybe try to unfix it. Robby On Tue, Dec 22, 2015 at 3:30 PM, William J. Bowman

Re: [racket-users] Using scribble to print BSL output

2016-02-09 Thread Matthew Flatt
I think the main issue is that `htdp/bsl/runtime` changed the way it configures the printer. Instead of setting `current-print`, it sets `global-port-print-handler`. Meanwhile, `interaction` prints within the sandbox only if `current-print` is changed from its default value, which is

Re: [racket-users] [Redex] test-->>E and trace

2016-02-09 Thread Robby Findler
I'm sorry it took me so long to get back to this. I'm not sure there is a good thing to be added to Redex for this problem. Overall, it seems like a graph search problem and there are multiple different strategies depending on properties of the graph that you're searching. It's not too hard to

[racket-users] Racket PPA updated for 6.4

2016-02-09 Thread Asumu Takikawa
Hi all, The Racket PPA for Ubuntu has been updated to v6.4: https://launchpad.net/~plt/+archive/ubuntu/racket I've tested it on Wily. Let me know if you find any problems. Cheers, Asumu -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To

[racket-users] Re: Slack IRC bridge malfunctioning

2016-02-09 Thread Jack Firth
I'd like to note that the bridge has been restored, and the wormhole is functioning properly now. -- 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] using TR in PL class?

2016-02-09 Thread 'John Clements' via Racket Users
I’m running a fairly vanilla pre-pyret PLAI class, using the plai-typed language. Has anyone looked into doing this using Typed Racket? I feel like my interactions with TR have gotten sufficiently smooth that I might try using it for my PL class. Potential problems: - mismatch with PLAI

Re: [racket-users] Racket PPA updated for 6.4

2016-02-09 Thread David Christiansen
Asumu, Thanks so much for maintaining this! /David 2016-02-09 20:26 GMT-05:00 Asumu Takikawa : > Hi all, > > The Racket PPA for Ubuntu has been updated to v6.4: > > https://launchpad.net/~plt/+archive/ubuntu/racket > > I've tested it on Wily. Let me know if you find any