Asumu Takikawa takikawa

	#lang racket

	;; Examples from the Racket blog post on generics

	(require racket/generic
	rackunit
	srfi/41)

	(provide gen:queue
	queue/c

	#lang typed/racket

	(: pt (Prompt-Tag String (Integer -> Integer)))
	(define pt (make-continuation-prompt-tag))

	(call-with-continuation-prompt
	(λ () (string-append "foo" (abort-current-continuation pt 5)))
	pt
	(λ: ([x : Integer]) x))

	#lang typed/racket

	(module foo racket
	(define x 3)
	(provide x))

	(require/typed (submod "." foo) [x Integer])

	#lang typed/racket

	;; the generated contract for this is
	;;
	;; (define-values:102 (generated-contract4:103)
	;; (#%app:104
	;; continuation-mark-key/c/proc:105
	;; (#%app:106 flat-named-contract 'Integer exact-integer?)))
	;;
	;; which looks correct, but it's not getting wrapped on export

	#lang racket

	(define (f/raw x)
	#t)

	(define (f/checked x)
	(unless (exact-nonnegative-integer? x)
	(error 'f/checked "blah blah"))
	#t)

	#lang racket

	;; kool-aid.rkt

	(require slideshow/pict racket/draw)

	(define (kool-aid)
	(dc (λ (dc dx dy)
	(define old-pen (send dc get-pen))
	(define old-brush (send dc get-brush))

	#lang racket

	;; asymmetric full coroutines from "Revisiting Coroutines"

	(provide (contract-out
	[create (-> procedure? coroutine?)]
	[resume (->* (coroutine?) () #:rest (listof any/c) any)]
	[yield (-> any/c any)]
	[status (-> coroutine? (or/c 'running 'done 'suspended))]))

	#lang racket

	(require (for-syntax syntax/parse
	syntax/parse/experimental/template
	racket/syntax
	racket/list))

	;; A syntax class to recognize function arguments:
	(begin-for-syntax
	(define-splicing-syntax-class argspec