Re: [racket] Scribble document with accented characters

2014-06-22 Thread Matthew Flatt
I get that error with #lang scribble/base For instance, if I want a @(string-normalize-nfd "ä")? I expect htat I'd get the same error by writing "ä" in decomposed form in the source (i.e., a sequence of two Unicode code points), but my mail reader and input methods generate composed forms. In

Re: [racket] Typed racket and command line parameters

2014-06-22 Thread Matthias Felleisen
Conceptually you want to signal the error out of the 'parms' computation. So even if you introduce string->real as a variation on string->number, you probably want to catch the error it raises and re-cast it as 'params' message. On Jun 22, 2014, at 12:56 PM, Manfred Lotz wrote: > On Sun, 2

Re: [racket] Typed racket and command line parameters

2014-06-22 Thread Manfred Lotz
On Sun, 22 Jun 2014 11:58:59 -0400 Sam Tobin-Hochstadt wrote: > Fortunately, one of those casts can be eliminated with a bit of type > annotation on `NUM`. Full code here: > https://gist.github.com/samth/48bf2ccb2c510c75017e > > (define parms > (command-line >#:program "mypgm" >#:onc

Re: [racket] Typed racket and command line parameters

2014-06-22 Thread Manfred Lotz
On Sun, 22 Jun 2014 11:25:01 -0400 Matthias Felleisen wrote: > > I would use Real for the parameter type and then cast twice: > > (define parms > (command-line >#:program "mypgm" >#:once-each >[("-v" "--verbose") "Show verbose output" (opt-verbose-mode #t)] >[("-m" "--max-siz

Re: [racket] Typed racket and command line parameters

2014-06-22 Thread Sam Tobin-Hochstadt
Fortunately, one of those casts can be eliminated with a bit of type annotation on `NUM`. Full code here: https://gist.github.com/samth/48bf2ccb2c510c75017e (define parms (command-line #:program "mypgm" #:once-each [("-v" "--verbose") "Show verbose output" (opt-verbose-mode #t)] [(

Re: [racket] Scribble document with accented characters

2014-06-22 Thread J. Ian Johnson
Scribble has a huge but incomplete unicode to latex translation that I extended a lot for my own purposes, with the ability to handle a few compose characters like tilde and hat. (Oh, I see scribble does that now too) https://github.com/ianj/scribble-latex-utils/blob/master/unmap.rkt Big case ex

Re: [racket] Typed racket and command line parameters

2014-06-22 Thread Matthias Felleisen
I would use Real for the parameter type and then cast twice: (define parms (command-line #:program "mypgm" #:once-each [("-v" "--verbose") "Show verbose output" (opt-verbose-mode #t)] [("-m" "--max-size") NUM ("Max size." "NUM") (opt-max-size (cast (string->number (ca

Re: [racket] Scribble document with accented characters

2014-06-22 Thread Matthias Felleisen
Here is a tiny snippet from HtDP/2e (front matter) that uses accents: #lang scribble/manual @bold{Acknowledgments}: We thank Prof. Robert Ordóñez, Éric Tanter, and Roelof Wobben for comments on previous drafts of this second edition. If you load this in DrRacket and run scribble/pdf and

[racket] Scribble document with accented characters

2014-06-22 Thread Shriram Krishnamurthi
What's the proper way to use accented characters in a Scribble document? For instance, if I want a ä? Simply writing that character results in the error Package inputenc Error: Unicode char \u8: not set up for use with LaTeX. on OS X using the default latex (/usr/texbin/latex). Thanks, Shriram

Re: [racket] Type of syntax-local-phase level

2014-06-22 Thread Matthew Flatt
There aren't any label-phase expression or expansion positions, so a transformer will never get the label phase from `(syntax-local-phase)`. I don't think that a label-phase expansion position would even make sense, although I'm not completely certain. At Sun, 22 Jun 2014 12:22:31 +0200, Jens Axe

Re: [racket] Type of syntax-local-phase level

2014-06-22 Thread Jens Axel Søgaard
What does syntax-local-phase return for the label phase level? /Jens Axel 2014-06-22 8:58 GMT+02:00 Matthew Flatt : > I'm pretty sure that the docs are right in this case. > > At Sat, 21 Jun 2014 22:26:06 -0400, "Alexander D. Knauth" wrote: >> The docs say that (syntax-local-phase-level) returns

Re: [racket] Type of syntax-local-phase level

2014-06-22 Thread Matthew Flatt
I'm pretty sure that the docs are right in this case. At Sat, 21 Jun 2014 22:26:06 -0400, "Alexander D. Knauth" wrote: > The docs say that (syntax-local-phase-level) returns an exact-integer?, but > the > type is (-> (U Integer False)). > > Are the docs right, or is the type right? > > Wou