We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5da26ab commit e09ba81Copy full SHA for e09ba81
Src/PCompiler/CompilerCore/TypeChecker/Scope.cs
@@ -1,5 +1,7 @@
1
+using System;
2
using System.Collections.Generic;
3
using System.Diagnostics;
4
+using System.IO;
5
using System.Linq;
6
using Antlr4.Runtime;
7
using Plang.Compiler.TypeChecker.AST;
@@ -603,7 +605,7 @@ public SafetyTest Put(string name, PParser.SafetyTestDeclContext tree)
603
605
string filePath = config.LocationResolver.GetLocation(tree).File.FullName;
604
606
foreach (var dependencyPath in config.ProjectDependencies)
607
{
- if (filePath.StartsWith(dependencyPath))
608
+ if (filePath.StartsWith($"{dependencyPath}{Path.DirectorySeparatorChar}"))
609
610
return null;
611
}
0 commit comments