Run time error and many "inconsistent attribution" errors when using an undefined type
In the current nightly, when I change the type of the IWorld.engineOptions
field in iTasks.Internal.IWorld to a non-existent type (e.g. engineOptions :: !X
) and try to recompile the module, the compiler gives many "inconsistent attribution" errors which I think should not be there, and eventually crashes with a run time error:
$ cpm project BasicAPIExamples.prj compile iTasks.Internal.IWorld
Compiling 'iTasks.Internal.IWorld'.
Run time error, rule '<case>[line:864];11;433' in module 'checktypes' does not match
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: X undefined
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,35,IWorld]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,61,TaskEvalState]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,61,TaskEvalState]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,61,TaskEvalState]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,61,TaskEvalState]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,61,TaskEvalState]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,69,IOTasks]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,69,IOTasks]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,78,ListenerInstanceOpts]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,78,ListenerInstanceOpts]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,78,ListenerInstanceOpts]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,78,ListenerInstanceOpts]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,84,ConnectionInstanceOpts]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,84,ConnectionInstanceOpts]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,84,ConnectionInstanceOpts]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,84,ConnectionInstanceOpts]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,84,ConnectionInstanceOpts]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,120,ClockParameter]: inconsistent attribution of type definition
Error [iTasks.Internal.IWorld.dcl,120,ClockParameter]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,25,WebTask]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,25,WebTask]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,30,StartupTask]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,30,StartupTask]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,36,TaskWrapper]: a type variable already defined
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,59,EngineOptions]: inconsistent attribution of type definition
Error [iTasks.Engine.dcl,49,Startable]: a (variable) already defined