Skip to content
Snippets Groups Projects
Commit 713ebd7c authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Fix computation of dfun_tvs in mkNewTypeEqn 

This bug was causing Trac #13297.

We were recomputing ds_tvs, and doing it wrongly (by omitting
variables that appear only in mtheta).  But actually plain 'tvs'
is just fine.  So code deleted, and bug fixed.
parent fd841f87
No related branches found
No related tags found
No related merge requests 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