Commits

Branch selector

 master

User selector

ebresafegaga

Datepicker

All time

Commit History

Commits on Apr 17, 2023

• Fix position for variables and static record indexing (tweag#1244)

  ebresafegaga

  authored
  ba6c7ba

Commits on Apr 13, 2023

• Merge pull request tweag#1214 from tweag/lsp/import-diagnostic

  Show description for 65c92a6
  ebresafegaga

  authored
  65c92a6

• Add comment documenting unreachable code.

  ebresafegaga

  committed
  f8a85b1

• Review suggestion: Use a more explicit varible name

  ebresafegaga

  committed
  9113a12

• Final fix to persist diagnostics.

  ebresafegaga

  committed
  ef441c9

• WIP

  ebresafegaga

  committed
  fa79d75

• Fix typo

  ebresafegaga

  committed
  7f92d6e

• Final clean up & fix clippy errors

  ebresafegaga

  committed
  af7aa00

• Avoid unnecessary clone

  ebresafegaga

  committed
  1744d17

• Persist diagnostics

  ebresafegaga

  committed
  a05b670

• Use more a accurate position and handle all imports

  ebresafegaga

  committed
  c3071c4

• Handle typechecking error from imports resolution.

  ebresafegaga

  committed
  7e1c300

• Merge pull request tweag#1216 from tweag/lsp/formatting

  Show description for 526f95a
  ebresafegaga

  authored
  526f95a

• Add formatting module back

  ebresafegaga

  committed
  fa3dfad

Commits on Apr 12, 2023

• Merge branch 'master' into lsp/formatting

  ebresafegaga

  committed
  ba78795

• Add documentation for using the formatter.

  ebresafegaga

  committed
  7274905

Commits on Apr 5, 2023

• Add documentation to handle_format_document

  ebresafegaga

  committed
  b93e15f

Commits on Apr 4, 2023

• Remove needless borrow

  ebresafegaga

  committed
  dca5a64

• Add error message for formatter failure

  ebresafegaga

  committed
  98af76d

• Copy data to topiary's stdin concurrently

  ebresafegaga

  committed
  61652eb

• Use explicit topiary command

  ebresafegaga

  committed
  4dc4982

Commits on Mar 31, 2023

• Add connection to the formatter

  ebresafegaga

  committed
  dd97d95

• Some structure to the formatting module

  ebresafegaga

  committed
  4fcb51d

• Add formatting module and handler functions

  ebresafegaga

  committed
  78dd54b

• Add server capability for formatting

  ebresafegaga

  committed
  0bbf9e6

Commits on Mar 30, 2023

• Fix LSP crash when a resolved import term fails to typecheck (tweag#1191)

  ebresafegaga

  authored
  02c7d22

Commits on Mar 17, 2023

• Merge diagnostics that show where a violated contract is bound and the violated contract (tweag#1185)

  ebresafegaga

  authored
  df93325

Commits on Mar 9, 2023

• Rename: num -> number (tweag#1174)

  ebresafegaga

  authored
  2d45a87

Commits on Mar 6, 2023

• [Refactor] Add a position field to types in the AST (tweag#1149)

  ebresafegaga

  authored
  ce3ca66

Commits on Mar 1, 2023

• Improve contract violation error UX (tweag#1139)

  ebresafegaga

  authored
  30beca6

Commits on Feb 21, 2023

• Handle RecrodField without a known value when resolving references

  ebresafegaga

  committed
  32c60d9

• Rename: item -> item_kind.

  ebresafegaga

  committed
  116b637

• Update lsp/nls/src/linearization/building.rs

  Show description for 01fc9a5
  

  ebresafegaga

  and

  yannham

  committed
  01fc9a5

• Update lsp/nls/src/linearization/building.rs

  Show description for 13c361c
  

  ebresafegaga

  and

  yannham

  committed
  13c361c

• Update lsp/nls/src/linearization/building.rs

  Show description for bef1fa3
  

  ebresafegaga

  and

  yannham

  committed
  bef1fa3

Pagination

PreviousNext