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

Cleaned tests for FB case 94 (logn match on a predefined set of identifiers).

Browse Source
This commit is contained in:
Georges Dupéron 2016-02-03 17:07:26 +01:00
parent 895d11b30f
commit 5d0a390b61
1 changed files with 15 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
graph-lib/lib/low/logn-id.rkt
View File

@ -6,6 +6,8 @@
racket/match racket/match
syntax/stx)) syntax/stx))
(provide define-logn-ids)
(begin-for-syntax (begin-for-syntax
(define (insert make-node v ts) (define (insert make-node v ts)
(match ts (match ts
@ -60,6 +62,16 @@
#'(let ([v-cache v]) #'(let ([v-cache v])
#,(make-btd bt))])))])) #,(make-btd bt))])))]))
(define-logn-ids match-x [a A] [b B] [c C] [d D] [e E]) (module* test typed/racket
(require (submod "..")
(match-x b [a 1] [b 2] [c 3] [d 4] [e 5]) typed/rackunit)
(define-logn-ids match-x [a A] [b B] [c C] [d D] [e E])
(check-equal? (match-x (ann b (U A B C D E))
[a 1]
[b 2]
[c 3]
[d 4]
[e 5])
2))