git.iko.soy/Idris-dev
on fdfcdd3 help sign in
Idris-dev/test/layout001/expected
76 lines 1.9 kB history raw
1./layout001a.idr:5:1: error: Wrong
2 indention: should be greater
3 than context
4 indentation, expected: space
5y
6^
7./layout001b.idr:5:3: error: Wrong
8 indention: should be greater
9 than context
10 indentation, expected: space
11= y
12 ^
13./layout001c.idr:3:1: error: Wrong
14 indention: should be greater
15 than context
16 indentation, expected: space
172
18^
19./layout001e.idr:6:1: error: Wrong
20 indention: should be greater
21 than context
22 indentation, expected: space
233
24^
25./layout001f.idr:6:2: error: Wrong
26 indention: should be greater
27 than context
28 indentation, expected: space
29 3
30 ^
31./layout001g.idr:6:3: error: Wrong
32 indention: should be greater
33 than context
34 indentation, expected: space
35 3
36 ^
37./layout001h.idr:6:3: error: Wrong
38 indention: should be greater
39 than context
40 indentation, expected: space
41 3
42 ^
43./layout001i.idr:6:4: error: Wrong
44 indention: should be greater
45 than context
46 indentation, expected: space
47 3
48 ^
49./layout001j.idr:6:5: error: Wrong
50 indention: should be greater
51 than context
52 indentation, expected: space
53 3
54 ^
55./layout001l.idr:6:1: error: Wrong
56 indention: should be greater
57 than context
58 indentation, expected: space
59y
60^
61mplus1.idr:13:31:When checking right hand side of term with expected type
62 Maybe Int
64When checking an application of function Prelude.Applicative.pure:
65 No such variable f
66./mplus2.idr:17:37: error: not
67 end of block, expected: ")",
68 "->", ";", "in",
69 ambiguous use of a left-associative operator,
70 ambiguous use of a non-associative operator,
71 ambiguous use of a right-associative operator,
72 do block expression,
73 end of input
74 `mplus` pure f
75 ^
76mplus3.idr:11:1:warning - Unreachable case: term