Skip to content

TASTY tests for src/dotty #1189

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Mar 30, 2016
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
88 changes: 78 additions & 10 deletions test/dotc/tests.scala
Original file line number Diff line number Diff line change
Expand Up @@ -50,8 +50,11 @@ class tests extends CompilerTest {
val sourceDir = "./src/"
val dottyDir = sourceDir + "dotty/"
val toolsDir = dottyDir + "tools/"
val backendDir = toolsDir + "backend/"
val dotcDir = toolsDir + "dotc/"
val coreDir = dotcDir + "core/"
val parsingDir = dotcDir + "parsing/"
val replDir = dotcDir + "repl/"
val typerDir = dotcDir + "typer/"

@Test def pickle_pickleOK = compileDir(testsDir, "pickling", testPickling)
Expand Down Expand Up @@ -191,11 +194,35 @@ class tests extends CompilerTest {
@Test def java_all = compileFiles(javaDir, twice)
//@Test def dotc_compilercommand = compileFile(dotcDir + "config/", "CompilerCommand")

//TASTY tests
@Test def tasty_new_all = compileFiles(newDir, testPickling)

@Test def tasty_dotty = compileDir(sourceDir, "dotty", testPickling)
@Test def tasty_annotation_internal = compileDir(s"${dottyDir}annotation/", "internal", testPickling)
@Test def tasty_runtime = compileDir(s"$dottyDir", "runtime", testPickling)

//TODO: issues with ./src/dotty/runtime/vc/VCPrototype.scala
//@Test def tasty_runtime_vc = compileDir(s"${dottyDir}runtime/", "vc", testPickling)

@Test def tasty_tools = compileDir(dottyDir, "tools", testPickling)

//TODO: issue with ./src/dotty/tools/backend/jvm/DottyBackendInterface.scala
@Test def tasty_backend_jvm = compileList("tasty_backend_jvm", List(
"CollectEntryPoints.scala", "GenBCode.scala", "LabelDefs.scala",
"scalaPrimitives.scala"
) map (s"${backendDir}jvm/" + _), testPickling)

//TODO: issue with ./src/dotty/tools/backend/sjs/JSCodeGen.scala
@Test def tasty_backend_sjs = compileList("tasty_backend_sjs", List(
"GenSJSIR.scala", "JSDefinitions.scala", "JSEncoding.scala", "JSInterop.scala",
"JSPositions.scala", "JSPrimitives.scala", "ScopedVar.scala"
) map (s"${backendDir}sjs/" + _), testPickling)

@Test def tasty_dotc = compileDir(toolsDir, "dotc", testPickling)
@Test def tasty_dotc_ast = compileDir(dotcDir, "ast", testPickling)
@Test def tasty_dotc_config = compileDir(dotcDir, "config", testPickling)
@Test def tasty_dotc_printing = compileDir(dotcDir, "printing", testPickling)
//@Test def tasty_dotc_reporting = compileDir(dotcDir, "reporting", testPickling)
@Test def tasty_dotc_util = compileDir(dotcDir, "util", testPickling)

//TODO: issue with ./src/dotty/tools/dotc/core/Types.scala
@Test def tasty_core = compileList("tasty_core", List(
"Annotations.scala", "Constants.scala", "Constraint.scala", "ConstraintHandling.scala",
"ConstraintRunInfo.scala", "Contexts.scala", "Decorators.scala", "Definitions.scala",
Expand All @@ -206,15 +233,56 @@ class tests extends CompilerTest {
"TypeApplications.scala", "TypeComparer.scala", "TypeErasure.scala", "TypeOps.scala",
"TyperState.scala", "Uniques.scala"
) map (coreDir + _), testPickling)
@Test def tasty_typer = compileList("tasty_typer", List(
"Applications.scala", "Checking.scala", "ConstFold.scala", "ErrorReporting.scala",
"EtaExpansion.scala", "FrontEnd.scala", "Implicits.scala", "ImportInfo.scala",
"Inferencing.scala", "Mode.scala", "ProtoTypes.scala", "ReTyper.scala", "RefChecks.scala",
"TypeAssigner.scala", "Typer.scala", "VarianceChecker.scala", "Variances.scala"
) map (typerDir + _), testPickling)
@Test def tasty_tasty = compileDir(coreDir, "tasty", testPickling)

@Test def tasty_classfile = compileDir(coreDir, "classfile", testPickling)
@Test def tasty_tasty = compileDir(coreDir, "tasty", testPickling)
@Test def tasty_unpickleScala2 = compileDir(coreDir, "unpickleScala2", testPickling)

//TODO: issue with ./src/dotty/tools/dotc/parsing/Parsers.scala
@Test def tasty_dotc_parsing = compileList("tasty_dotc_parsing", List(
"CharArrayReader.scala", "JavaParsers.scala", "JavaScanners.scala", "JavaTokens.scala",
"MarkupParserCommon.scala", "MarkupParsers.scala", "package.scala" ,"Scanners.scala",
"ScriptParsers.scala", "SymbolicXMLBuilder.scala", "Tokens.scala", "Utility.scala"
) map (parsingDir + _), testPickling)

@Test def tasty_dotc_printing = compileDir(dotcDir, "printing", testPickling)

//TODO: issues with ./src/dotty/tools/dotc/repl/CompilingInterpreter.scala,
//./src/dotty/tools/dotc/repl/InterpreterLoop.scala
@Test def tasty_dotc_repl = compileList("tasty_dotc_repl", List(
"AbstractFileClassLoader.scala", "ConsoleWriter.scala", "InteractiveReader.scala",
"Interpreter.scala", "Main.scala", "NewLinePrintWriter.scala", "REPL.scala", "SimpleReader.scala"
) map (replDir + _), testPickling)

//@Test def tasty_dotc_reporting = compileDir(dotcDir, "reporting", testPickling)
@Test def tasty_dotc_rewrite = compileDir(dotcDir, "rewrite", testPickling)

//TODO: issues with LazyVals.scala, PatternMatcher.scala
@Test def tasty_dotc_transform = compileList("tasty_dotc_transform", List(
"AugmentScala2Traits.scala", "CapturedVars.scala", "CheckReentrant.scala", "CheckStatic.scala",
"ClassOf.scala", "CollectEntryPoints.scala", "Constructors.scala", "CrossCastAnd.scala",
"CtxLazy.scala", "ElimByName.scala", "ElimErasedValueType.scala", "ElimRepeated.scala",
"ElimStaticThis.scala", "Erasure.scala", "ExpandPrivate.scala", "ExpandSAMs.scala",
"ExplicitOuter.scala", "ExplicitSelf.scala", "ExtensionMethods.scala", "FirstTransform.scala",
"Flatten.scala", "FullParameterization.scala", "FunctionalInterfaces.scala", "GetClass.scala",
"Getters.scala", "InterceptedMethods.scala", "LambdaLift.scala", "LiftTry.scala", "LinkScala2ImplClasses.scala",
"MacroTransform.scala", "Memoize.scala", "Mixin.scala", "MixinOps.scala", "NonLocalReturns.scala",
"NormalizeFlags.scala", "OverridingPairs.scala", "ParamForwarding.scala", "Pickler.scala", "PostTyper.scala",
"ResolveSuper.scala", "RestoreScopes.scala", "SeqLiterals.scala", "Splitter.scala", "SuperAccessors.scala",
"SymUtils.scala", "SyntheticMethods.scala", "TailRec.scala", "TreeChecker.scala", "TreeExtractors.scala",
"TreeGen.scala", "TreeTransform.scala", "TypeTestsCasts.scala", "TypeUtils.scala", "ValueClasses.scala",
"VCElideAllocations.scala", "VCInlineMethods.scala"
) map (s"${dotcDir}transform/" + _), testPickling)

//TODO: issue with ./src/dotty/tools/dotc/typer/Namer.scala
@Test def tasty_typer = compileList("tasty_typer", List(
"Applications.scala", "Checking.scala", "ConstFold.scala", "ErrorReporting.scala",
"EtaExpansion.scala", "FrontEnd.scala", "Implicits.scala", "ImportInfo.scala",
"Inferencing.scala", "Mode.scala", "ProtoTypes.scala", "ReTyper.scala", "RefChecks.scala",
"TypeAssigner.scala", "Typer.scala", "VarianceChecker.scala", "Variances.scala"
) map (typerDir + _), testPickling)

@Test def tasty_dotc_util = compileDir(dotcDir, "util", testPickling)
@Test def tasty_tools_io = compileDir(toolsDir, "io", testPickling)
@Test def tasty_tests = compileDir(testsDir, "tasty", testPickling)
}