Remove chop_suffix since the local prefix isn't used anyhow.

felix-lang · Sep 3, 2022 · 2c04361 · 2c04361
1 parent 9259788
commit 2c04361
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/src/compiler/flxg/flxg_parse.ml b/src/compiler/flxg/flxg_parse.ml
@@ -145,7 +145,14 @@ let parse_file state parser_state file =
   in
 
   (* Shortcut variables. *)
-  let local_prefix = Filename.chop_suffix (Filename.basename file_name) ".flx" in
+(*
+  let local_prefix = 
+    try Filename.chop_suffix (Filename.basename file_name) ".flx" 
+    with _ -> 
+      print_endline ("Filename '" ^ file_name ^ "' expected to have suffix '.flx' but doesn't!");
+      assert false
+  in
+*)
   let include_dirs = state.syms.compiler_options.include_dirs in
 
   (* Debugging. *)