Skip to content

Instantly share code, notes, and snippets.

@takikawa

takikawa/test

Created December 3, 2012 22:18
Show Gist options
  • Save takikawa/4198651 to your computer and use it in GitHub Desktop.
Save takikawa/4198651 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
. Type Checker: untyped identifier apply-contract imported from module <private/base.rkt> in: #%module-begin
. Type Checker: untyped identifier coerce-contract imported from module <private/guts.rkt> in: #%module-begin
. Type Checker: untyped identifier flat-named-contract imported from module <racket/contract> in: #%module-begin
. Type Checker: untyped identifier build-source-location imported from module <syntax/srcloc> in: #%module-begin
. Type Checker: Summary: 4 errors encountered in:
#%module-begin
#%module-begin
#%module-begin
#%module-begin
Raw
test
#lang racket
(require typed/racket)
(module+ test
(with-type #:result Number (+ 1 2)))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment