Skip to main content

check_prelude_version

Function check_prelude_version 

Source
pub fn check_prelude_version(found: &str) -> Result<(), EnvironmentError>
Expand description

Refuse any prelude tag but this checker’s own, explicitly for a retired one.