This looks really exciting!
Imagining using this reminds me of something.
Typed Racket has a simple/standard way to disable type-checking (while
retaining the type declarations for documentation value as well as
potential re-enabling): #lang typed/racket/no-check and #lang
typed/racket/base/no-ch
On Sun, Jan 18, 2015 at 9:44 AM, Greg Hendershott wrote:
> Is there a similarly simple/standard way to disable contracts?
I'd love a #lang like that. Never mind Tony Hoare's metaphor about sailing.
For now, I'm attaching a small patch that'll disable contracts (as far as I
can tell) on the curr
2 matches
Mail list logo
