dev:crosscompiler:type_checking
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
| dev:crosscompiler:type_checking [2019/07/16 08:16] – ursgraf | dev:crosscompiler:type_checking [2019/07/16 12:07] – ursgraf | ||
|---|---|---|---|
| Line 22: | Line 22: | ||
| All the explanations above were for // | All the explanations above were for // | ||
| - The check against //Object// is never necessary. It will be eliminated already in the Bytecode. | - The check against //Object// is never necessary. It will be eliminated already in the Bytecode. | ||
| - | - Bei einer misslungenen Prüfung wird eine Trap-Instruktion ausgelöst. | + | - A failing check has to cause an exception. |
| - A '' | - A '' | ||
dev/crosscompiler/type_checking.txt · Last modified: 2022/12/20 11:43 by ursgraf
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
