I've just put a new package on the server: live-free-or-die

This package lets you escape from Typed Racket's contracts.


Here's a little example:

Suppose that "server.rkt" is:

#lang typed/racket

(: f ((Listof Float) -> Float))
(define (f l)
    [(empty? l)
     (+ (first l)
        (f (rest l)))]))

(provide f)

And that "client.rkt" is:

#lang racket/base
(require live-free-or-die)

(require "server.rkt")
(f (vector 1 2 3))

Then this is what you get when you run the program:

$ racket "client.rkt"
zsh: segmentation fault  racket "client.rkt"

For your convenience, `live-free-or-die!` is also aliased to



Jay McCarthy
Associate Professor
PLT @ CS @ UMass Lowell

           "Wherefore, be not weary in well-doing,
      for ye are laying the foundation of a great work.
And out of small things proceedeth that which is great."
                          - D&C 64:33

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.
For more options, visit https://groups.google.com/d/optout.

Reply via email to