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.

1 files changed, 2 insertions, 0 deletions

diff --git a/src/ast_util.mli b/src/ast_util.mli
index ae340839..94f3f0cc 100644
--- a/src/ast_util.mli
+++ b/src/ast_util.mli
@@ -86,6 +86,8 @@ val string_of_index_range : index_range -> string
 
 val id_of_fundef : 'a fundef -> id
 
+val id_of_kid : kid -> id
+
 module Id : sig
   type t = id
   val compare : id -> id -> int