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=Int
implementation module test
import StdEnv
f :: (m a) -> Int | length m
f x = length x