tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-09-20 16:08:14 +03:00
Code Issues Projects Releases Wiki Activity

Add test for shallow type inference

Browse Source
This commit is contained in:
Yann Hamdaoui 2021-01-28 12:39:55 +01:00
parent b97568f170
commit 7b2a8d5ccd
1 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/typecheck.rs
View File

@ -1873,6 +1873,7 @@ mod tests {
use crate::parser::lexer;
use crate::term::make as mk_term;
use crate::transformations::transform;
use assert_matches::assert_matches;
use codespan::Files;
use crate::parser;
@ -2378,4 +2379,22 @@ mod tests {
parse_and_typecheck("{gen_ = fun acc x => if x == 0 then acc else gen_ (acc @ [x]) (x - 1)}.gen_ : List Num -> Num -> List Num").unwrap();
parse_and_typecheck("{f = fun x => f x}.f : forall a. a -> a").unwrap();
}
#[test]
fn shallow_type_inference() {
parse_and_typecheck("let x = 1 in (x + 1 : Num)").unwrap();
assert_matches!(
parse_and_typecheck("let x = (1 + 1) in (x + 1 : Num)"),
Err(TypecheckError::TypeMismatch(..))
);
parse_and_typecheck("let x = \"a\" in (x ++ \"a\" : Str)").unwrap();
assert_matches!(
parse_and_typecheck("let x = \"a#{1}\" in (x ++ \"a\" : Str)"),
Err(TypecheckError::TypeMismatch(..))
);
parse_and_typecheck("let x = false in (x || true : Bool)").unwrap();
parse_and_typecheck("let x = false in let y = x in let z = y in (z : Bool)").unwrap();
}
}