Created

Embed URL

HTTPS clone URL

SSH clone URL

You can clone with HTTPS or SSH.

Download Gist

Why any-wrap/c is needed

View any-c.rkt
1 2 3 4 5 6 7 8 9 10 11
#lang racket/load
 
(module m1 typed/racket
(: f : Integer -> Integer)
(define (f x) (add1 x))
(define: g : Any f) ;; safe by subtyping
(provide g))
 
(module m2 racket
(require 'm1)
(g "not a number")) ;; fails at runtime
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.