Skip to content

GitLab

C
compiler
Closed
Opened by Camil Staps@cstaps🚀
Report abuse New issue

Incorrect incorrect type warning

With the current compiler, the following program gives an incorrect type warning for Start:

module w

s :: *World -> *World
s w = w

Start w = s w

And running it fails with a type error.

Edited by Camil Staps
To upload designs, you'll need to enable LFS. More information