<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">(I've recently tested the latest version of the compiler and found that extracting or emitting individual header fields is no longer acceptable. The compiler demands the parameter for extract() to be header, stack or union. I assumed unions were really being implemented into the language, so I snooped the project files and found the header_union construct.)<br></blockquote><div><br></div><div>Header unions are still being designed and are tagged as an experimental feature in the course code. We are hoping to finalize and release the design and implementation next month.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Let's say I extract into a. If I then read/write to b.fixedF, can I expect it to yield equivalent results as if I were reading/writing to a.fixedField? </blockquote><div><br></div><div>No. The current design is more like a tagged union.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Also, will header_union have an isValid() method? (currently they don't seem to have one)</blockquote><div><br></div><div>Not currently. Is there a strong reason for having one?</div><div><br></div><div>-N </div></div></div></div>