<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
    <title></title>
  </head>

  <body>
    <p style="margin: 0px;"><span> </span></p>

    <p style="margin: 0px;"> </p>

    <div style="margin: 5px 0px 5px 0px;">
      michael.vancanneyt@wisa.be hat am 7. Juli 2011 um 13:10 geschrieben:<br/>
      <br/>
      >[..]<br/>
      > That's what I've been saying all along. You don't even need strings for it.<br/>
      > Plain records and integers will do it just as well.
    </div><br/>
    Yes.<br/>
    I hope the example helps people understanding this.<br/>
    <br/>
    Maybe an example can be added to the documentation to explain that 'const' is not a total protection.<br/>
    <br/>
    Mattias<br/>
    <br/>
  </body>
</html>