* felix winkelmann <[email protected]> [120819 01:56]: > > * felix winkelmann <[email protected]> [120815 > > 21:40]: > >> Type-specifiers given in "##core#typecase"/"compiler-typecase" > >> forms must be validated, as the validation resolved type-aliases > >> created with "define-type". > >> > >> Reported by, guess who? megane. Should fix #897. > > > > This fails the scrutiny test for me: > > > > Sorry - the "fix" didn't handle the "else" case in clauses > correctly. Attached is a new version of the patch. I also moved all > type-validation into the expansion/canonicalization of user forms (in > some cases this was done for "##core#..." forms). The advantage is > more consistency and better error-reporting but code expanding into > the core forms needs to perform type-validation (as this resolves > type-variables). This is not needed in user code, but must be kept in > mind for macros in the core system. The change looks more involved > than it actually is, due to some re-factoring. All tests pass for me.
Same here, thanks for the refactoring. I have pushed it. -- Be right back -- Godot. _______________________________________________ Chicken-hackers mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/chicken-hackers
