nineties/amber

[Bug] printf without extra arguments.

nineties opened this issue · 2 comments

amber:1> printf("Hello")
Exception: MatchingFailed{domain = (oss, fmt @ String, args...) when oss.OutputStream? | (fmt @ String, args...), ["Hello"]}

Maybe checking of the domain (oss, fmt @ String, args...) when oss.OutputStream? is wrong.

amber:1> printf("Hello")
Exception: MatchingFailed{domain = (oss, fmt @ String, args...) when oss.OutputStream? | (fmt @ String, args...), ["Hello"]}
amber:1> stdout.printf("Hello")
Hello=> nil
amber:2> printf.domain
(fmt @ String, args...)"])
=> domain = (oss, fmt @ String, args...) when oss.OutputStream?
          | (fmt @ String, args...)
amber:3> stdout.printf.domain
=> domain = (fmt @ String, args...)

I found more simpler code that reproduces this bug. See #319.