Skip to content

Commit 91ca9bf

Browse files
commented unused imports
1 parent 7827361 commit 91ca9bf

2 files changed

Lines changed: 23 additions & 17 deletions

File tree

langs/tla/TLAParser.test.scala

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -16,8 +16,8 @@ package forja.langs.tla
1616

1717
import forja.*
1818
import forja.source.{Source, SourceRange}
19-
import forja.dsl.*
20-
import forja.manip.DebugAdapter
19+
// import forja.dsl.*
20+
// import forja.manip.DebugAdapter
2121

2222
class TLAParserTests extends munit.FunSuite, test.WithTLACorpus:
2323
self =>
@@ -33,7 +33,6 @@ class TLAParserTests extends munit.FunSuite, test.WithTLACorpus:
3333

3434
// instrumentWithTracer(DebugAdapter("localhost", 4711)):
3535
// TLAParser(top)
36-
3736

3837
// re-enable if interesting:
3938
// val folder = os.SubPath(file.subRelativeTo(clonesDir).segments.init)

project.scala

Lines changed: 21 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,25 @@
11
// Main
2-
//> using scala 3
3-
//> using options -Werror -Wunused:strict-no-implicit-warn -Yexplicit-nulls -deprecation -feature
4-
//> using javaProperty distcompiler.Node.assertErrorRefCorrectness=no
2+
//> using scala "3"
53

6-
//> using dependency com.github.scopt::scopt:4.1.0
7-
//> using dependency com.lihaoyi::os-lib:0.11.4
8-
//> using dependency com.lihaoyi::pprint:0.9.0
9-
//> using dependency com.lihaoyi::sourcecode:0.4.2
10-
//> using dependency com.lihaoyi::ujson::4.2.1
11-
//> using dependency dev.zio::izumi-reflect:3.0.3
12-
//> using dependency edu.berkeley.cs.jqf:jqf-fuzz:2.1
13-
//> using dependency edu.berkeley.cs.jqf:jqf-instrument:2.1
14-
//> using dependency io.github.java-diff-utils:java-diff-utils:4.15
15-
//> using dependency org.typelevel::cats-core:2.13.0
4+
//> using options "-Werror"
5+
//> using options "-Wunused:strict-no-implicit-warn"
6+
//> using options "-Yexplicit-nulls"
7+
//> using options "-deprecation"
8+
//> using options "-feature"
9+
10+
//> using javaProperty "distcompiler.Node.assertErrorRefCorrectness=no"
11+
12+
//> using dependency "com.github.scopt::scopt:4.1.0"
13+
//> using dependency "com.lihaoyi::os-lib:0.11.4"
14+
//> using dependency "com.lihaoyi::pprint:0.9.0"
15+
//> using dependency "com.lihaoyi::sourcecode:0.4.2"
16+
//> using dependency "com.lihaoyi::ujson::4.2.1"
17+
//> using dependency "dev.zio::izumi-reflect:3.0.3"
18+
//> using dependency "edu.berkeley.cs.jqf:jqf-fuzz:2.1"
19+
//> using dependency "edu.berkeley.cs.jqf:jqf-instrument:2.1"
20+
//> using dependency "io.github.java-diff-utils:java-diff-utils:4.15"
21+
//> using dependency "org.typelevel::cats-core:2.13.0"
1622

1723
// Test
18-
//> using test.dependency org.scalameta::munit:1.1.1
24+
//> using test.dependency "org.scalameta::munit:1.1.1"
25+

0 commit comments

Comments
 (0)