Closed lbrynaut closed 5 years ago
@BrannonKing Cherry-picking 05d89e91cf44109d6fd6b36819930c282cbaf1ab
does resolve the OS X test issue (and the local issue I also had). Do you want me to push that commit here, or rebase this on top of that one after it's pushed to master?
For the unit test issue, I've just cherry-picked the fix onto master. Go ahead and rebase.
Should we have T_CLAIM in Solver as well?
Should we have T_CLAIM in Solver as well?
?
This code produces the type in solver.
@BrannonKing This is built on top of your similarly named branch, but includes additional changes and rebased on master.