mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-18 00:31:57 +03:00
5e9837828a
- Added initial implementations for terms and values - Error messages converted to pretty printer - Colorization for error messages - Color and console width option both as command line and repl command
10 lines
270 B
Plaintext
10 lines
270 B
Plaintext
1/1: Building lammult (lammult.idr)
|
|
Error: While processing right hand side of badmap. When unifying (0 _ : ?a) -> ?b and ?a -> ?b.
|
|
Mismatch between: (0 _ : ?a) -> ?b and ?a -> ?b.
|
|
|
|
lammult.idr:2:15--2:24
|
|
|
|
|
2 | badmap = map (\0 x => 2)
|
|
| ^^^^^^^^^
|
|
|