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

fix PLAI for revised private contract libs

Browse Source 
svn: r2003
This commit is contained in:
Matthew Flatt 2006-01-27 19:38:48 +00:00
parent 9e1f532e42
commit 903a7c9f37
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/plai/private/datatype-core.ss
View File

@ -8,7 +8,8 @@
(module datatype-core mzscheme
(require (lib "pconvert-prop.ss")
(lib "contract.ss" "mzlib" "private")
(lib "contract-util.ss" "mzlib" "private"))
(lib "contract-util.ss" "mzlib" "private")
(lib "contract-arrow.ss" "mzlib" "private"))
(require-for-syntax "core-utils.ss")
(provide define-datatype-core