add some warnings

Author: aviatesk

README.md

@@ -7,28 +7,22 @@
 JET employs Julia's type inference system to detect potential bugs and type instabilities.
 
 > [!WARNING]
-> The latest release **v0.10.0 is a transitional release with limited functionality**:
-> - **Compatibility**: JET v0.10.0 supports Julia v1.12 but is incompatible with v1.11.
+> **The current latest version, v0.10 series, is only compatible with Julia v1.12,
+> and some features may not function correctly at this moment**.
+> - **Compatibility**: JET v0.10 supports Julia v1.12 but is incompatible with v1.11.
 >   Users on v1.11 should continue using JET v0.9, which will only receive bug fixes.
-> - **Functionality**: This version provides basic local analysis features but lacks
->   fully functional top-level analysis capabilities. These will be addressed in future updates.
+> - **Functionality**: ~~This version provides basic local analysis features but lacks~~
+>   ~~fully functional top-level analysis capabilities. These will be addressed in future updates.~~
+> Updated (v0.10.3): As of v0.10.3, Most functions, including `report_package`, should now be functional.
 > - **Future Plans**: Development will focus on stabilizing v0.10 and refactoring JET
 >   for integration with the new language server project. For stable use, stick with v0.9.
 >
-> JET v0.10.0 introduces compatibility with Julia v1.12, addressing significant changes in
+> JET v0.10 series introduces compatibility with Julia v1.12, addressing significant changes in
 > the runtime and compiler systems. However, maintaining compatibility with Julia v1.11 was
 > deemed infeasible, leading to the decision to drop support for it in this release.
 > Users on Julia v1.11 should remain on JET v0.9, which will continue to receive bug fixes
 > but no new features.
 >
-> This release is a stepping stone toward full compatibility with Julia v1.12.
-> Due to the urgency of supporting Julia v1.12 for the [PkgEval](https://github.com/JuliaCI/PkgEval.jl)
-> process, JET v0.10.0 was released despite its limitations:
-> - **Working Features**: Basic local analysis features, such as `[@]report_call` and
->   `[@]report_opt`, are expected to be functional.
-> - **Non-Functional Features**: Top-level analysis features, such as `report_package` and
->   `report_file`, are not yet verified and will be updated in future patch releases.
->
 > ### Future Development:
 > - Updates to the v0.10 series will focus on improving stability and functionality.
 > - Extensive refactoring is planned to support JET's integration into the [JETLS](https://github.com/aviatesk/JETLS.jl) project.

src/JET.jl

@@ -35,7 +35,16 @@ using Base: Compiler as CC
 # precompile when their tests are run, instead there will be test failures when JET is
 # used (but potentially other tests can at least run).
 @static if JET_LOADABLE
-    include("JETBase.jl")
+    if VERSION < v"1.12.0-beta1.11"
+        include("JETBase.jl")
+    end
+    function __init__()
+        @warn """
+        The latest version of JET is incompatible with Julia versions earlier than `v"1.12.0-beta1.11"`.
+        To build a compatible Julia version, follow the instructions at
+        https://github.com/aviatesk/JET.jl/blob/master/CHANGELOG.md#0103.
+        """
+    end
 else
     include("JETEmpty.jl")
 end