Compiler crashes when special is used with the wrong kind
For example, the compiler crashes on compiling the module below in which m has kind *->* but is given a type of kind *:
TVI_CorrespondenceNumber 0
type.icl: to_constructor_variable, tvi
definition module test
import StdEnv
f :: (m a) -> Int | length m
special m=Intimplementation module test
import StdEnv
f :: (m a) -> Int | length m
f x = length x
To upload designs, you'll need to enable LFS. More information