Added the feature to bind type variables in patterns.

The reason you want this is to do something like (note new parser only):

*********

default Order dec

type bits 'n:Int = vector('n - 1, 'n, dec, bit)

val zeros : forall 'n. atom('n) -> bits('n)

val decode : bool -> unit

function decode b = {
  let 'datasize: {|32, 64|} = if b then 32 else 64;
  let imm: bits('datasize) = zeros(datasize);
  ()
}

*********

for the ASL decode functions, where the typechecker now knows that the
datasize variable and the length of imm are the same.

0 files changed, 0 insertions, 0 deletions