mirror of
https://github.com/anoma/juvix.git
synced 2025-01-07 08:08:44 +03:00
b541972d03
* Support inductive type and universe expressions * Support function type expressions * Add type information to Core function and constructor nodes * Remove unused do
166 lines
3.5 KiB
Haskell
166 lines
3.5 KiB
Haskell
module Internal.Eval.Positive where
|
|
|
|
import Base
|
|
import Internal.Eval.Base
|
|
|
|
data PosTest = PosTest
|
|
{ _name :: String,
|
|
_relDir :: FilePath,
|
|
_file :: FilePath,
|
|
_expectedFile :: FilePath
|
|
}
|
|
|
|
root :: FilePath
|
|
root = "tests/Internal/positive"
|
|
|
|
coreRoot :: FilePath
|
|
coreRoot = "tests/Internal/Core/positive"
|
|
|
|
testDescr :: FilePath -> PosTest -> TestDescr
|
|
testDescr r PosTest {..} =
|
|
let tRoot = r </> _relDir
|
|
in TestDescr
|
|
{ _testName = _name,
|
|
_testRoot = tRoot,
|
|
_testAssertion = Steps $ internalCoreAssertion _file _expectedFile
|
|
}
|
|
|
|
allTests :: TestTree
|
|
allTests =
|
|
testGroup
|
|
"Internal to Core positive tests"
|
|
(map (mkTest . testDescr root) tests ++ map (mkTest . testDescr coreRoot) coreTests)
|
|
|
|
coreTests :: [PosTest]
|
|
coreTests =
|
|
[ PosTest
|
|
"If then else"
|
|
"."
|
|
"test006.juvix"
|
|
"out/test006.out",
|
|
PosTest
|
|
"Fibonacci"
|
|
"."
|
|
"test011.juvix"
|
|
"out/test011.out"
|
|
]
|
|
|
|
tests :: [PosTest]
|
|
tests =
|
|
[ PosTest
|
|
"An integer literal"
|
|
"."
|
|
"IntegerLiteral.juvix"
|
|
"out/IntegerLiteral.out",
|
|
PosTest
|
|
"A zero argument function"
|
|
"."
|
|
"IdenFunctionIntegerLiteral.juvix"
|
|
"out/IdenFunctionIntegerLiteral.out",
|
|
PosTest
|
|
"A two argument function"
|
|
"."
|
|
"IdenFunctionArgs.juvix"
|
|
"out/IdenFunctionArgs.out",
|
|
PosTest
|
|
"A function with implicit arguments"
|
|
"."
|
|
"IdenFunctionArgsImplicit.juvix"
|
|
"out/IdenFunctionArgsImplicit.out",
|
|
PosTest
|
|
"A function with no explicit arguments"
|
|
"."
|
|
"IdenFunctionArgsNoExplicit.juvix"
|
|
"out/IdenFunctionArgsNoExplicit.out",
|
|
PosTest
|
|
"A module that imports another"
|
|
"Import"
|
|
"Importer.juvix"
|
|
"out/Importer.out",
|
|
PosTest
|
|
"A constructor valued function"
|
|
"."
|
|
"FunctionReturnConstructor.juvix"
|
|
"out/FunctionReturnConstructor.out",
|
|
PosTest
|
|
"Pattern matching on a constructor"
|
|
"."
|
|
"MatchConstructor.juvix"
|
|
"out/MatchConstructor.out",
|
|
PosTest
|
|
"Pattern matching Nat under suc"
|
|
"."
|
|
"NatMatch1.juvix"
|
|
"out/NatMatch1.out",
|
|
PosTest
|
|
"Pattern matching Nat as binder"
|
|
"."
|
|
"NatMatch2.juvix"
|
|
"out/NatMatch2.out",
|
|
PosTest
|
|
"Literal integer is Core integer"
|
|
"."
|
|
"LitInteger.juvix"
|
|
"out/LitInteger.out",
|
|
PosTest
|
|
"Literal integer is Core string"
|
|
"."
|
|
"LitString.juvix"
|
|
"out/LitString.out",
|
|
PosTest
|
|
"Mutually defined functions"
|
|
"."
|
|
"Mutual.juvix"
|
|
"out/Mutual.out",
|
|
PosTest
|
|
"Calling builtin addition"
|
|
"."
|
|
"BuiltinAdd.juvix"
|
|
"out/BuiltinAdd.out",
|
|
PosTest
|
|
"Builtin bool"
|
|
"."
|
|
"BuiltinBool.juvix"
|
|
"out/BuiltinBool.out",
|
|
PosTest
|
|
"Builtin if"
|
|
"."
|
|
"BuiltinIf.juvix"
|
|
"out/BuiltinIf.out",
|
|
PosTest
|
|
"Lambda"
|
|
"."
|
|
"Lambda.juvix"
|
|
"out/Lambda.out",
|
|
PosTest
|
|
"Pattern args"
|
|
"."
|
|
"PatternArgs.juvix"
|
|
"out/PatternArgs.out",
|
|
PosTest
|
|
"QuickSort"
|
|
"."
|
|
"QuickSort.juvix"
|
|
"out/QuickSort.out",
|
|
PosTest
|
|
"Universe"
|
|
"."
|
|
"Universe.juvix"
|
|
"out/Universe.out",
|
|
PosTest
|
|
"Inductive type constructor"
|
|
"."
|
|
"Inductive.juvix"
|
|
"out/Inductive.out",
|
|
PosTest
|
|
"Function type"
|
|
"."
|
|
"FunctionType.juvix"
|
|
"out/FunctionType.out",
|
|
PosTest
|
|
"Builtin Inductive type"
|
|
"."
|
|
"BuiltinInductive.juvix"
|
|
"out/BuiltinInductive.out"
|
|
]
|