Skip to content

Instantly share code, notes, and snippets.

@Havvy

Havvy/ann.rkt

Last active December 18, 2015 05:39
Show Gist options
  • Save Havvy/5734548 to your computer and use it in GitHub Desktop.
Save Havvy/5734548 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
ann.rkt
#lang typed/racket
(define: (i [a : String] [b : String]) : String "#f")
(ann i (String * -> String))
Type Checker: Expected (String * -> String), but got (String String -> String) in: i
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment