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

type problems #1373

Closed

3 of 4 tasks

evancz opened this issue May 12, 2016 · 2 comments

Labels

Member

evancz commented May 12, 2016 •

edited

Loading

This is a meta issue for organizing things more clearly. If you'd like to add to it, open a separate issue.

Known Issues

Problem with type alias X a = a - Type checker error with alias #1371
Problems with constrained type variables - number is not comparable #1581, Incoherence in type-checking with number types #1268, Type-checking bug: comparable vs. number #1270, number not accepted as comparable #1281, Different "type-classy" type variables not differentiated #1316
No kind checking - No kind checking #1146, No kind checking - subrecords can be non-records #917, Missing type arguments are not detected #1505, Leaving type parameters out of type annotation compiles when it shouldn't #1542, Make it possible to refer to (* -> *) types #1598, List without any type compiles in Union Type #1645
Very particular shadowing issue - Type checker error in case expressions #952

The text was updated successfully, but these errors were encountered:

This was referenced May 12, 2016

Type checker error with alias #1371

Closed

Incoherence in type-checking with number types #1268

Closed

Type-checking bug: comparable vs. number #1270

Closed

number not accepted as comparable #1281

Closed

Different "type-classy" type variables not differentiated #1316

Closed

No kind checking #1146

Closed

evancz added types meta labels

evancz mentioned this issue

Type checker error in case expressions #952

Closed

evancz changed the title ~~Tracking type problems~~ type problems

elm locked and limited conversation to collaborators

Member Author

evancz commented May 11, 2017 •

edited

Loading

5fe9bb9 fixes the reported problems with constrained type variables.

Member Author

evancz commented Mar 7, 2018

Closing to track "kind checking" specifically.

evancz closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.