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.

Sign up for GitHub

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

Jump to bottom

Partial Type Signatures #287

Closed
paf31 opened this issue Mar 13, 2014 · 0 comments
Closed

Partial Type Signatures #287

paf31 opened this issue Mar 13, 2014 · 0 comments
Assignees
@paf31
Labels
syntax type: enhancement typechecker
Milestone
0.7.0

Comments

@paf31
Copy link
Contributor

paf31 commented Mar 13, 2014

It is useful to be able to assert partial information about a type, i.e. to guide the type checker when skolemized type variables are involved.

The syntax could use an underscore to represent a new unknown:

getConst :: Const _ {}

See #286
@paf31 paf31 added this to the Backlog milestone Mar 13, 2014
@paf31 paf31 self-assigned this Mar 13, 2014
@garyb garyb modified the milestones: 0.5.0, Backlog, 0.6.0 Mar 26, 2014
@paf31 paf31 mentioned this issue Apr 19, 2014
Closed
@paf31 paf31 modified the milestones: 0.7.0, Backlog Nov 8, 2014
paf31 added a commit that referenced this issue Nov 17, 2014
@paf31
Type wildcards are disallowed in type synonyms, data declarations, in…
2d01405 
…stances. #287
@paf31 paf31 closed this as completed Nov 17, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@paf31 paf31

Labels
syntax type: enhancement typechecker
Projects
None yet
Milestone
0.7.0
Development

No branches or pull requests
2 participants
@paf31 @garyb