Commit Graph

3 Commits

Author SHA1 Message Date
Nicolas Abril
f467effc99
Fix type checker not substituting type var when unifying match arms (#735) 2024-10-22 13:30:30 +02:00
Eduardo Sandalo Porto
d67080b631 Refactor range reporting system to be a simple Source 2024-08-15 19:07:02 -03:00
Nicolas Abril
e1dd23d96c Update tests to use .bend extension, fix test uite 2024-05-15 00:25:46 +02:00