| 1 | //! Semantic validation pass. |
| 2 | //! |
| 3 | //! Sprint 13 split this module into a directory: |
| 4 | //! * `core.rs` — entry points and the bulk of statement-/decl-level checks. |
| 5 | //! * `pure_elemental.rs` — pure / elemental procedure constraints. |
| 6 | //! * `allocatable.rs` — `allocatable` / `pointer` integrity checks. |
| 7 | //! * `pointer.rs` — pointer-target validation for `=>` assignments. |
| 8 | //! |
| 9 | //! Public re-exports below preserve the previous flat surface |
| 10 | //! (`crate::sema::validate::validate_file`, `is_intrinsic_name`, |
| 11 | //! `FortranStandard`, ...) so the rest of the compiler isn't disturbed. |
| 12 | |
| 13 | mod allocatable; |
| 14 | mod core; |
| 15 | mod pointer; |
| 16 | mod pure_elemental; |
| 17 | |
| 18 | pub use core::*; |
| 19 |