wip

Author: amosr-msft

src/basic/FStarC.Options.fst

@@ -1122,7 +1122,7 @@ let specs_with_types warn_unsafe : list (char & string & opt_type & Pprint.docum
   ( noshort,
    "lang_extensions",
     Accumulated (SimpleStr "extension"),
-    text "Automatically enable the given language extensions based on the file extension. For example, value `pulse` allows using *.pulse and *.pulsei files.");
+    text "Automatically enable the given language extensions based on the file extension; the language extension's .cmxs must be on the include path or loaded with --load_cmxs");
 
   ( noshort,
     "lax",

src/ml/FStarC_Parser_ParseIt.ml

@@ -85,7 +85,7 @@ let has_extension file extensions =
   FStar_List.existsb (U.ends_with file) extensions
 
 let take_lang_extension file =
-  FStar_List.tryFind (fun x -> U.ends_with file ("."^x)) (extra_extensions ())
+  FStar_List.tryFind (fun x -> U.ends_with file ("."^x)) (FStarC_Options.lang_extensions ())
 
 let check_extension fn =
   if (not (has_extension fn (fst_extensions ()))) then
@@ -548,7 +548,11 @@ let parse_lang lang fn =
     let rng = FStarC_Range.mk_range s.frag_fname frag_pos frag_pos in
     let decls = FStarC_Parser_AST_Util.parse_extension_lang lang s.frag_text rng in
     let comments = FStarC_Parser_Util.flush_comments () in
-    ASTFragment (Inr decls, comments)
+    let frag = match fn with
+      | Filename _ | Toplevel _ -> FStarC_Parser_AST.as_frag decls
+      | _ -> FStar_Pervasives.Inr decls
+    in
+    ASTFragment (frag, comments)
   with
   | FStarC_Errors.Error(e, msg, r, _ctx) ->
     ParseError (e, msg, r)