language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-04 12:18:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Support opaques, aliases, and abilities in repl

Browse source
This commit is contained in:
Richard Feldman 2022-10-30 15:00:47 -04:00
parent 9f7a38408a
commit 8b4e864a90
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
2 changed files with 34 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

39
crates/repl_cli/src/repl_state.rs
View file

@ -4,7 +4,7 @@ use bumpalo::Bump;
use const_format::concatcp;
use roc_collections::MutSet;
use roc_mono::ir::OptLevel;
use roc_parse::ast::{Expr, Pattern, TypeDef, ValueDef};
use roc_parse::ast::{Expr, Pattern, TypeDef, TypeHeader, ValueDef};
use roc_parse::expr::{parse_single_def, ExprParseOptions, SingleDef};
use roc_parse::parser::Either;
use roc_parse::parser::{EClosure, EExpr};
@ -128,8 +128,8 @@ impl ReplState {
// Record the standalone type annotation for future use.
self.add_past_def(ident.trim_end().to_string(), src.to_string());
// Return early without running eval, since neither standalone annotations
// nor pending potential AnnotatedBody exprs can be evaluated as expressions.
// Return early without running eval, since standalone annotations
// cannnot be evaluated as expressions.
return String::new();
}
ValueDef::Body(
@ -166,9 +166,36 @@ impl ReplState {
}
}
}
ParseOutcome::TypeDef(_) => {
// Alias, Opaque, or Ability
todo!("handle Alias, Opaque, or Ability")
ParseOutcome::TypeDef(TypeDef::Alias {
header:
TypeHeader {
name: Loc { value: ident, .. },
..
},
..
})
| ParseOutcome::TypeDef(TypeDef::Opaque {
header:
TypeHeader {
name: Loc { value: ident, .. },
..
},
..
})
| ParseOutcome::TypeDef(TypeDef::Ability {
header:
TypeHeader {
name: Loc { value: ident, .. },
..
},
..
}) => {
// Record the type for future use.
self.add_past_def(ident.trim_end().to_string(), src.to_string());
// Return early without running eval, since none of these
// can be evaluated as expressions.
return String::new();
}
ParseOutcome::Incomplete => {
if src.ends_with('\n') {

4
crates/repl_test/src/tests.rs
View file

@ -993,9 +993,7 @@ fn tag_with_type_behind_alias() {
r#"
T : [A Str]
v : T
v = A "value"
v
"#
v = A "value""#
),
r#"A "value" : T"#,
);