git.iko.soy/Idris-dev
on f0a67ff help sign in
Idris-dev/test/error007/expected
15 lines 436 B history raw
1error007.idr:26:17:
2When checking right hand side of answer_to_connection with expected type
3 IO Int
5When checking argument code to function Main.send_page:
6 Type mismatch between
7 translate I32 (Type of code)
8 and
9 Int (Expected type)
11 Specifically:
12 Type mismatch between
13 Bits32
14 and
15 Int