ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-21 22:17:19 +03:00
Code Issues Projects Releases Wiki Activity
b2017d2625
Idris-dev/test/error003
History
Edwin Brady b2017d2625 Pattern variables should be lifted to top level 
...since pattern variables scope across the whole expression. If we
don't lift them, mysterious unification errors can happen for implicit
arguments.
2014-11-27 11:35:44 +00:00
..
ErrorReflection.idr Remove dodgy unification hack 2014-07-11 14:26:30 +01:00
expected Pattern variables should be lifted to top level 2014-11-27 11:35:44 +00:00
run Categorise tests 2014-01-30 17:24:08 +00:00