tlang
/
tlang
mirror of http://deavmi.assigned.network/git/tlang/tlang
1
0
Fork 0
Code Issues Releases Activity

Re-enabled a unit test for the type checker

This commit is contained in:
Tristan B. Kildaire 2021-11-02 09:35:27 +02:00
parent bbd34a951a
commit c8ccc71244
1 changed files with 36 additions and 36 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

72
source/tlang/compiler/typecheck/core.d
View File

@ -1386,49 +1386,49 @@ unittest
}
}
// /* Test name colliding with member */
// unittest
// {
// import std.file;
// import std.stdio;
// import compiler.lexer;
// import compiler.parsing.core;
/* Test name colliding with member */
unittest
{
import std.file;
import std.stdio;
import compiler.lexer;
import compiler.parsing.core;
// string sourceFile = "source/tlang/testing/collide_member.t";
string sourceFile = "source/tlang/testing/collide_member.t";
// File sourceFileFile;
// sourceFileFile.open(sourceFile); /* TODO: Error handling with ANY file I/O */
// ulong fileSize = sourceFileFile.size();
// byte[] fileBytes;
// fileBytes.length = fileSize;
// fileBytes = sourceFileFile.rawRead(fileBytes);
// sourceFileFile.close();
File sourceFileFile;
sourceFileFile.open(sourceFile); /* TODO: Error handling with ANY file I/O */
ulong fileSize = sourceFileFile.size();
byte[] fileBytes;
fileBytes.length = fileSize;
fileBytes = sourceFileFile.rawRead(fileBytes);
sourceFileFile.close();
// string sourceCode = cast(string) fileBytes;
// Lexer currentLexer = new Lexer(sourceCode);
// currentLexer.performLex();
string sourceCode = cast(string) fileBytes;
Lexer currentLexer = new Lexer(sourceCode);
currentLexer.performLex();
// Parser parser = new Parser(currentLexer.getTokens());
// Module modulle = parser.parse();
// TypeChecker typeChecker = new TypeChecker(modulle);
Parser parser = new Parser(currentLexer.getTokens());
Module modulle = parser.parse();
TypeChecker typeChecker = new TypeChecker(modulle);
// /* Setup testing variables */
// Entity memberFirst = typeChecker.getResolver().resolveBest(typeChecker.getModule, "a.b");
/* Setup testing variables */
Entity memberFirst = typeChecker.getResolver().resolveBest(typeChecker.getModule, "a.b");
// try
// {
// /* Perform test */
// typeChecker.beginCheck();
try
{
/* Perform test */
typeChecker.beginCheck();
// /* Shouldn't reach here, collision exception MUST occur */
// assert(false);
// }
// catch (CollidingNameException e)
// {
// /* Make sure the member a.b.c.c collided with a.b.c container */
// assert(e.attempted != memberFirst);
// }
// }
/* Shouldn't reach here, collision exception MUST occur */
assert(false);
}
catch (CollidingNameException e)
{
/* Make sure the member a.b.c.c collided with a.b.c container */
assert(e.attempted != memberFirst);
}
}
// /* Test name colliding with member (check that the member defined is class (precendence test)) */
// unittest