CodeSpelunker has quit [Ping timeout: 252 seconds]
Tuplanolla has quit [Ping timeout: 248 seconds]
CodeSpelunker has joined #racket
shawnw has quit [Ping timeout: 252 seconds]
CodeSpelunker has quit [Quit: CodeSpelunker]
skapata has quit [Quit: Bonan tageron kaj ĝis la.]
notzmv has quit [Ping timeout: 264 seconds]
rekahsoft has quit [Ping timeout: 252 seconds]
ufi has joined #racket
ufi has quit [Quit: Leaving]
notzmv has joined #racket
szkl has quit [Quit: Connection closed for inactivity]
Origin has quit [Ping timeout: 260 seconds]
Origin has joined #racket
lockywolf has quit [Read error: Connection reset by peer]
notzmv has quit [Remote host closed the connection]
szkl has joined #racket
<Putonlalla>
I managed to implement the thing with `make-contract`, samth. The situation comes up when you have callbacks that take callbacks. I should write an issue about it later.
<Putonlalla>
I encountered another strange thing along the way. It seems to go against the standard that `(case 'symbol ((symbol) 'yes) (else 'no))` produces `'yes`, while `(case 'symbol ((symbol (list)) 'yes) (else 'no))` produces `'no`. Surely `(eqv? 'symbol 'symbol)` is still true even if `(eqv? 'symbol '(list))` is not.
<Putonlalla>
It depends on the language, it seems. Racket mode says `'yes`, R5RS mode says `'no`, R6RS mode says `#%top-interaction` is unbound and R7RS says `case` is undefined.
skapata has joined #racket
lucasta has joined #racket
shawnw has joined #racket
shawnw has quit [Ping timeout: 252 seconds]
<samth>
Putonlalla: the first one produces yes for me in all of `#lang racket`, `#lang r5rs`, `#lang r6rs`, and `#lang r7rs` (with appropriate imports)
<samth>
the second one produce yes in racket and r7rs, and no in r5 and r6 (which use the same implementation of `case`). Probably a bug in that implementation.