Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Partial call allowed without a ? #2266

Open
dipinhora opened this issue Oct 9, 2017 · 1 comment
Open

Partial call allowed without a ? #2266

dipinhora opened this issue Oct 9, 2017 · 1 comment
Labels
bug Something isn't working help wanted Extra attention is needed needs investigation This needs to be looked into before its "ready for work"

Comments

@dipinhora
Copy link
Contributor

The following code:

trait T
  fun f1() ? => error
  fun f2() ? => f1()

actor Main is T
  new create(env: Env) =>
    None

Results in the following errors in 0.19.2 (see playground: http://playground.ponylang.org/?gist=19514f10bd5c0e1146a610bdb896f174):

0.19.2 [release]
compiled with: llvm 3.9.1 -- cc (Ubuntu 5.4.0-6ubuntu1~16.04.4) 5.4.0 20160609
Error:
main.pony:3:20: call is not partial but the method is - a question mark is required after this call
  fun f2() ? => f1()
                   ^
    Info:
    main.pony:2:12: method is here
      fun f1() ? => error
               ^
Error:
main.pony:3:20: call is not partial but the method is - a question mark is required after this call
  fun f2() ? => f1()
                   ^
    Info:
    main.pony:2:12: method is here
      fun f1() ? => error
               ^

However, the same code compiles without error on current master.

@jemc
Copy link
Member

jemc commented Oct 9, 2017

This was probably an unintended consequence of #2261.

@SeanTAllen SeanTAllen added needs investigation This needs to be looked into before its "ready for work" bug Something isn't working and removed bug: 1 - needs investigation labels May 12, 2020
@SeanTAllen SeanTAllen added the help wanted Extra attention is needed label Jan 27, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working help wanted Extra attention is needed needs investigation This needs to be looked into before its "ready for work"
Projects
None yet
Development

No branches or pull requests

3 participants