Skip to content
Success

Changes

Summary

  1. corrections, update loop control (details)
  2. Visit the else_ children of loops. I don't know how things worked this long, but hopefully it will not matter going forward. (details)
  3. 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)
Commit 3be81a4f4d89f40c05e9d5218b3b49580d239127 by Peter Buhr
corrections, update loop control
The file was modifieddoc/user/user.tex
Commit 358e3481532c4a664f6dc35f8bec22c252d9e7f3 by ajbeach
Visit the else_ children of loops. I don't know how things worked this long, but hopefully it will not matter going forward.
The file was modifiedsrc/AST/Pass.impl.hpp
Commit 236f13390c74aff36386095c9fc9fff394243822 by j82liang
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
The file was modifiedsrc/Validate/ImplementEnumFunc.cpp
The file was modifiedlibcfa/src/enum.hfa
The file was modifiedlibcfa/src/enum.cfa
The file was modifiedtests/enum_tests/voidEnum.cfa
The file was addedtests/enum_tests/.expect/voidEnum.txt