suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add a test for 2dmatch + Typed Racket.

Browse Source 
original commit: 78987ef608f3afaca9452f322022d1d8ee41664d
This commit is contained in:
Sam Tobin-Hochstadt 2014-03-31 10:35:16 -04:00
parent fed14d647a
commit ece77b55cc
2 changed files with 20 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-test/info.rkt
View File

@ -2,7 +2,7 @@
(define collection 'multi)
(define deps '("typed-racket" "typed-racket-more" "typed-racket-compatibility"
"unstable"))
"unstable" "unstable-2d"))
(define build-deps '("scheme-lib"
"base"
"racket-benchmarks"

19
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/2d-typed.rkt Normal file
View File

@ -0,0 +1,19 @@
#lang unstable/2d typed/racket/base
(require unstable/2d/match)
(: f : Integer Integer -> Integer)
(define (f x y)
#2dmatch
╔════════════════╦═══╦════════════════════════╗
║ y ║ 0 ║ #{b : Integer} ║
║ x ║ ║ ║
╠════════════════╬═══╬════════════════════════╣
║ 0 ║ 0 ║ 0 ║
╠════════════════╬═══╬════════════════════════╣
║#{a : Integer} ║ 0 ║ (let loop ([a a] ║
║ ║ ║ [b b]) ║
║ ║ ║ (loop a b)) ║
╚════════════════╩═══╩════════════════════════╝)
(f 0 1)