Re: [racket-users] limitation of TR contract translation?

Okay, submitted as bug. Many thanks to Matthias for reducing the example. John > On Apr 30, 2021, at 4:12 AM, Sam Tobin-Hochstadt wrote: > > This is a bug. It's not the the contract is unsatisfiable, it's that it's too > satisfiable. The contract system could probably make this work, but Typed

[racket-users] scribble: referencing two identifiers with the same name?

Is there an easy way to refer to two different identifiers with the same name when writing scribble documentation? For example, let's say I have a language with a `let` binding that operates more or less the same as racket's `let`. I wanted to write something like this: ``` @(require (prefix-in r

Re: [racket-users] limitation of TR contract translation?

This is a bug. It's not the the contract is unsatisfiable, it's that it's too satisfiable. The contract system could probably make this work, but Typed Racket should probably avoid this situation. Sam On Fri, Apr 30, 2021, 2:07 AM 'John Clements' via Racket Users < racket-users@googlegroups.com>