Update resolver and bounds, fix uses of makeSem_

polysemy-research / polysemy-zoo

:monkey::panda_face: Experimental, user-contributed effects and interpreters for polysemy

BSD 3-Clause "New" or "Revised" License

70 stars 20 forks source link

Closed KingoftheHomeless closed 5 years ago

KingoftheHomeless commented 5 years ago

Turns out @Avi-D-coder by mistake didn't bring in my fixes of makeSem_, so I'm creating this pull request to bring them in.

I've also bumped up the resolver to a version I'm sure this will actually work on.

Avi-D-coder commented 5 years ago

Oops, I must have checked out the wrong commit from that branch.

KingoftheHomeless commented 5 years ago

I noticed that the bounds for polysemy was also incorrect, which may also be the reason that the documentation is borked on Hackage.

isovector commented 5 years ago

Excellent, thanks!