From 2ffef7957d633d370364082b739c2c2448f3f631 Mon Sep 17 00:00:00 2001 From: Alex Shinn Date: Mon, 5 Jan 2015 22:27:07 -0500 Subject: [PATCH] =?UTF-8?q?Exporting=20type=3D=3F=20and=20type-subset=3F?= =?UTF-8?q?=20type=20predicates.?= --- lib/chibi/type-inference.sld | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/chibi/type-inference.sld b/lib/chibi/type-inference.sld index dc1de353..a2fdb8d6 100644 --- a/lib/chibi/type-inference.sld +++ b/lib/chibi/type-inference.sld @@ -1,6 +1,7 @@ (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) (chibi modules) (chibi ast) (chibi match)) (include "type-inference.scm"))