Skip to content
Snippets Groups Projects
Commit 2811b64b authored by Adam Gundry's avatar Adam Gundry
Browse files

Experimental alternative approach to invoking typechecker plugins 

The solver is now provided with a boolean flag, which is False when
invoked inside solveFlats and True when invoked on the unflattened
constraints at the end.
parent be95bd91
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