You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, a method or class with view- or context bounds may not define any additional implicit parameters. This restriction is becoming important, as context bounds are used more often. For example, embedded DSLs (in particular, those embedded using lightweight modular staging) are suffering from a lot of verbosity because of this restriction.
The text was updated successfully, but these errors were encountered:
Commit Message Bot (anonymous) said:
(phaller in r25370) Enable implicit parameters in the presence of view- or context bounds. Fix #4839. Review by moors.
@retronym said:
The spec needs a little update after this one, it explicitly states "Also, a method or class with view- or context bounds may not define any additional implicit parameters."
Currently, a method or class with view- or context bounds may not define any additional implicit parameters. This restriction is becoming important, as context bounds are used more often. For example, embedded DSLs (in particular, those embedded using lightweight modular staging) are suffering from a lot of verbosity because of this restriction.
The text was updated successfully, but these errors were encountered: