Skip to content
This repository has been archived by the owner on May 30, 2023. It is now read-only.

normal parameters after givens #25

Open
robstoll opened this issue Sep 12, 2019 · 0 comments
Open

normal parameters after givens #25

robstoll opened this issue Sep 12, 2019 · 0 comments
Labels
intent:report-outdated You want to report that a piece of knowledge in the docs is no longer up to date

Comments

@robstoll
Copy link

Link to the knowledge:
https://dotty.epfl.ch/docs/reference/contextual/motivation.html

More information:
in the doc:

Given clauses [...] allow us to have several implicit parameter sections, and to have implicit parameters followed by normal ones.

however defining:

 def f given (u: Int) given (x: String) (a:Int)= ???

gives the following error (on scastie)

normal parameters cannot come after given clauses

I open this issue as I am not sure which source is correct
@robstoll robstoll added the intent:report-outdated You want to report that a piece of knowledge in the docs is no longer up to date label Sep 12, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
intent:report-outdated You want to report that a piece of knowledge in the docs is no longer up to date
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@anatoliykmetyuk @robstoll