Skip to content

Commit aed37e9

Browse files
committed
Removed tracer
1 parent 16f70a1 commit aed37e9

File tree

4 files changed

+0
-184
lines changed

4 files changed

+0
-184
lines changed

src/Draco.Compiler/Internal/Solver/ConstraintGraphTracer.cs

Lines changed: 0 additions & 176 deletions
This file was deleted.

src/Draco.Compiler/Internal/Solver/ConstraintSolver.cs

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,5 @@
11
using System.Collections.Generic;
22
using System.Linq;
3-
using Draco.Chr.Constraints;
4-
using Draco.Chr.Solve;
53
using Draco.Compiler.Api.Diagnostics;
64
using Draco.Compiler.Api.Syntax;
75
using Draco.Compiler.Internal.Binding;
@@ -10,7 +8,6 @@
108
using Draco.Compiler.Internal.Diagnostics;
119
using Draco.Compiler.Internal.Solver.OverloadResolution;
1210
using Draco.Compiler.Internal.Symbols;
13-
using IChrSolver = Draco.Chr.Solve.ISolver;
1411

1512
namespace Draco.Compiler.Internal.Solver;
1613

src/Draco.Compiler/Internal/Solver/ConstraintSolver_Rules.cs

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,17 +3,13 @@
33
using System.Collections.Immutable;
44
using System.Diagnostics;
55
using System.Linq;
6-
using Draco.Chr.Constraints;
7-
using Draco.Chr.Rules;
86
using Draco.Compiler.Internal.Binding;
97
using Draco.Compiler.Internal.Diagnostics;
108
using Draco.Compiler.Internal.Solver.Constraints;
119
using Draco.Compiler.Internal.Solver.OverloadResolution;
1210
using Draco.Compiler.Internal.Symbols;
1311
using Draco.Compiler.Internal.Symbols.Error;
1412
using Draco.Compiler.Internal.Symbols.Synthetized;
15-
using static Draco.Chr.Rules.RuleFactory;
16-
using IChrSolver = Draco.Chr.Solve.ISolver;
1713

1814
namespace Draco.Compiler.Internal.Solver;
1915

src/Draco.Compiler/Internal/Solver/ConstraintSolver_Utils.cs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
using System.Collections.Immutable;
22
using System.Linq;
3-
using Draco.Chr.Constraints;
43
using Draco.Compiler.Internal.Solver.OverloadResolution;
54
using Draco.Compiler.Internal.Symbols;
65
using Draco.Compiler.Internal.Symbols.Synthetized;

0 commit comments

Comments
 (0)