If you're on a Unix, like GNU/Linux or a BSD, you could use the
`charterm` package:
#lang racket/base
(require charterm)
(with-charterm
(let-values (((w h) (charterm-screen-size)))
(charterm-clear-screen)
(charterm-display "Width: " w " Height: " h " ")
(charterm-cursor 1 2)))
Well, another possibility is : instead of call main.rkt, call start.sh
where start.sh can get the number of lines just using LINES environment
variable and use that as argument.
Something like :
#!/bin/sh
#start.sh
racket main.rkt $LINES
#end of start.sh
What do you think? Is ugly? There's
Well, I know that the game will run only on Gnu/Linux systems. A
alternative that I see is using ffi to provide 1 function that returns this
number but if exists some racket-only solution I think is better, right?
Em qui, 3 de jan de 2019 às 03:53, Joao Pedro Abreu De Souza <
jp_ab...@id.uff.br>
Thanks Ben.
The problem is that this functions can give me the number of line that live
my next read, but cannot tell me "Well, this port is a terminal and have 80
lines of height".
With the height information I can control the display but without that, and
using just port-count-lines! and
Maybe use `port-count-lines!` and `port-next-location` ?
http://docs.racket-lang.org/reference/linecol.html
--
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
Hi everyone. I am coding a console-based game in racket to teach shell to
freshman on university. In some point, I need to print a message that can
have a lot of lines. I want to do a less(the command in the shell)-like
output, so the output will freeaze on the end of line, if the user type 'q'
Did you try using `current-traced-metafunctions` ? It is poorly named,
I know. And, even worse, I see that the docs don't actually say that
it traces judgment forms too.
Robby
On Wed, Jan 2, 2019 at 9:18 PM Joey Eremondi wrote:
>
> I'm wondering, is there a way to show some sort of trace for a
I'm wondering, is there a way to show some sort of trace for a call to
judgment-holds that returns '() or #f?
I'm in a situation where a judgment that I expect to hold does not, and
it's tricky to find out by hand where it is failing. The #mode requirement
for the judgments suggests an obvious
(CC-ing Paulo Matos.)
I expect RISC-V to be a top architecture platform for systems
researchers doing open science, including some language/compilers
researchers. And for CS students in systems classes.
RISC-V is also looking to be important for a more open hardware platform
for some
Thanks for the response!
That's not quite what I want. That will quote lambdas and applications into
my redex models, but I also want it to reduce them by my reduction relation.
The link I posted discussed how to do that, but only when you write
programs in the syntax of the model.
Sorry for
Hi all,
I'm just wondering if anyone here has experience running Racket on
Debian on RISC-V, either positive or negative. There is a Debian
package, at least, but language implementations are often one of the
more challenging things to make reliable on a new architecture.
In case it matters, the
You need to stop using `web-server/insta` so you can customize more.
Then, you need to intercept ALL requests with your servlet. Then, your
servlet just needs to call (next-dispatcher) and the static file
handler will kick in, because it comes after servlets.
Jay
On Wed, Jan 2, 2019 at 7:08 PM
Hi,
I'm fooling around with #lang web-server/insta, and I can serve .html files
by setting (static-files-path page-root), but I'd like to trigger my
servlet if there is a '?action=edit' parameter set.
e.g
https://localhost/start.html just serves the file (I can do this!)
Thanks Luis!
On Wednesday, January 2, 2019 at 1:01:04 PM UTC+5:30, Luis Sanjuán wrote:
>
> You've probably launched racket, the command line interface, instead of
> DrRacket. Search for the latter on your OS.
--
You received this message because you are subscribed to the Google Groups
"Racket
14 matches
Mail list logo