Runtime error with functional dependencies in class contexts
Hi, I'm getting a runtime error with functional dependencies in class contexts:
class ~= a | TypeEq a bool where
cast :: a
class TypeEq a ~bool1 where
typeEq :: a -> bool1
Error:
Bring up to date...
Compiling...
Analyzing 'main'.
[main.icl,]: .abc out of date, different compiler options. (Dynamics)
Compiling 'main'.
Run time error, selector does not matchread failed 0
I would expect this to work, or at least give a clear error.
Environment: iTasks with -aui compiler flag