git.iko.soy/Idris-dev
on f25bcfe help sign in
history oftest/interactive010/expected
all commits
b1a4264Improve error message locations (#4210)Jason Felice c3d46aaFix interactive testJason Felice 3e4752fFix name decorationEdwin Brady c5be396Another scoped implicit fixEdwin Brady 2196023Fix patvar naming for implicitsEdwin Brady 53fae80use interface in error message when check instancezjhmale fdfa04cStore file with constraints + exportEdwin Brady 74926ffRenamed Prelude.Classes to Prelude.InterfacesJan de Muijnck-Hughes 220f400Fix error messages for interfacesEdwin Brady 6eaf933Disambiguation tweakEdwin Brady 0c5f1deMove / into Fractional interfaceEdwin Brady 8a17e9aChange library and expected test results for Float -> Double changeEcho Nolan 2c91accChanged to not affect normal expression parsingZack Grannan a8f7652Update testsZack Grannan 14cf196Added testsZack Grannan