mirror of
https://github.com/ashinn/chibi-scheme.git
synced 2025-05-21 14:49:18 +02:00
Exporting type=? and type-subset? type predicates.
This commit is contained in:
parent
94002d2134
commit
2ffef7957d
1 changed files with 2 additions and 1 deletions
|
@ -1,6 +1,7 @@
|
||||||
|
|
||||||
(define-library (chibi type-inference)
|
(define-library (chibi type-inference)
|
||||||
(export type-analyze-module type-analyze procedure-signature)
|
(export type-analyze-module type-analyze procedure-signature
|
||||||
|
type=? type-subset?)
|
||||||
(import (chibi) (srfi 1) (srfi 38) (srfi 69)
|
(import (chibi) (srfi 1) (srfi 38) (srfi 69)
|
||||||
(chibi modules) (chibi ast) (chibi match))
|
(chibi modules) (chibi ast) (chibi match))
|
||||||
(include "type-inference.scm"))
|
(include "type-inference.scm"))
|
||||||
|
|
Loading…
Add table
Reference in a new issue