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

set-mc[ad]r!, inference, printing, tests for mpairs

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-15 16:02:16 -04:00
parent 913179f2ed
commit 4cc86cc8c8
4 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/tests/typed-scheme/succeed/mpair.rkt Normal file
View File

@ -0,0 +1,6 @@
#lang typed/racket
(define: x : (MPairof Integer Integer) (mcons 1 2))
(set-mcar! x -7)
(mcar x)
(mcdr x)

2
collects/typed-scheme/infer/infer-unit.rkt
View File

@ -414,6 +414,8 @@
(cset-meet (cg e e*) (cg e* e))] (cset-meet (cg e e*) (cg e* e))]
[((Box: e) (Box: e*)) [((Box: e) (Box: e*))
(cset-meet (cg e e*) (cg e* e))] (cset-meet (cg e e*) (cg e* e))]
[((MPair: s t) (MPair: s* t*))
(cset-meet* (list (cg s s*) (cg s* s) (cg t t*) (cg t* t)))]
[((Channel: e) (Channel: e*)) [((Channel: e) (Channel: e*))
(cset-meet (cg e e*) (cg e* e))] (cset-meet (cg e e*) (cg e* e))]
[((Hashtable: s1 s2) (Hashtable: t1 t2)) [((Hashtable: s1 s2) (Hashtable: t1 t2))

2
collects/typed-scheme/private/base-env.rkt
View File

@ -918,4 +918,6 @@
[mcons (-poly (a b) (-> a b (-mpair a b)))] [mcons (-poly (a b) (-> a b (-mpair a b)))]
[mcar (-poly (a b) (-> (-mpair a b) a))] [mcar (-poly (a b) (-> (-mpair a b) a))]
[mcdr (-poly (a b) (-> (-mpair a b) b))] [mcdr (-poly (a b) (-> (-mpair a b) b))]
[set-mcar! (-poly (a b) (-> (-mpair a b) a -Void))]
[set-mcdr! (-poly (a b) (-> (-mpair a b) b -Void))]
[mpair? (make-pred-ty (make-MPairTop))] [mpair? (make-pred-ty (make-MPairTop))]

1
collects/typed-scheme/types/printer.rkt
View File

@ -209,6 +209,7 @@
[(Result: t (FilterSet: (Top:) (Top:)) (Empty:)) (fp "~a" t)] [(Result: t (FilterSet: (Top:) (Top:)) (Empty:)) (fp "~a" t)]
[(Result: t fs (Empty:)) (fp "(~a : ~a)" t fs)] [(Result: t fs (Empty:)) (fp "(~a : ~a)" t fs)]
[(Result: t fs lo) (fp "(~a : ~a : ~a)" t fs lo)] [(Result: t fs lo) (fp "(~a : ~a : ~a)" t fs lo)]
[(MPair: s t) (fp "(MPairof ~a ~a)" s t)]
[(Refinement: parent p? _) [(Refinement: parent p? _)
(fp "(Refinement ~a ~a)" parent (syntax-e p?))] (fp "(Refinement ~a ~a)" parent (syntax-e p?))]
[(Sequence: ts) [(Sequence: ts)