• andy@galois.com's avatar
    TickBox representation change · 8100cd43
    andy@galois.com authored
    This changes the internal representation of TickBoxes,
    from
            Note (TickBox "module" n)  <expr>
    into
    
            case tick<module,n> of
              _ -> <expr>
    
    tick has type :: #State #World, when the module and tick numbe
    are stored inside IdInfo.
    
    Binary tick boxes change from
    
             Note (BinaryTickBox "module" t f) <expr>
    
    into
    
              btick<module,t,f> <expr>
    
    btick has type :: Bool -> Bool, with the module and tick number
    stored inside IdInfo.
    8100cd43
Name.lhs 13.4 KB