Idris2/tests/idris2/error
Guillaume Allais 0c030020de [ re #3314, #34 ] Tighten the location information for implicits
When implicitly binding a variable, use the location of the head
function/constructor that expects it. This way we can differentiate
multiple implicits bound on the same LHS.

Note that this does not resolve the issue 34: there the location
is then further muddled by the fact that where-bound functions
are lifted to the toplevel.
2024-06-17 16:32:24 +01:00
..
error001 Group tests by directory 2023-09-07 14:57:22 +01:00
error002 Group tests by directory 2023-09-07 14:57:22 +01:00
error003 Group tests by directory 2023-09-07 14:57:22 +01:00
error004 Group tests by directory 2023-09-07 14:57:22 +01:00
error005 Group tests by directory 2023-09-07 14:57:22 +01:00
error006 Group tests by directory 2023-09-07 14:57:22 +01:00
error007 Group tests by directory 2023-09-07 14:57:22 +01:00
error008 Group tests by directory 2023-09-07 14:57:22 +01:00
error009 Group tests by directory 2023-09-07 14:57:22 +01:00
error010 Group tests by directory 2023-09-07 14:57:22 +01:00
error011 Group tests by directory 2023-09-07 14:57:22 +01:00
error012 Group tests by directory 2023-09-07 14:57:22 +01:00
error013 Group tests by directory 2023-09-07 14:57:22 +01:00
error014 Group tests by directory 2023-09-07 14:57:22 +01:00
error015 Group tests by directory 2023-09-07 14:57:22 +01:00
error016 Group tests by directory 2023-09-07 14:57:22 +01:00
error017 Group tests by directory 2023-09-07 14:57:22 +01:00
error018 Group tests by directory 2023-09-07 14:57:22 +01:00
error019 Group tests by directory 2023-09-07 14:57:22 +01:00
error020 Group tests by directory 2023-09-07 14:57:22 +01:00
error021 Group tests by directory 2023-09-07 14:57:22 +01:00
error022 Group tests by directory 2023-09-07 14:57:22 +01:00
error023 Group tests by directory 2023-09-07 14:57:22 +01:00
error024 Group tests by directory 2023-09-07 14:57:22 +01:00
error025 Group tests by directory 2023-09-07 14:57:22 +01:00
error026 Group tests by directory 2023-09-07 14:57:22 +01:00
error027 Group tests by directory 2023-09-07 14:57:22 +01:00
error028 [ re #3314, #34 ] Tighten the location information for implicits 2024-06-17 16:32:24 +01:00
error029 [ re #3314, #34 ] Tighten the location information for implicits 2024-06-17 16:32:24 +01:00
perror001 Group tests by directory 2023-09-07 14:57:22 +01:00
perror002 Group tests by directory 2023-09-07 14:57:22 +01:00
perror003 Group tests by directory 2023-09-07 14:57:22 +01:00
perror004 Group tests by directory 2023-09-07 14:57:22 +01:00
perror005 Group tests by directory 2023-09-07 14:57:22 +01:00
perror006 Group tests by directory 2023-09-07 14:57:22 +01:00
perror007 Group tests by directory 2023-09-07 14:57:22 +01:00
perror008 Group tests by directory 2023-09-07 14:57:22 +01:00
perror009 Group tests by directory 2023-09-07 14:57:22 +01:00
perror010 Group tests by directory 2023-09-07 14:57:22 +01:00
perror011 Group tests by directory 2023-09-07 14:57:22 +01:00
perror012 Group tests by directory 2023-09-07 14:57:22 +01:00
perror013 Group tests by directory 2023-09-07 14:57:22 +01:00
perror014 Group tests by directory 2023-09-07 14:57:22 +01:00
perror015 Group tests by directory 2023-09-07 14:57:22 +01:00
perror016 Group tests by directory 2023-09-07 14:57:22 +01:00
perror017 Group tests by directory 2023-09-07 14:57:22 +01:00
perror018 Group tests by directory 2023-09-07 14:57:22 +01:00
perror019 Group tests by directory 2023-09-07 14:57:22 +01:00
perror020 Group tests by directory 2023-09-07 14:57:22 +01:00
perror021 Group tests by directory 2023-09-07 14:57:22 +01:00
perror022 Group tests by directory 2023-09-07 14:57:22 +01:00
perror023 Group tests by directory 2023-09-07 14:57:22 +01:00
perror024 Group tests by directory 2023-09-07 14:57:22 +01:00
perror025 Group tests by directory 2023-09-07 14:57:22 +01:00
perror026 Group tests by directory 2023-09-07 14:57:22 +01:00
perror027 Group tests by directory 2023-09-07 14:57:22 +01:00
perror028 Group tests by directory 2023-09-07 14:57:22 +01:00
perror029 Group tests by directory 2023-09-07 14:57:22 +01:00
perror030 [ fix #3097 ] Fix issues parsing %logging followed by named impls (#3098) 2023-10-13 19:02:58 +01:00
perror031 [ parser ] Fix issue parsing unquote 2024-04-08 20:42:36 -07:00
perror032 [ parser ] Add support for impossible lambdas 2024-04-27 16:57:33 -07:00