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

Infer function calls

Browse source
This commit is contained in:
Richard Feldman 2019-08-31 21:32:14 -04:00
parent a2a9e9c022
commit 966bb60766
7 changed files with 140 additions and 58 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/types.rs
View file

@ -36,6 +36,10 @@ impl<T> Expected<T> {
#[derive(Debug, Clone)]
pub enum Reason {
AnonymousFnArg(u8 /* arg index */),
NamedFnArg(String /* function name */, u8 /* arg index */),
AnonymousFnCall(u8 /* arity */),
NamedFnCall(String /* function name */, u8 /* arity */),
OperatorLeftArg(Operator),
OperatorRightArg(Operator),
FractionalLiteral,
@ -63,7 +67,7 @@ pub struct LetConstraint {
#[derive(PartialEq, Eq, Debug, Clone)]
pub enum Problem {
GenericMismatch(Box<Type>, Box<Type>),
GenericMismatch,
ExtraArguments,
MissingArguments,
IfConditionNotBool,