No subject

From: ()
Date: Sat Mar 24 01:50:51 EDT 2012

function to coerse into the untyped world.  It looks something like

    #lang typed/racket/base
    (require/typed "compiler-helper.rkt"
               [ensure-const-value (Any -> const-value)])

where const-value is some datatype defined elsewhere.

Typed Racket should impose runtime contracts to ensure the untyped
code isn't doing something silly.

Posted on the users mailing list.