The one place for your designs
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.
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 wAnd running it fails with a type error.