Skip to content

Commit

Permalink
chore: Rename doc.re to document.re
Browse files Browse the repository at this point in the history
  • Loading branch information
spotandjake committed Jan 1, 2024
1 parent 7b0549a commit 479b596
Show file tree
Hide file tree
Showing 4 changed files with 9 additions and 7 deletions.
4 changes: 2 additions & 2 deletions compiler/src/language_server/completion.re
Original file line number Diff line number Diff line change
Expand Up @@ -230,7 +230,7 @@ let build_value_completion =
{
label: value_name,
kind: CompletionItemKindValue,
detail: Doc.print_type(env, value_desc.val_type),
detail: Document.print_type(env, value_desc.val_type),
documentation: "",
};
};
Expand All @@ -239,7 +239,7 @@ let build_module_completion =
{
label: module_name,
kind: CompletionItemKindModule,
detail: Doc.print_mod_type(mod_desc),
detail: Document.print_mod_type(mod_desc),
documentation: "",
};
};
Expand Down
File renamed without changes.
File renamed without changes.
12 changes: 7 additions & 5 deletions compiler/src/language_server/hover.re
Original file line number Diff line number Diff line change
Expand Up @@ -50,23 +50,25 @@ let send_no_result = (~id: Protocol.message_id) => {
};

let module_lens = (decl: Types.module_declaration) => {
Doc.grain_code_block(Doc.print_mod_type(decl));
Document.grain_code_block(Document.print_mod_type(decl));
};

let value_lens = (env: Env.t, ty: Types.type_expr) => {
Doc.print_type(env, ty);
Document.print_type(env, ty);
};

let pattern_lens = (p: Typedtree.pattern) => {
Doc.print_type(p.pat_env, p.pat_type);
Document.print_type(p.pat_env, p.pat_type);
};

let type_lens = (ty: Typedtree.core_type) => {
Doc.grain_type_code_block(Printtyp.string_of_type_scheme(ty.ctyp_type));
Document.grain_type_code_block(
Printtyp.string_of_type_scheme(ty.ctyp_type),
);
};

let declaration_lens = (ident: Ident.t, decl: Types.type_declaration) => {
Doc.grain_type_code_block(
Document.grain_type_code_block(
Printtyp.string_of_type_declaration(~ident, decl),
);
};
Expand Down

0 comments on commit 479b596

Please sign in to comment.