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

* Move write' next to display'

Browse Source 
* Make it have the same type (can write anything)
* Add `print' with the same type

svn: r12004

original commit: 0209663ec75b138c505d101e6f8dfb636c51ec6a
This commit is contained in:
Eli Barzilay 2008-10-13 15:30:55 +00:00
parent 57cfc5d3d5
commit d3affbf868
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/private/base-env.ss
View File

@ -138,6 +138,8 @@
[match:error (Univ . -> . (Un))]
[display (cl-> [(Univ) -Void] [(Univ -Port) -Void])]
[write (cl-> [(Univ) -Void] [(Univ -Port) -Void])]
[print (cl-> [(Univ) -Void] [(Univ -Port) -Void])]
[void (->* '() Univ -Void)]
[void? (make-pred-ty -Void)]
[printf (->* (list -String) Univ -Void)]
@ -396,7 +398,6 @@
#;[exn:fail? (-> Univ B)]
#;[exn:fail:read? (-> Univ B)]
[write (-> -Sexp -Void)]
[open-output-string (-> -Output-Port)]
;; FIXME - wrong
[get-output-string (-> -Output-Port -String)]