search

johnynek / bosatsu

A python-ish pure and total functional programming language
Apache License 2.0
224 stars 11 forks source link

Improve the source embedding macro #1020

Closed johnynek closed 1 year ago

johnynek commented 1 year ago

I tried to get this to not show up as an error in metals, but it seems the problem is metals shares state across different starts, so starting metals in one project will set the working directory for metals in other projects.

codecov-commenter commented 1 year ago

Codecov Report

Merging #1020 (e395f6e) into master (14fd390) will increase coverage by 0.07%. The diff coverage is n/a.

:exclamation: Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.

@@            Coverage Diff             @@
##           master    #1020      +/-   ##
==========================================
+ Coverage   91.99%   92.06%   +0.07%     
==========================================
  Files          90       90              
  Lines        9377     9377              
  Branches     2199     2199              
==========================================
+ Hits         8626     8633       +7     
+ Misses        751      744       -7
Files Changed Coverage Δ
core/src/main/scala/org/bykn/bosatsu/Predef.scala 92.85% <ø> (ø)

... and 4 files with indirect coverage changes