Skip to content
Snippets Groups Projects
Commit 7461c989 authored by Simon Peyton Jones's avatar Simon Peyton Jones Committed by Austin Seipp
Browse files

Add missing kind-check for tcEqType on forall-types 

This wasn't showing up as a bug, but it was definitely wrong.

(cherry picked from commit 74894e0b)
parent a6178886
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment