Merge pull request #946 from ucsd-progsys/T289 · ucsd-progsys/liquidhaskell@3a99579

Commit

Merge pull request #946 from ucsd-progsys/T289

T289

ranjitjhala authored Mar 8, 2017

2 parents af1ff0a + 0a65c50 commit 3a99579

+5 −0		TODO.md
+35 −6		src/Language/Fixpoint/Solver/Solve.hs
+7 −7		src/Language/Fixpoint/Solver/UniqifyKVars.hs
+14 −22		src/Language/Fixpoint/SortCheck.hs
+3 −0		src/Language/Fixpoint/Types/Config.hs
+14 −16		src/Language/Fixpoint/Types/Triggers.hs
+22 −0		tests/pos/min00.fq