wrong type leads to endless recursion

[maeder]

logic HasCASL

spec List =
  var elem : Type;
  type List elem

spec Processes = List then
     var msg : Type;
     type Process msg
     type ProcessList msg := List (Process msg);

spec States = Processes
 then
 var msg : Type;
 free type State msg ::= mkstate ProcessList

The missing argument for the type synonym ProcessList leads to an endless recursion. The last line should be

free type State msg ::= mkstate (ProcessList msg)

[maeder]

fixed by changeset:12784