The following fails to typecheck with: sol-core: src/Solcore/Frontend/TypeInference/TcContract.hs:(91,1)-(113,24): Non-exhaustive patterns in function tcTopDecl:
type memory(t) = word;
IMO actually implementing the full functionality here can wait, but it would be nice if it wouldn't crash the compiler.
The following fails to typecheck with:
sol-core: src/Solcore/Frontend/TypeInference/TcContract.hs:(91,1)-(113,24): Non-exhaustive patterns in function tcTopDecl:IMO actually implementing the full functionality here can wait, but it would be nice if it wouldn't crash the compiler.