There was an error while loading. Please reload this page.
2 parents e9c1a5f + 00bc0a5 commit 22605e2Copy full SHA for 22605e2
1 file changed
src/type_checker/fn_env.rs
@@ -192,8 +192,7 @@ impl TypedFnEnv {
192
}
193
194
/// Retrieves type information on a variable, given a name.
195
- /// If the variable is not in scope, return false.
196
- // TODO: return an error no?
+ /// If the variable is not in scope, return `None`.
197
pub fn get_type_info(&self, ident: &str) -> Result<Option<&TypeInfo>> {
198
if let Some((scope, type_info)) = self.vars.get(ident) {
199
if self.is_forbidden(*scope, type_info.clone()) {
0 commit comments