-
Notifications
You must be signed in to change notification settings - Fork 173
Open
Labels
Description
I think the REPL's :t
command doesn't quite work as I would expect with namespaces that are opened!
Here's the output on carp-v0.5.5-x86_64-macos
:
鲤 :t IO.read-file
=> (Fn [(Ref String <a>)] (Result String String) <StaticLifetime>)
鲤 (use IO)
鲤 :t read-file
I can’t find the symbol `read-file` at REPL:5:7.
Traceback:
(type read-file) at REPL:5:1.
This is despite that I can otherwise call (read-file)
directly after (use IO)
works. The same happens in composition when I type use IO
:
鲤 use IO
=> IO
鲤 :t (read-file "input")
Can't get the type of: (read-file "input") at REPL:2:7.
Traceback:
(type (read-file "input")) at REPL:2:1.
鲤 :t (IO.read-file "input")
=> (Result String String)
But not with (use IO)
— I'm not sure what the difference is here.
鲤 (use IO)
鲤 :t (read-file "input")
=> (Result String String)
鲤 :t (IO.read-file "input")
=> (Result String String)