PasteRack.org
Paste # 39125
2020-01-22 19:08:38

Fork as a new paste.

Paste viewed 337 times.


Embed:

#lang plait

(module typed plait

  (define bar to-string)
  )

(module sub plait
  #:untyped
  (require (submod ".." typed))
  (define (foo x)
    (bar x))
  (foo 2)
  )

=>

standard-module-name-resolver: collection not found
  for module path: plait/lang/reader
  collection: "plait/lang"
  in collection directories:
   /home/pasterack/.racket/7.3/collects
   /home/pasterack/racket73/collects
   ... [166 additional linked and package directories]
  context...:
   show-collection-err
   standard-module-name-resolver
   do-dynamic-require5
   read-syntax3
   /home/pasterack/racket73/share/pkgs/scribble-lib/scribble/private/manual-code.rkt:112:0: get-tokens
   /home/pasterack/racket73/share/pkgs/scribble-lib/scribble/private/manual-code.rkt:56:0: typeset-code15
   "/home/pasterack/pasterack/tmp/39125/39125code.scrbl": [running body]
   temp37_0
   for-loop
   run-module-instance!125
   do-dynamic-require5
   loop
   ...cket/cmdline.rkt:191:51
   "/home/pasterack/racket73/share/pkgs/scribble-lib/scribble/run.rkt": [running body]
   temp37_0
   for-loop
   ...