Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat(lsp): Add Inlay types #2005

Open
wants to merge 9 commits into
base: main
Choose a base branch
from
+100 −14
Open

feat(lsp): Add Inlay types #2005

Changes from 1 commit
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
3cc4ffe
feat(lsp): Add Inlay types
spotandjake Feb 2, 2024
1a5872a
chore: Simplify `Function` inlays
spotandjake Feb 2, 2024
848978c
feat(lsp): Implement Inlays For parameters
spotandjake Jul 29, 2024
217b7e5
Do not show hints for top level statements
spotandjake Jul 29, 2024
da038be
chore: Disable type hints for functions.
spotandjake Aug 2, 2024
ffc8709
chore: Add flag to toggle the type hints
spotandjake Aug 2, 2024
04048de
chore: Apply suggestions from code review
spotandjake Aug 2, 2024
d281379
chore: Apply suggestions from oscar code review
spotandjake Aug 5, 2024
e86c6f2
chore: Remove cmdline toggle
spotandjake Oct 4, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
feat(lsp): Implement Inlays For parameters
  • Loading branch information
@spotandjake
spotandjake committed Oct 4, 2024
commit 848978cff7f67b81feaac59c5d896eeeb788531f
70 changes: 53 additions & 17 deletions compiler/src/language_server/inlayhint.re
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -38,14 +38,16 @@ let build_hint =
{label: ": " ++ message, position};
};

let rec string_of_typ = (typ: Types.type_expr) => {
let rec resolve_typ = (typ: Types.type_expr) => {
switch (typ.desc) {
| TTyArrow(_, _, _) => "Function"
| TTyLink(type_expr)
| TTySubst(type_expr) => string_of_typ(type_expr)
| _ => Printtyp.string_of_type_scheme(typ)
| TTySubst(type_expr) => resolve_typ(type_expr)
| _ => typ
};
};
let rec string_of_typ = (typ: Types.type_expr) => {
Printtyp.string_of_type_scheme(resolve_typ(typ));
};

let find_hints = program => {
let hints = ref([]);
Expand All @@ -54,24 +56,58 @@ let find_hints = program => {
module Iterator =
TypedtreeIter.MakeIterator({
include TypedtreeIter.DefaultIteratorArgument;
let enter_toplevel_stmt = (stmt: toplevel_stmt) => {
switch (stmt.ttop_desc) {
| TTopInclude(inc) =>
let name = Path.name(inc.tinc_path);

let stmt_loc = stmt.ttop_loc;
let stmt_end = stmt_loc.loc_end;

let p: Protocol.position = {
line: stmt_end.pos_lnum - 1,
character: stmt_end.pos_cnum - stmt_end.pos_bol + 1 + 1,
};
hints := [build_hint(p, name), ...hints^];
let enter_expression = ({exp_desc, exp_type}: expression) => {
switch (exp_desc) {
| TExpLambda(bindings, _) =>
List.iter(
({mb_pat, mb_loc}: match_branch) => {
// Get Parameters
switch (mb_pat.pat_desc) {
| TPatTuple(args) =>
switch (resolve_typ(exp_type).desc) {
| TTyArrow(typ_args, _, _) =>
// Iterate For Types
let argument_typs =
List.map(
((arg, typ: Types.type_expr)) =>
switch (arg) {
| Default(_) => None
| _ => Some(typ)
},
typ_args,
);
// Make Hints
if (List.length(argument_typs) == List.length(args)) {
List.iter(
((arg: pattern, typ: option(Types.type_expr))) => {
switch (arg.pat_desc, typ) {
| (TPatVar(_, _), Some(typ)) =>
let bind_end = arg.pat_loc.loc_end;
let p: Protocol.position = {
line: bind_end.pos_lnum - 1,
character: bind_end.pos_cnum - bind_end.pos_bol,
};
let typeSignature = string_of_typ(typ);
hints := [build_hint(p, typeSignature), ...hints^];
| _ => ()
}
},
List.combine(args, argument_typs),
);
};
| _ => ()
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would this ever be possible? If not should we do failwith("Impossible: ...")?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It seems as though there is a case where it can be a constructor.

}
| _ => ()
}
},
bindings,
)
| _ => ()
};
};

let enter_binding = ({vb_pat}: value_binding) => {
let enter_binding = ({vb_pat, vb_expr}: value_binding) => {
switch (vb_pat.pat_extra) {
| [] =>
switch (vb_pat.pat_desc) {
Expand Down