Re: [racket-users] scribble output redirection

[Hendrik Boom]

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 is, 
> > > with a different file extension.
> > > 
> > > I like to separate my source code from generated files.
> > > 
> > > (1) How can I tell scribble to place the generated html into a 
> > > different directory?  Is there a command line option for this?
> > 
> > scribble —html —dest DestDir foobar.scrbl 
> 
> Do you mean 
> 
> scribble --html --dest destDir foobar.scrbl
> ?

Well, it looks as if the message you send has the em-dashes, and my 
reply has doule hyphens.
Soewhat understandable, because two minus signs is the acepted way of 
typing em-dashes in English.
Presumably something in your messaging system takes that seriously.

> 
> My email reader shows me em-dashes instead of double minuses.  I wonder 
> if the message was sent wirh em-daashes or my reader just presents it 
> that way.
> 
-- 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] scribble output redirection

[Hendrik Boom]

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 source code from generated files.
> > 
> > (1) How can I tell scribble to place the generated html into a 
> > different directory?  Is there a command line option for this?
> 
> scribble —html —dest DestDir foobar.scrbl 

Do you mean 

scribble --html --dest destDir foobar.scrbl
?

My email reader shows me em-dashes instead of double minuses.  I wonder 
if the message was sent wirh em-daashes or my reader just presents it 
that way.

-- hendrik

> 
> > 
> > (2) Are the various css files and the like always the same?  If not, 
> > I'd have to specify their names to prevent conflicts between 
> > independent documents that happen to be in the sme directory.
> 
> 
> I don’t understand this question. 
> 
> 
> 
> > 
> > -- 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.
> 
> -- 
> 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] Re: Questions about quad

[Daniel Prager]

> 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 and see what I can find: it's great stuff.

Dan


On Thu, May 19, 2016 at 11:44 PM, Matthew Butterick  wrote:

> 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 light update to the docs):
>>
>>- How do I require modules? @(require ...) gives an error
>>- How do I include graphics (e.g. diagrams) generated from
>>2htdp/image or pict?
>>- How do I change the margins?
>>- How do I programatically generate a pdf (rather than pressing one
>>of the buttons)
>>- How do I set the number of columns?
>>
>>
> Thank you. But it's just a demo. So I'm afraid there are no answers to
> these questions.
>
> To be worthwhile, Quad needs a better PDF renderer (i.e., not just the
> routines in `racket/draw`). Malcolm Still has made a start on this [1] but
> he has returned to school. Someone else will have to pick it up from there.
>
> You can also use Pollen as a programmable interface to LaTeX. [2] Joel
> Dueck has used Pollen+LaTeX to generate a website and PDF paperback from
> the same source files, with images and a custom multi-column design. [3] He
> documented this process. [4] Further questions can go to the Pollen mailing
> list. [5]
>
>
> [1] https://github.com/malcolmstill/racket-pdf
>
> [2]
> http://docs.racket-lang.org/pollen/fourth-tutorial.html#%28part._.Adding_support_for_.La.Te.X_output%29
>
> [3] http://tilde.club/~joeld/secretary/posts/web-books.html
>
> [4] https://github.com/otherjoel/try-pollen
>
> [5] https://groups.google.com/forum/#!forum/pollenpub
>

-- 
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] Better stack traces for contract typos?

[Robby Findler]

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 choose
Language|Choose Language ... and then click on "The Racket Language"
and, if the button is visible, "Revert to Language Defaults" (if you
don't see the button, then you are all set without clicking it).

Robby

-- 
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] Formlets rendering

[Jay McCarthy]

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 "Author:")
 ,{input-string . => . author}))
   (values album-name author)))

(module+ test
  (formlet-display f))

produces:

((field ()
(label () "Title:")
(input ((name "input_0")
(type "text"
 (field ()
(label () "Author:")
(input ((name "input_1")
(type "text")

which I believe is what you want?

Jay

On Thu, May 19, 2016 at 1:41 PM, Лера Гранкина  wrote:
> 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)))
>
> I want to abstract away (div ((class "field")) ..) like so:
> (formlet
>  
>   (field (label "Title:") {input-string . => . album-name}))
>
> but formlet just renders  in a  tag.
>
> --
> 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.



-- 
Jay McCarthy
Associate Professor
PLT @ CS @ UMass Lowell
http://jeapostrophe.github.io

   "Wherefore, be not weary in well-doing,
  for ye are laying the foundation of a great work.
And out of small things proceedeth that which is great."
  - D 64:33

-- 
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] 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)))

I want to abstract away (div ((class "field")) ..) like so:
(formlet 
 
  (field (label "Title:") {input-string . => . album-name}))

but formlet just renders  in a  tag.

-- 
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] ANN: A Redex model of CIC

['William J. Bowman' via Racket Users]

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 study, improve, extend, or otherwise use it in anyway you see 
fit. If you find mistakes
in the model, please let me know so I can correct my understanding.

-- 
William J. Bowman
Northeastern University
College of Computer and Information Science

-- 
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.


signature.asc
Description: PGP signature

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

[Braids Constance]

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 in drracket somehow?  my web search was 
fruitless.

braids

-- 
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] Re: Questions about quad

[Matthew Butterick]

> 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 light update to the docs):
> How do I require modules? @(require ...) gives an error
> How do I include graphics (e.g. diagrams) generated from 2htdp/image or pict?
> How do I change the margins?
> How do I programatically generate a pdf (rather than pressing one of the 
> buttons)
> How do I set the number of columns?


