on d689c19 help sign in
Idris-dev/test/layout001
18 files
../ expectedUse iWarn for parse errors layout001a.idrCheck the indent rule on the rhs of functions. layout001b.idrCheck the indent rule on the rhs of functions. layout001c.idrAdd more test cases for #729. layout001d.idrAdd more test cases for #729. layout001e.idrAdd more test cases for #729. layout001f.idrAdd more test cases for #729. layout001g.idrAdd more test cases for #729. layout001h.idrAdd more test cases for #729. layout001i.idrAdd more test cases for #729. layout001j.idrAdd more test cases for #729. layout001k.idrAdd more test cases for #729. layout001l.idrCheck the indent rule on the rhs of functions. layout001n.idrRenamed test file to make globbing order portable. mplus1.idrAdd more test cases for #729. mplus2.idrAdd more test cases for #729. mplus3.idrAdd more test cases for #729. runSet "--port none" in tests