Fcalva/chibi-scheme
1
0
Fork 0
mirror of https://github.com/ashinn/chibi-scheme.git synced 2025-06-30 09:46:39 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

updating type names

Browse source
This commit is contained in:
Alex Shinn 2011-11-07 01:01:50 +09:00
parent 742d96af8b
commit aa1363cb9e
2 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lib/chibi/type-inference.scm
View file

@ -148,7 +148,7 @@
(not (type-subset? t p-type)))
(display "WARNING: incompatible type: "
(current-error-port))
(write (list x t p-type) (current-error-port))
(write/ss (list x t p-type) (current-error-port))
(newline (current-error-port))))
t))))
(lp (and (pair? p) (cdr p)) (cdr a)))

3
lib/chibi/type-inference.sld
View file

@ -1,6 +1,7 @@
(define-library (chibi type-inference)
(export type-analyze-module type-analyze procedure-signature)
(import (scheme) (srfi 1) (srfi 69) (chibi modules) (chibi ast) (chibi match))
(import (scheme) (srfi 1) (srfi 38) (srfi 69)
(chibi modules) (chibi ast) (chibi match))
(include "type-inference.scm"))