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
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.