<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
</head>
<body bgcolor="#ffffff" text="#000000">
<tt>Kind Schemely PLT Folk,<br>
<br>
So I'm finally trying to get all "instrumented" for getting my<br>
typed-scheme project really organized and off the ground and am <br>
having trouble with testing.<br>
<br>
;;; Here is the short module that just defines my little typed <br>
;;; vector enumerate function/constructor.<br>
<br>
(module typscm typed-scheme<br>
(require test-engine/scheme-tests)<br>
(provide enumerate)<br>
<br>
;;; enumerate Vectorof constructor, sml style<br>
(define: (x) (enumerate [size : Integer] [init : (Integer -> x)])
: (Vectorof x)<br>
(build-vector size init))<br>
<br>
;(print (enumerate 3 (lambda: ([y : Integer]) (make-string y #\c))))<br>
<br>
(check-expect <br>
(enumerate 3 (lambda: ([y : Integer]) (make-string y #\c))) <br>
#("" "c" "cc"))<br>
<br>
(test)<br>
)<br>
<br>
And here is the error output - *VERY* sorry for the long error message,
but it <br>
might help someone in the know here on the list help me figure things
out.<br>
<br>
</tt><code></code><tt>typecheck: Error in macro expansion -- Untyped
definition : (test5117) in: (define-values (test5117) (let-values
(((test-info) (#%app namespace-variable-value (quote test~object)
(quote #f) builder (#%app current-namespace)))) (if test-info (begin
(#%app insert-test test-info (lambda () (#%app check-values-expected
(#%app car (#%app list (lambda () (#%app enumerate (quote 3) (lambda
(y) (#%app make-string y (quote #\c))))) (#%app void))) (quote #("" "c"
"cc")) (#%app list (quote #<path:C:\Documents and
Settings\scottmcl\My Documents\scottmcl\src\ss\ssutil\typscm.ss>)
(quote 15) (quote 2) (quote 377) (quote 97)) test-info)))) (#%app
void))))<br>
> <br>
<br>
<br>
Any and all help *most kindly* appreciated regarded automating the
testing of typed-scheme code.<br>
<br>
Scott<br>
</tt>
</body>
</html>