Revert I/O changes for now

This commit is contained in:
Justin Ethier 2018-11-30 17:50:34 -05:00
parent f5b7c75184
commit 69a35f7d2e

View file

@ -770,11 +770,11 @@
;; EG: int v = prim(); ;; EG: int v = prim();
(define (prim/c-var-assign p) (define (prim/c-var-assign p)
(cond (cond
;((eq? p 'Cyc-stdout) "port_type") ((eq? p 'Cyc-stdout) "port_type")
;((eq? p 'Cyc-stdin) "port_type") ((eq? p 'Cyc-stdin) "port_type")
;((eq? p 'Cyc-stderr) "port_type") ((eq? p 'Cyc-stderr) "port_type")
;((eq? p 'open-input-file) "port_type") ((eq? p 'open-input-file) "port_type")
;((eq? p 'open-output-file) "port_type") ((eq? p 'open-output-file) "port_type")
;((eq? p 'Cyc-fast-plus) "object") ;((eq? p 'Cyc-fast-plus) "object")
;((eq? p 'Cyc-fast-sub) "object") ;((eq? p 'Cyc-fast-sub) "object")
;((eq? p 'Cyc-fast-mul) "object") ;((eq? p 'Cyc-fast-mul) "object")
@ -828,11 +828,11 @@
(and (prim? exp) (and (prim? exp)
(or (or
(member exp '( (member exp '(
;Cyc-stdout Cyc-stdout
;Cyc-stdin Cyc-stdin
;Cyc-stderr Cyc-stderr
;open-input-file open-input-file
;open-output-file open-output-file
Cyc-installation-dir Cyc-installation-dir
Cyc-compilation-environment Cyc-compilation-environment
string->number string->number