[racket-users] [relation-rules] found the same binder

[Beatriz Moreira]

Hello,
I have a bunch of relation rules, but in one of them i need to check if f_0 
is the same as i have in one of the environments, but the error  
*reduction-relation: 
found the same binder, f_0, at different depths, 0 and 1 ... F_01 ... (T 
f_0 ((T_00 x_00) ...) (return e)) F_02 ...)) (contract C_2 ((T_2 x_21) ... 
K_2 F_2... *appears and i would like to know if there's an alternative.

The part of the code where the error is is below and the link for the 
repository is this : 
https://bitbucket.org/beatrizmoreira/msc/src/master/fwsollast.rkt

Thank you!


(--> [(in-hole E (c -> f -> value (n) ((s : (c_0 -> f_0)) ...))) env-ß 
env-σ ((contract C_1 {(T_1 x_11) ... K_1 F_1 ...}) ... (contract C {(T_0 
x_01) ... K F_01 ... (T f_0 ((T_00 x_00) ... ) {return e}) F_02 ...}) 
(contract C_2 {(T_2 x_21) ... K_2 F_2 ...}) ...)]
[(in-hole E (return (call env-ß CT c 
  (top-σ env-σ) f n ((s : (c_0 -> f_0)) 
... (decl (uptbal (uptbal env-ß (ref env-ß c) n) (top-σ env-σ) ,(- 
(term 0)(term n))) ((s -> (c_0 -> f_0)) ...)) (call-σ env-σ (ref env-ß c)) 
((contract C_1 {(T_1 x_11) ... K_1 F_1 ...}) ... (contract C {(T_0 x_01) 
... K F_01 ... (T f_0 ((T_00 x_00) ... ) {return e}) F_02 ...}) (contract 
C_2 {(T_2 x_21) ... K_2 F_2 ...}) ...)]
(side-condition)
"CALL2")

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/6ab63e3a-72f8-4ae9-a43a-64dcb07a9320n%40googlegroups.com.

Re: [racket-users] New lightweight termios package: rktermios

[Jay McCarthy]

Hi Dom,

I think it would pretty easy to patch ansi. I already made this version:

https://github.com/jeapostrophe/racket-ansi/commit/10a46081499f93c65f4849402e862a683af7871a

which abstracts away the old extension. I think it would be really trivial
to use yours. Thanks!

Jay

--
Jay McCarthy
Associate Professor @ CS @ UMass Lowell
http://jeapostrophe.github.io
Vincit qui se vincit.


On Mon, Sep 21, 2020 at 6:21 PM Dominik Pantůček <
dominik.pantu...@trustica.cz> wrote:

> Hello Racketeers,
>
> as I learned that it is not possible to use the ansi package under CS,
> because the C extensions do not work under CS, I decided to put together
> a minimalistic termios wrapper using only Racket code.
>
> It provides the bare minimum to set the terminal to "raw" mode and
> should work under any POSIX system (tested on Linux and NetBSD). Usage
> is VERY simple[1].
>
> The ansi package can be patched immediately to use it and therefore work
> under CS and charterm can be probably be patched as well - meaning it
> will no longer rely on `stty' for this functionality.
>
> The termios package uses similar approach but tries to implement all
> termios capabilities which means it has to compile at least the
> constants from termios headers. The same applies for serial package. It
> might be possible to generate a .rkt file with those constants from the
> header files during package build - but I didn't investigate that yet.
>
> Any feedback is, of course, welcome. And all the ideas mentioned are
> only suggestions.
>
>
> Cheers,
> Dominik
>
> [1] https://docs.racket-lang.org/rktermios/index.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 racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/756b73f6-919e-fef2-b81c-7ad19fa1378c%40trustica.cz
> .
>

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAJYbDanYwLcLF_MuwMNufSFQTR%3DaXR4MqY4whK5-TEXK3gwBzQ%40mail.gmail.com.