mirror of
https://github.com/roc-lang/roc.git
synced 2024-09-22 00:09:33 +03:00
Add annotated_body repl test
This commit is contained in:
parent
99f4d99771
commit
c39ac00659
@ -30,6 +30,21 @@ fn persisted_defs() {
|
|||||||
complete("val1 + x + y", &mut state, Ok(("15 : Num *", "val2")));
|
complete("val1 + x + y", &mut state, Ok(("15 : Num *", "val2")));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn annotated_body() {
|
||||||
|
let mut input = "t : [A, B, C]".to_string();
|
||||||
|
|
||||||
|
incomplete(&mut input);
|
||||||
|
|
||||||
|
input.push_str("t = A");
|
||||||
|
|
||||||
|
incomplete(&mut input);
|
||||||
|
|
||||||
|
let mut state = ReplState::new();
|
||||||
|
|
||||||
|
complete(&input, &mut state, Ok(("A : [A]*", "t")));
|
||||||
|
}
|
||||||
|
|
||||||
#[test]
|
#[test]
|
||||||
fn exhaustiveness_problem() {
|
fn exhaustiveness_problem() {
|
||||||
let mut input = "t : [A, B, C]".to_string();
|
let mut input = "t : [A, B, C]".to_string();
|
||||||
|
Loading…
Reference in New Issue
Block a user