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

Crash during Gradualizer run with ... type_error,map, ... unhandled #52

Closed
OvermindDL1 opened this issue Oct 11, 2018 · 1 comment
Closed

Crash during Gradualizer run with ... type_error,map, ... unhandled #52

OvermindDL1 opened this issue Oct 11, 2018 · 1 comment
Milestone
Beta release

Comments

@OvermindDL1
Copy link 

   typechecker:handle_type_error({type_error,map,182,
                                                {type,227,term,[]}}) (src/typechecker.erl, line 2675)

And if you check typechecker.erl you see that a type_error,map is returned in 2 distinct places but is not handled in the error handler.
@OvermindDL1 OvermindDL1 changed the title Crash during Gradualizer run Crash during Gradualizer run with ... type_error,map, ... unhandled Oct 11, 2018
@josefs
Copy link
Owner

josefs commented Oct 12, 2018

Somewhat related to #22.

@josefs josefs added this to the Beta release milestone Oct 12, 2018
@zuiderkwast zuiderkwast mentioned this issue Nov 19, 2018
Closed
berbiche pushed a commit to berbiche/Gradualizer that referenced this issue Feb 9, 2021
@zuiderkwast
Handle printing map type error; fixes josefs#52
b178a59 
Also remove an unused variable.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Beta release
Development

No branches or pull requests
2 participants
@josefs @OvermindDL1