From 88c956dc0ee2e4e22c04d7a841d070cca7cca2a0 Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Thu, 7 Feb 2019 14:30:41 -0800
Subject: Add parameterization support for bitfields.

This supports the following syntax:

  type xlen : Int = 64
  type ylen : Int = 1

  type xlenbits = bits(xlen)

  bitfield Mstatus : xlenbits = {
    SD  : xlen - ylen,
    SXL : xlen - ylen - 1 .. xlen - ylen - 3
  }
---
 src/parser.mly | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/parser.mly')

diff --git a/src/parser.mly b/src/parser.mly
index cbbc41e3..bd832d28 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -1130,9 +1130,9 @@ funcl_typ:
     { mk_tannot mk_typqn $1 $startpos $endpos }
 
 index_range:
-  | Num
+  | typ
     { mk_ir (BF_single $1) $startpos $endpos }
-  | Num DotDot Num
+  | typ DotDot typ
     { mk_ir (BF_range ($1, $3)) $startpos $endpos }
 
 r_id_def:
-- 
cgit v1.2.3