Fix default implementation of appWorld of SysCallEnv. Update docker images.

Gijs Albertsrequested to merge
fix-syscall-env-appworld into main

What does this MR do?

Fix default implementation of appWorld of class SysCallEnv. Update docker images.

I think the implementation in main should not have compiled at all as it is not type correct, any idea why the type checker does not spot this?

Maybe because its a default implementation for a class in a .dcl? Should we mail John about this?

Related issues

N/A

Changes to public APIs

N/A

Author's checklist (required)

See CONTRIBUTING.md for the rationale behind these items:

  • The commit history does not contain merges (use git rebase -i master if it does)
  • Intermediate commits compile (use git rebase -i master if not)
  • Newly added code follows the Platform code style
  • Newly added code is documented
  • If bugs have been solved, tests have been added
  • Appropriate types have been used, especially in APIs
  • If efficiency is part of the acceptance criteria of the issue, a benchmark is provided
  • A changelog entry has been added if required. See CONTRIBUTING.md

Merge request reports