Commit 2c8bb852 authored by Leif-Erik Krüger's avatar Leif-Erik Krüger
Browse files

Update the dictionary translation to support MPTCs...

Update the dictionary translation to support MPTCs https://git.ps.informatik.uni-kiel.de/theses/2021/2021-lkrueger-ma/-/issues/5

- Many functions had to be updated to work with lists of types or idents instead of single ones.
- Super classes are no longer represented by qualified idents but by `SuperClassInfo`s. Functions defined in the class environment are used to work with these data.
- The identifiers for super class dictionary stubs, instance dictionary functions and instance method implementations have been changed to work with multi-parameter type classes and further planned extensions. An extensive comment explaining these identifiers has been added.
- Other comments have been updated to encompass multi-parameter type classes as well.
parent d5cd3992
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment