Remove expand pass. Fix library function uniq, kind should be TYPE->L…

…INEAR not LINEAR->LINEAR.
felix-lang · May 19, 2022 · 22d49ed · 22d49ed
1 parent 7eb953f
commit 22d49ed
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/src/compiler/flx_bind/flx_bbind.ml b/src/compiler/flx_bind/flx_bbind.ml
@@ -137,6 +137,7 @@ print_endline ("[flx_bbind] bind_symbol " ^ sym.Flx_sym.id ^ "??");
   print_endline ("\n==========================================\n");
 *)
   (* DOING EXPANSION NOW *)
+(*
   Flx_bsym_table.iter (fun bid parent bsym ->
     let bbdcl = Flx_bsym.bbdcl bsym in
     let sr = Flx_bsym.sr bsym in
@@ -159,6 +160,7 @@ print_endline ("[flx_bbind] bind_symbol " ^ sym.Flx_sym.id ^ "??");
  
     | _ -> ()
   ) bsym_table;
+*)
 (*
   print_endline ("\n=====================\n TYPEDEFS after expansion\n=====================\n");
   Flx_bsym_table.iter (fun bid parent bsym ->

diff --git a/src/packages/unique.fdoc b/src/packages/unique.fdoc
@@ -22,7 +22,7 @@ open class Unique
   fun unwrap[T] : _borrowed T -> T = "($t)";
 
   // functor for typing
-  typefun uniq (T:LINEAR):LINEAR => _uniq T;
+  typefun uniq (T:TYPE):LINEAR => _uniq T;
 
   // NOTE: DEPRECATED
   // peek inside the box without changing livenes state