on 0b669c7 help sign in
12 lines 214 B history raw
1BadDef.idr:14:1-8:
2 |
314 | %runElab mkBadDef1
4 | ~~~~~~~~
5While running an elaboration script, the following error occurred:
6Type mismatch between
7 ()
8and
9 String
11message error
12unification error