-
Notifications
You must be signed in to change notification settings - Fork 10
Support erased given arguments when applicable #266
Copy link
Copy link
Open
Labels
derive: coreSomething in between single type generator and its constructorsSomething in between single type generator and its constructorsderive: entryIssue on the derivation function facing to the end-userIssue on the derivation function facing to the end-userderive: least-effortRelates to the `LeastEffort` derivation algorithmRelates to the `LeastEffort` derivation algorithmpart: derivationRelated to automated derivation of generatorsRelated to automated derivation of generatorsstatus: feature requestRequest for new functionality or improvementRequest for new functionality or improvement
Description
Metadata
Metadata
Assignees
Labels
derive: coreSomething in between single type generator and its constructorsSomething in between single type generator and its constructorsderive: entryIssue on the derivation function facing to the end-userIssue on the derivation function facing to the end-userderive: least-effortRelates to the `LeastEffort` derivation algorithmRelates to the `LeastEffort` derivation algorithmpart: derivationRelated to automated derivation of generatorsRelated to automated derivation of generatorsstatus: feature requestRequest for new functionality or improvementRequest for new functionality or improvement
If in a type signature there's an erased given parameter which never requires to be present at runtime, the derivator should not make (or consider) the corresponding argument of a generator an \omega object.