From 2c25110ad2f5e636239ba65a2154aae79ffa253c Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 7 Dec 2018 21:53:29 +0000
Subject: Working on better flow typing for ASL

On a new branch because it's completely broken everything for now
---
 src/spec_analysis.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/spec_analysis.ml')

diff --git a/src/spec_analysis.ml b/src/spec_analysis.ml
index 9453e999..84fa8235 100644
--- a/src/spec_analysis.ml
+++ b/src/spec_analysis.ml
@@ -309,7 +309,9 @@ let fv_of_kind_def consider_var (KD_aux(k,_)) = match k with
   | KD_nabbrev(_,id,_,nexp) -> init_env (string_of_id id), fv_of_nexp consider_var mt mt nexp
 
 let fv_of_type_def consider_var (TD_aux(t,_)) = match t with
-  | TD_abbrev(id,_,typschm) -> init_env (string_of_id id), snd (fv_of_typschm consider_var mt mt typschm)
+  | TD_abbrev(id,typq,Typ_arg_aux(Typ_arg_typ typ, l)) ->
+     let typschm = TypSchm_aux (TypSchm_ts (typq,typ), l) in
+     init_env (string_of_id id), snd (fv_of_typschm consider_var mt mt typschm)
   | TD_record(id,_,typq,tids,_) ->
     let binds = init_env (string_of_id id) in
     let bounds = if consider_var then typq_bindings typq else mt in
-- 
cgit v1.2.3