Revision 10
Added by Willibald K. over 8 years ago
| TypeKind.java | ||
|---|---|---|
| 35 | 35 |
EnumeratedType(3), |
| 36 | 36 |
ListType(4), |
| 37 | 37 |
MapType(5), |
| 38 |
QrType(6),
|
|
| 38 |
// QrType(6), // no longer supported
|
|
| 39 | 39 |
TupleType(7), |
| 40 | 40 |
FunctionType(8), |
| 41 | 41 |
OoActionSystemType(9), |
Also available in: Unified diff
restrict list casts to something useful - i.e. inner type sizes must not change; this is in preparation for faster dynamic list support in momut; deep casts now need to be done manually by the user via fold operations or can be added again to the ooas compiler as a more expensive, special cast operator; also more cleaning of Qualitative Action System stuff