move files

chester-lang · Oct 26, 2024 · 49eb507 · 49eb507
1 parent eef6223
commit 49eb507
Show file tree

Hide file tree

Showing 15 changed files with 4 additions and 7 deletions.
diff --git a/...c/main/scala/chester/resolve/Desalt.scala → ...c/main/scala/chester/resolve/Desalt.scala b/...c/main/scala/chester/resolve/Desalt.scala → ...c/main/scala/chester/resolve/Desalt.scala
diff --git a/...scala/chester/resolve/MacroExpander.scala → ...scala/chester/resolve/MacroExpander.scala b/...scala/chester/resolve/MacroExpander.scala → ...scala/chester/resolve/MacroExpander.scala
diff --git a/...main/scala/chester/resolve/operator.scala → ...main/scala/chester/resolve/operator.scala b/...main/scala/chester/resolve/operator.scala → ...main/scala/chester/resolve/operator.scala
diff --git a/...src/main/scala/chester/tyck/Builtin.scala → ...src/main/scala/chester/tyck/Builtin.scala b/...src/main/scala/chester/tyck/Builtin.scala → ...src/main/scala/chester/tyck/Builtin.scala
diff --git a/...src/main/scala/chester/tyck/Context.scala → ...rc/main/scala/chester/tyck/Context2.scala b/...src/main/scala/chester/tyck/Context.scala → ...rc/main/scala/chester/tyck/Context2.scala
@@ -1,13 +1,10 @@
 package chester.tyck
 
-import chester.syntax.accociativity.OperatorsContext
 import chester.syntax.*
 import chester.syntax.core.*
-import chester.syntax.Name
 import chester.tyck.BuiltIn.BuiltinItem
-import chester.tyck.api.SymbolCollector
-import chester.utils.propagator.*
 import chester.uniqid.*
+import chester.utils.propagator.*
 
 trait ProvideCtx extends ProvideCellId with ElaboraterBase {
 

diff --git a/...scala/chester/tyck/ElaboraterCommon.scala → ...scala/chester/tyck/ElaboraterCommon.scala b/...scala/chester/tyck/ElaboraterCommon.scala → ...scala/chester/tyck/ElaboraterCommon.scala
@@ -5,9 +5,9 @@ import chester.resolve.{SimpleDesalt, resolveOpSeq}
 import chester.syntax.Name
 import chester.syntax.concrete.*
 import chester.syntax.core.*
+import chester.uniqid.*
 import chester.utils.*
 import chester.utils.propagator.CommonPropagator
-import chester.uniqid.*
 
 trait ElaboraterCommon extends ProvideCtx with ElaboraterBase with CommonPropagator[Tyck] {
 

diff --git a/.../src/main/scala/chester/tyck/common.scala → .../src/main/scala/chester/tyck/common.scala b/.../src/main/scala/chester/tyck/common.scala → .../src/main/scala/chester/tyck/common.scala
@@ -3,3 +3,5 @@ package chester.tyck
 import chester.error.TyckProblem
 
 given ckToReport(using ck: Tyck): Reporter[TyckProblem] = ck.reporter
+
+type Tyck = Get[TyckProblem, Unit]
diff --git a/...main/scala/chester/tyck/convertMeta.scala → ...main/scala/chester/tyck/convertMeta.scala b/...main/scala/chester/tyck/convertMeta.scala → ...main/scala/chester/tyck/convertMeta.scala
diff --git a/...r/utils/propagator/CommonPropagator.scala → ...r/utils/propagator/CommonPropagator.scala b/...r/utils/propagator/CommonPropagator.scala → ...r/utils/propagator/CommonPropagator.scala
diff --git a/...ster/utils/propagator/ProvideCellId.scala → ...ster/utils/propagator/ProvideCellId.scala b/...ster/utils/propagator/ProvideCellId.scala → ...ster/utils/propagator/ProvideCellId.scala
diff --git a/...r/utils/propagator/ProvideImmutable.scala → ...r/utils/propagator/ProvideImmutable.scala b/...r/utils/propagator/ProvideImmutable.scala → ...r/utils/propagator/ProvideImmutable.scala
diff --git a/...hester/utils/propagator/ProvideImpl.scala → ...hester/utils/propagator/ProvideImpl.scala b/...hester/utils/propagator/ProvideImpl.scala → ...hester/utils/propagator/ProvideImpl.scala
diff --git a/...utils/propagator/ProvideMultithread.scala → ...utils/propagator/ProvideMultithread.scala b/...utils/propagator/ProvideMultithread.scala → ...utils/propagator/ProvideMultithread.scala
diff --git a/...ter/utils/propagator/ProvideMutable.scala → ...ter/utils/propagator/ProvideMutable.scala b/...ter/utils/propagator/ProvideMutable.scala → ...ter/utils/propagator/ProvideMutable.scala
diff --git a/tyck/src/main/scala/chester/tyck/Elaborater.scala b/tyck/src/main/scala/chester/tyck/Elaborater.scala
@@ -12,8 +12,6 @@ import scala.language.implicitConversions
 import scala.util.boundary
 import scala.util.boundary.break
 
-type Tyck = Get[TyckProblem, Unit]
-
 trait Elaborater extends ProvideCtx with ElaboraterCommon {
 
   def checkType(expr: Expr)(using
Original file line number	Diff line number	Diff line change
Expand Up		@@ -3,3 +3,5 @@ package chester.tyck
		import chester.error.TyckProblem

		given ckToReport(using ck: Tyck): Reporter[TyckProblem] = ck.reporter

		type Tyck = Get[TyckProblem, Unit]