Summary
- corrections, update loop control (details)
- Visit the else_ children of loops. I don't know how things worked this long, but hopefully it will not matter going forward. (details)
- Remove quasi_void for enums. The idea of quasi_void from Mike was to get around some resolution problem that enum pick function defines for Bounded over CfaEnum/TypedEnum. But it is not clear that how often this can happen, and cfa might change the cast function scheme in the future. (change cost comparison scheme) Deprecate quasi_void for now so that enum traits looks cleaner without the dummy type for opaque enums (details)
The file was modified | doc/user/user.tex |
The file was modified | src/AST/Pass.impl.hpp |
The file was modified | src/Validate/ImplementEnumFunc.cpp |
The file was modified | libcfa/src/enum.hfa |
The file was modified | libcfa/src/enum.cfa |
The file was modified | tests/enum_tests/voidEnum.cfa |
The file was added | tests/enum_tests/.expect/voidEnum.txt |