Fix the islinear_type function to handle applications of type functions.

felix-lang · Feb 3, 2022 · d00cc9d · d00cc9d
1 parent 19e064b
commit d00cc9d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/compiler/flx_core/flx_btype.ml b/src/compiler/flx_core/flx_btype.ml
@@ -365,8 +365,10 @@ let rec islinear_type t =
   | BTYP_compactarray _
     -> true
 
-  | BTYP_inst (_,_,_,k)
+  | BTYP_type_apply (BTYP_finst (_,_,_,k),_)
+  | BTYP_type_apply (BTYP_inst (_,_,_,KIND_function (_,k)),_)
   | BTYP_typeop (_,_,k)
+  | BTYP_inst (_,_,_,k)
   | BTYP_type_var (_,k) -> kind_ge2 KIND_compactlinear k
 
   | _ -> false