Skip to content

Instantly share code, notes, and snippets.

@samth
Forked from takikawa/test
Created December 3, 2012 22:21
Show Gist options
  • Save samth/4198674 to your computer and use it in GitHub Desktop.
Save samth/4198674 to your computer and use it in GitHub Desktop.
. 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
#lang racket
(require (except-in typed/racket #%module-begin))
(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