From 73e54aeec2febe58424b44c2c8f649b29910f3d9 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 12 Jul 2017 17:39:36 +0100
Subject: Various small changes

* Experimented with using list<bit> to clean up manually monomorphised code in MIPS tlb
* Added option -dtc_verbose to control verbosity of new typechecker
* Allowed functions with val specs to omit their type declarations
---
 src/parser.mly | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/parser.mly')

diff --git a/src/parser.mly b/src/parser.mly
index e4b05d29..9f48067f 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -437,7 +437,7 @@ tup_typ:
 typ:
   | tup_typ
     { $1 }
-  | tup_typ MinusGt typ Effect effect_typ
+  | tup_typ MinusGt tup_typ Effect effect_typ
     { tloc (ATyp_fn($1,$3,$5)) }
 
 lit:
-- 
cgit v1.2.3