git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
5e2000e
help
sign in
history of
test/layout001/expected
all commits
fb4c5e4
Use iWarn for parse errors
Jason Felice
9 years ago
f743272
Don't include '=' for RHS span
Jason Felice
9 years ago
bab82b5
Show unreachable case warnings like other warnings
Jason Felice
9 years ago
79351ee
Add blank line after "large" messages
Jason Felice
9 years ago
7d0c06b
Put source code before error (like parse errors)
Jason Felice
9 years ago
f967817
Make warnings, non-parse errors pretty
Jason Felice
9 years ago
2634848
Extract lhs
Jason Felice
9 years ago
b1a4264
Improve error message locations (#4210)
Jason Felice
9 years ago
e9f7039
New formatting for some error messages
Jason Felice
9 years ago
02a4c48
Consolidate layout001 tests
Steven Shaw
10 years ago
09263c1
Don't query width when not a tty
Niklas Larsson
10 years ago
97752ca
Renamed test file to make globbing order portable.
Steven Shaw
10 years ago
563cae4
Add EvanB's NonLayout test case.
Steven Shaw
10 years ago
a936a59
Check the indent rule on the rhs of functions.
Steven Shaw
10 years ago
8b64f7f
Add more test cases for #729.
Steven Shaw
10 years ago
368ed1d
Add test case from bug #729 (layout rule).
Steven Shaw
10 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list