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.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information