Module Frontend.Deprecation_analysis

Utilities for emitting deprecation warnings and finding proper replacements for deprecated features

val expired : (int * int) -> bool
val deprecated_functions : (string * (int * int)) Core.String.Map.t
val rename_deprecated : (string * (int * int)) Core.String.Map.t -> string -> string
val stan_lib_deprecations : (string * (int * int)) Core.String.Map.t
val collect_warnings : Ast.typed_program -> Warnings.t list
val remove_unneeded_forward_decls : Ast.typed_program -> Ast.typed_program
val set_jacobian_compatibility_mode : Ast.untyped_statement list -> unit

Pre-Stan 2.39, we need to know if _jacobian functions are FnPlain or not. We use the presence of any jacobian+= statements as our condition. If none are present, we assume this is old code.