git.iko.soy/Idris-dev
on f25bcfe help sign in
Idris-dev/test/error007/expected
19 lines 542 B history raw
1error007.idr:26:7-29:
2 |
326 | send_page conn str code -- (prim__zextB32_Int code)
4 | ~~~~~~~~~~~~~~~~~~~~~~~
5When checking right hand side of answer_to_connection with expected type
6 IO Int
8When checking argument code to function Main.send_page:
9 Type mismatch between
10 translate I32 (Type of code)
11 and
12 Int (Expected type)
14 Specifically:
15 Type mismatch between
16 Bits32
17 and
18 Int