Re: [racket-users] function to recreate source string from syntax object?

2016-06-11 Thread Matthew Butterick
On Jun 11, 2016, at 8:39 PM, Alex Knauth wrote: > > The syntax->string function from syntax/to-string formats a syntax object > with its whitespace and indentation, but doesn't look at the paren-shapes: Ah yes, thank you — I was so close. I think probably it should handle newlines & paren sha

Re: [racket-users] Potential small bugs on SEwPR

2016-06-11 Thread Robby Findler
On Mon, Jun 6, 2016 at 8:15 AM, wrote: > Finally, I'd like to take the opportunity to ask a question: > > The book says that, by default, Redex typesets meta-functions in > small-caps. But, on my tests, running the latest version of Redex, I see > proportional sans-serif instead. > > Has this cha

Re: [racket-users] function to recreate source string from syntax object?

2016-06-11 Thread Alex Knauth
> On Jun 11, 2016, at 10:26 PM, Matthew Butterick wrote: > > This seems like something that has been done before, but I'm not sure where > to look for it: > > I need something like `syntax->datum` — call it `syntax->source` — that uses > the source locations and 'paren-shape property of the s

Re: [racket-users] Learning by doing Typed Racket

2016-06-11 Thread Daniel Prager
Next example. In Racket: > (sort '((a 45) (b 13) (c 12) (d 16) (e 9) (f 5)) < #:key second) '((f 5) (e 9) (c 12) (b 13) (d 16) (a 45)) In Typed Racket I couldn't get a version using #:key to type-check. Pulling second into a comparison function works: > (sort '((a 45) (b 13) (c 12) (d 16) (e

Re: [racket-users] function to recreate source string from syntax object?

2016-06-11 Thread Matthias Felleisen
> On Jun 11, 2016, at 10:26 PM, Matthew Butterick wrote: > > This seems like something that has been done before, but I'm not sure where > to look for it: > > I need something like `syntax->datum` — call it `syntax->source` — that uses > the source locations and 'paren-shape property of the s

[racket-users] function to recreate source string from syntax object?

2016-06-11 Thread Matthew Butterick
This seems like something that has been done before, but I'm not sure where to look for it: I need something like `syntax->datum` — call it `syntax->source` — that uses the source locations and 'paren-shape property of the syntax to reconstitute the source with its whitespace (I suppose comment

Re: [racket-users] Potential small bugs on SEwPR

2016-06-11 Thread Matthias Felleisen
> On Jun 6, 2016, at 9:15 AM, lfacc...@jhu.edu wrote: > > 1. On Section 14.4, The CK Machine, on page 243, there is a reference to > /part I(6.4)/, mentioning the specification for the CK Machine: "Comparing > the Redex specification with the specification in part I(6.4)". > > But I believ

Re: [racket-users] interactive window in slideshow

2016-06-11 Thread Nick
Yea, workaround that works for me is to fake a Tab key-event: (define/override (on-activate activated?) (super on-activate activated?) (send this on-subwindow-char this (new key-event% [key-code #\tab])) ) On Saturday, June 11, 2016 at 8:15:18 AM UTC-7, Nick wrote: > Just upda

Re: [racket-users] interactive window in slideshow

2016-06-11 Thread Nick
Just updated to 6.5 on Ubuntu, but I can't get a control to focus. My issue is similar to http://lists.racket-lang.org/users/archive/2011-May/045317.html, I have a dialog with a choice% in it, and no matter when or how I (send choice focus), the choice will never focus without me having to type

Re: [racket-users] Learning by doing Typed Racket

2016-06-11 Thread Ben Greenman
Ah, okay. Well maybe try the Haskell or OCaml versions of the 99 problems? https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems https://ocaml.org/learn/tutorials/99problems.html On Sat, Jun 11, 2016 at 3:28 AM, Daniel Prager wrote: > Hi Ben > > I wrote: > >> Do you have an alternative r

Re: [racket-users] Learning by doing Typed Racket

2016-06-11 Thread Daniel Prager
Hi Ben I wrote: > Do you have an alternative recommendation in mind? At that point I was asking whether Sam (or others) recommended another set of problems more conducive to learning Typed Racket than the 99 Lisp Problems which Sam said were a tricky place to start. I can see that staying clea

Re: [racket-users] Learning by doing Typed Racket

2016-06-11 Thread Ben Greenman
On Sat, Jun 11, 2016 at 12:46 AM, Daniel Prager wrote: > Do you have an alternative recommendation in mind? I guess you already solved this one, but for later it might help to avoid macros. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To