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

Remove Blank, support Erroneous

Browse source
This commit is contained in:
Richard Feldman 2019-08-29 23:54:10 -04:00
parent ded3ba7f54
commit 10631d0dd0
4 changed files with 10 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/solve.rs
View file

@ -106,16 +106,11 @@ fn type_to_variable(subs: &mut Subs, typ: Type) -> Variable {
subs.fresh(Descriptor::from(content))
},
_ => panic!("TODO type_to_var {:?}", typ)
Erroneous(problem) => {
let content = Content::Structure(FlatType::Erroneous(problem));
// AppN home name args ->
// do argVars <- traverse go args
// register rank pools (Structure (App1 home name argVars))
// FunN a b ->
// do aVar <- go a
// bVar <- go b
// register rank pools (Structure (Fun1 aVar bVar))
subs.fresh(Descriptor::from(content))
}
}
}