Skip to content
  • ram's avatar
    96ae38ae
    Merged in changes from the MIPS branch, mainly the primitive-type-aliases · 96ae38ae
    ram authored
    stuff.
    load-function => move-function
    Add meta-compile-time primitive-type info so that we can do more consistency
    checking.
    Put back primitive-type args to TN constructors.
    Changed load-scs vector to hold a list of all SCs that we can load into, ot
    T if the SC is directly allowed.
    Added consistency checking to compare the operand primitive-type
    restrictions with the SC restrictions.
    96ae38ae
    Merged in changes from the MIPS branch, mainly the primitive-type-aliases
    ram authored
    stuff.
    load-function => move-function
    Add meta-compile-time primitive-type info so that we can do more consistency
    checking.
    Put back primitive-type args to TN constructors.
    Changed load-scs vector to hold a list of all SCs that we can load into, ot
    T if the SC is directly allowed.
    Added consistency checking to compare the operand primitive-type
    restrictions with the SC restrictions.
Loading