polysemy/.gitignore

stack.yaml.lock
.stack-work/
core-html/
*~
*.prof
.ghc.environment.*
dist-newstyle
*.hi
*.o
/result
/result-doc
Custom type error testing (#113) This PR adds doctests allowing us to write tests for the custom type errors. Having this stuff reified in the test suite means we can iterate on the implementations and give much better QA. 2019-06-16 03:04:11 +03:00			`stack.yaml.lock`
GLORY 2019-02-13 23:52:56 +03:00			`.stack-work/`
core-dump 2019-03-18 04:03:23 +03:00			`core-html/`
ahhhh 2019-02-14 06:14:00 +03:00			`*~`
			`*.prof`
Improve CI coverage -- now on GHC 8.4! (#39) 2019-06-20 00:25:37 +03:00			`.ghc.environment.*`
			`dist-newstyle`
Don't emit ambiguous effect errors for genuine type errors (#149) This PR changes the plugin so it will notice an insoluble constraint of the form Sem r a ~ Foo, and mark that r takes part in a genuine type error. The plugin will then provide a bogus evidence term for IfStuck (IndexOf r _) _ _, which prevents the AmbiguousSend error message from firing. 2019-07-04 16:35:33 +03:00			`*.hi`
			`*.o`
fix doctests on 9.0.1 Error messages changed, adapted to match both variants 2021-06-25 20:51:34 +03:00			`/result`
			`/result-doc`