Thank you. But it's just a demo. So I'm afraid there are no answers to these 
questions.

To be worthwhile, Quad needs a better PDF renderer (i.e., not just the routines 
in `racket/draw`). Malcolm Still has made a start on this [1] but he has 
returned to school. Someone else will have to pick it up from there. 

You can also use Pollen as a programmable interface to LaTeX. [2] Joel Dueck 
has used Pollen+LaTeX to generate a website and PDF paperback from the same 
source files, with images and a custom multi-column design. [3] He documented 
this process. [4] Further questions can go to the Pollen mailing list. [5]


[1] https://github.com/malcolmstill/racket-pdf

[2] 
http://docs.racket-lang.org/pollen/fourth-tutorial.html#%28part._.Adding_support_for_.La.Te.X_output%29

[3] http://tilde.club/~joeld/secretary/posts/web-books.html

[4] https://github.com/otherjoel/try-pollen

[5] https://groups.google.com/forum/#!forum/pollenpub

-- 
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] GUI: clipping of controls fails on Linux but not on Windows

[Dmitry Pavlov]

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 the d0d85b2 snapshots. (I downloaded a source distribution from both
the Utah and NWU sites to check.) Can you say more about which one you
downloaded and why the change seems to be missing?


Oh, it has turned out that I executed the wrong (old) installer instead 
of the snapshot's.
I got it working, thank you! I am sorry for wasting your time on 
checking the snapshot.


Best regards,

Dmitry

--
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] GUI: clipping of controls fails on Linux but not on Windows

[Matthew Flatt]

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
> Inferred package scope: installation
> Resolving "gui" via https://download.racket-lang.org/releases/6.5/catalog/
> Resolving "gui-lib" via 
> https://download.racket-lang.org/releases/6.5/catalog/
> Resolving "gui-doc" via 
> https://download.racket-lang.org/releases/6.5/catalog/
> No updates available

A release is configured with a release-specific catalog before the main
one:

 laptop% bin/raco pkg config catalogs
 https://download.racket-lang.org/releases/6.5/catalog/
 https://pkgs.racket-lang.org
 https://planet-compats.racket-lang.org

So, you could specify the catalog that always has the latest:

 laptop% bin/raco pkg update --catalog https://pkgs.racket-lang.org gui-lib

Unfortunately, it's not going to work in this case:

 Inferred package scope: installation
 Resolving "gui-lib" via https://pkgs.racket-lang.org
 Updating:
  gui-lib
 Downloading repository git://github.com/racket/gui/?path=gui-lib
 The following out-of-date packages are listed as dependencies of gui-lib:
base (have 6.5, need 6.5.0.2)
 Would you like to update these dependencies? [Y/n/a/c/?] n

The problem is that the latest "gui-lib" already uses base features
that are not in v6.5.

> 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 the d0d85b2 snapshots. (I downloaded a source distribution from both
the Utah and NWU sites to check.) Can you say more about which one you
downloaded and why the change seems to be missing?

-- 
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] GUI: clipping of controls fails on Linux but not on Windows

[Dmitry Pavlov]

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 smaller than its
content) but never show the corresponding scrollbar.
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
Inferred package scope: installation
Resolving "gui" via https://download.racket-lang.org/releases/6.5/catalog/
Resolving "gui-lib" via 
https://download.racket-lang.org/releases/6.5/catalog/
Resolving "gui-doc" via 
https://download.racket-lang.org/releases/6.5/catalog/

No updates available

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.


What would you recommend? Is there a catalog similar to Debian 
"unstable" repo that I can sync to?


Best regards,

Dmitry





At Wed, 18 May 2016 23:37:02 +0300, Dmitry Pavlov wrote:

Matthew,

  > One possible fix is to add the 'hscroll style to the horizontal panel.
  > That change moves the program into "defined behavior" territory, since
  > a scrolling panel allows its content to be wider than itself.

I just tried that and I see that it shows a scrollbar under the
panel that I would not like the user to see. Is there a way to hide it?


That is indeed in "undefined behavior" territory for the GUI library,
because `racket/gui` doesn't pin down what happens when widgets overlap
(including panels and buttons).

OK, but the panel with 'hscroll somehow handles the controls that go
outside of the panel's geometry, can I do the same manually?
Or the scrolling mechanism is hidden in a primitive?


Best regards,

Dmitry

--
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] Re: Questions about quad

[Daniel Prager]

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 programmatically if that's what it takes.

An illustrative example would be great!


Thanks

Dan

On Thu, May 19, 2016 at 4:48 PM, Daniel Prager 
wrote:

> 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? @(require ...) gives an error
>- How do I include graphics (e.g. diagrams) generated from 2htdp/image
>or pict?
>- How do I change the margins?
>- How do I programatically generate a pdf (rather than pressing one of
>the buttons)
>- How do I set the number of columns?
>
>
> Cheers
>
> Dan
>
>

-- 
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] Questions about quad

[Daniel Prager]

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? @(require ...) gives an error
   - How do I include graphics (e.g. diagrams) generated from 2htdp/image
   or pict?
   - How do I change the margins?
   - How do I programatically generate a pdf (rather than pressing one of
   the buttons)
   - How do I set the number of columns?


Cheers

Dan

-- 
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.