Fix #38, fix the broken int-functions-infer test
The solver correctly identifies `Bool ~ Maybe Bool` as an irreducible constraint, but the typechecker forgets it because I had defined solveIrredCt as "pure ()".
Showing
- typechecker/src/Tc/Constraint.hs 13 additions, 1 deletiontypechecker/src/Tc/Constraint.hs
- typechecker/src/Tc/Gen/Pat.hs 2 additions, 2 deletionstypechecker/src/Tc/Gen/Pat.hs
- typechecker/src/Tc/Solver.hs 7 additions, 6 deletionstypechecker/src/Tc/Solver.hs
- typechecker/src/Tc/Solver/Equality.hs 7 additions, 3 deletionstypechecker/src/Tc/Solver/Equality.hs
- typechecker/src/Tc/Types.hs 26 additions, 34 deletionstypechecker/src/Tc/Types.hs
- typechecker/src/Tc/Types.hs-boot 1 addition, 5 deletionstypechecker/src/Tc/Types.hs-boot
- typechecker/test/cases/should-fail/notToMaybe-infer.output 4 additions, 1 deletiontypechecker/test/cases/should-fail/notToMaybe-infer.output
- typechecker/test/cases/should-typecheck/int-functions-infer.hs 1 addition, 1 deletion...hecker/test/cases/should-typecheck/int-functions-infer.hs
- typechecker/test/cases/should-typecheck/int-functions-infer.output 1 addition, 1 deletion...er/test/cases/should-typecheck/int-functions-infer.output
Loading
Please register or sign in to comment