language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 08:34:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Improve some comments

Browse source
This commit is contained in:
Richard Feldman 2019-12-06 20:29:38 -05:00
parent 62282c213f
commit 6803838994
2 changed files with 7 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/solve.rs
View file

@ -19,10 +19,11 @@ pub fn solve(env: &Env, subs: &mut Subs, constraint: &Constraint) {
}
Lookup(symbol, expected_type, _region) => {
// TODO use region?
let actual =
subs.copy_var(*env.get(&symbol).unwrap_or_else(|| {
panic!("Could not find symbol {:?} in env {:?}", symbol, env)
}));
let actual = subs.copy_var(*env.get(&symbol).unwrap_or_else(|| {
// TODO Instead of panicking, solve this as True and record
// a Problem ("module Foo does not expose `bar`") for later.
panic!("Could not find symbol {:?} in env {:?}", symbol, env)
}));
let expected = type_to_var(subs, expected_type.clone().get_type());
unify(subs, actual, expected);