unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-26 11:07:48 +03:00
Code Issues Projects Releases Wiki Activity
ce8dfd2a73
unison/unison-src/tests/lambda-closing-over-effectful-fn.ur
Paul Chiusano 8e304435e2 fix issue in synthesizeApp where existentials were refined to pure function types, not allowing for possibility of effects 
Still need to do some cleanup, will do that with separate commit
2019-04-04 13:25:58 -04:00

2 lines
12 B
Plaintext
Raw Blame History

[0,1,2,3,4]
Reference in New Issue View Git Blame Copy Permalink