typed-racket/typed-racket-test/succeed/match-tests.rkt
2014-12-16 10:07:25 -05:00

10 lines
117 B
Racket

#lang typed-scheme
(require scheme/match)
(match "abc"
[(regexp "^abc") 1])
(match (list 1 1)
[(list x x) 1])