Skip to content

Instantly share code, notes, and snippets.

@samth

samth/test

Forked from takikawa/test
Created December 3, 2012 22:21
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save samth/4198674 to your computer and use it in GitHub Desktop.
Save samth/4198674 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 (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