> (module UNTYPED-2 racket (provide a-sub^) (define-signature a^ (a1)) (define-signature a-sub^ extends a^ (a2)))
> (module TYPED-2 typed/racket (require/typed 'UNTYPED-2 [#:signature a-sub^ ([a1 : Integer] [a2 : String])])) .../racket-buildroot/usr/share/racket/pkgs/typed-racket-lib/
typed-racket/base-env/prims-contract.rkt:180:7: Type
Checker: Error in macro expansion -- required signature
extends an untyped signature
required signature: a-sub^
extended signature: a^
in: (require-typed-signature a-sub^ (a1 a2) (Integer
String) (quote UNTYPED-2))
Requiring a signature from an untyped module that contains variable definitions is an error /usr/share/doc/racket-7.3/ts-reference/Typed_Classes.html: class form’s clauses) are restricted.
> (class object% ; Note the missing `super-new` (init-field [x : Real 0] [y : Real 0])) /usr/src/tmp/racket-buildroot/usr/share/racket/collects/rack
et/private/class-undef.rkt:46:6: Type Checker: ill-formed
typed class;
must call `super-new' at the top-level of the class
in: (#%expression (#%app compose-class (quote eval:4:0)
object% (#%app list) (#%app current-inspector) (quote #f)
(quote #f) (quote 2) (quote (x y)) (quote ()) (quote ())
(quote ()) (quote ()) (quote ()) (quote ()) (quote ())
(quote ()) (quote ()) (quote ()...
If any identifier with an optional type annotation is left without an /usr/share/doc/racket-7.3/syntax/module-helpers.html: path string.
See module-path-index-resolve.
> (resolve-module-path-index (module-path-index-join 'racket #f)) #<path:/usr/src/tmp/racket-buildroot/usr/share/racket/collects/racket/main.rkt>
> (resolve-module-path-index (module-path-index-join "apple.rkt" #f)) #<path:/usr/src/tmp/racket-buildroot/usr/share/racket/pkgs/racket-doc/syntax/apple.rkt>
> (resolve-module-path-index (module-path-index-join '(submod "." test) #f) (string->path "banana.rkt")) '(submod #<path:banana.rkt> test)
| (require syntax/modcollapse) | package: base |
procedure
(collapse-module-path module-path-v rel-to-module-path-v) → module-path? module-path-v : module-path?
rel-to-module-path-v :
(or/c module-path? (-> module-path?))
> (collection-file-path "main.rkt" "racket" "base") #<path:path/to/collects/racket/base/main.rkt>
> (collection-file-path "sandwich.rkt" "bologna") collection-file-path: collection not found
collection: "bologna"
in collection directories:
/usr/src/tmp/racket-buildroot/usr/share/racket/collects
... [161 additional linked and package directories]
Changed in version 6.0.1.12 of package base: Added the check-compiled? argument.
procedure
(collection-path collection ...+) → path?
collection : path-string?
(collection-path collection ...+ #:fail fail-proc) → any collection : path-string? fail-proc : (string? . -> . any)
NOTE: This function is deprecated; use collection-file-path, instead. Collection splicing implies that a given collection can have /usr/share/doc/racket-7.3/rackunit/api.html: stack, proc is called to determine what value to display.
> (with-check-info (['current-dir (dynamic-info current-directory)]) (check-equal? 1 2) (parameterize ([current-directory (find-system-path 'temp-dir)]) (check-equal? 1 2)))
--------------------
FAILURE
current-dir:
#<path:/usr/src/tmp/racket-buildroot/usr/share/racket/pkgs/rackunit-doc/rackunit/>
name: check-equal?
location: eval:41:0
actual: 1
expected: 2
--------------------
--------------------
FAILURE
current-dir: #<path:/usr/src/tmp/>
name: check-equal?
location: eval:41:0
actual: 1
expected: 2
--------------------
The value returned by proc may itself be a special formatting value;