Re: [racket-users] scribble output redirection

On Thu, May 19, 2016 at 10:16:36PM -0400, Hendrik Boom wrote: > On Fri, Apr 22, 2016 at 08:40:04PM -0400, Matthias Felleisen wrote: > > > > > On Apr 22, 2016, at 8:36 PM, Hendrik Boom wrote: > > > > > > It seems scribble likes to put its output where the document source

Re: [racket-users] scribble output redirection

On Fri, Apr 22, 2016 at 08:40:04PM -0400, Matthias Felleisen wrote: > > > On Apr 22, 2016, at 8:36 PM, Hendrik Boom wrote: > > > > It seems scribble likes to put its output where the document source is, > > with a different file extension. > > > > I like to separate my

[racket-users] Re: Questions about quad

> Thank you. But it's just a demo. Well, it's certainly an impressive demo / proof-of-concept! Based on what you've said I'll delve a bit further. If I can alter the margins and integrate pages with images (say programatically rather using #quad), even that would be helpful. I'll have a tinker

Re: [racket-users] Better stack traces for contract typos?

On Thu, May 19, 2016 at 11:38 AM, Braids Constance wrote: > do i need to enable errortrace in drracket somehow? my web search was > fruitless. If you have not changed the defaults, it should be on automatically. If you have changed them in a way that disabled it, you can

Re: [racket-users] Formlets rendering

The formlet library does not mandate that you use any particular tags. It just generates an X-expr forest, so this example: #lang racket/base (require web-server/formlets) (define f (formlet (#%# (field (label "Title:") ,{input-string . => . album-name}) (field (label

[racket-users] Formlets rendering

Is there a way to embed my own rendering function in (formlet (#%# (div ((class "field")) (label "Title:") ,{input-string . => . album-name}) (div ((class "field")) (label "Author:") ,{input-string . => . author})) (values album-name author)))

[racket-users] ANN: A Redex model of CIC

To understand CIC, I have been working through the CIC spec. in the Coq reference manual and building a model in Redex. The model is now fairly complete, and I thought it may be of interest to these two lists, so I put the model on GitHub: https://github.com/wilbowma/cic-redex Please free to

Re: [racket-users] Better stack traces for contract typos?

On Wednesday, May 18, 2016 at 8:41:50 PM UTC-4, Robby Findler wrote: > I've pushed a fix for this. thanks so much! > ... It also makes the more > standard stacktraces better too, but may not help you much in this > case if you don't use errortrace (or DrRacket). do i need to enable errortrace

[racket-users] Re: Questions about quad

> On Thu, May 19, 2016 at 4:48 PM, Daniel Prager > wrote: > I'm having a play with your quad type-setting library, which looks very > promising as a way to generate typeset pdfs from Racket without invoking > LaTeX. > > Quick questions (which may also prompt a

Re: [racket-users] GUI: clipping of controls fails on Linux but not on Windows

Matthew, Second thought was to check the latest snapshot (d0d85b2, commit in racket/racket made ~3h later than yours in racket/gui). That did not work, too -- the commit of interest is not included into the snapshot. That should have worked, and it looks to me like the change is included in

Re: [racket-users] GUI: clipping of controls fails on Linux but not on Windows

At Thu, 19 May 2016 14:30:08 +0300, Dmitry Pavlov wrote: > Thank you so much. I am eager to try this new feature. I can not figure > a good way to set it up on my machine. > I have Racket 6.5 release. My first thought was "let me try this new > package system": > > $ sudo raco pkg update gui >

Re: [racket-users] GUI: clipping of controls fails on Linux but not on Windows

Matthew, On 05/19/2016 12:33 AM, Matthew Flatt wrote: There's not a good way to do this outside the primitives, because it's a matter of selecting the right GTK widgets. I've added 'hide-hscroll and 'hide-vscroll, which are like 'hscroll and 'vscroll (i.e., they allow the panel's size to be

[racket-users] Re: Questions about quad

I've found breaktester.rkt on github which demonstrates the columnar layout and calling from racket code rather than #lang quad, so I know that's one way to get columns and programmatic pdf generation. The original questions were in the context of using #lang quad, but I'd happily work more

[racket-users] Questions about quad

Hi Matthew I'm having a play with your quad type-setting library, which looks very promising as a way to generate typeset pdfs from Racket without invoking LaTeX. It looks really promising. Quick questions (which may also prompt a light update to the docs): - How do I require modules?