├── .gitignore ├── .travis.yml ├── CHANGELOG.md ├── CODE_OF_CONDUCT.md ├── LICENSE ├── README.md ├── Setup.hs ├── app └── Main.hs ├── docs ├── ClosureConversion.md ├── MetaVariables.md └── QueryCompilerDriver.md ├── issues ├── error-messages │ └── EscapedTypeVar.vix ├── missing-feature │ └── PatternSynonyms.vix ├── syntax-error │ ├── ImplicitForall.vix │ └── LetWildcard.vix ├── type-checking │ ├── Constructors-Generalisation.vix │ ├── Container.vix │ ├── LocalInstanceUnification.vix │ ├── LongString.vix │ ├── PiPatterns.vix │ ├── Sigma.vix │ └── Speed.vix └── type-error │ ├── DuplicateDefinition.vix │ └── ImplicitApp.vix ├── rts ├── Builtin.vix └── forwarddecls.ll ├── sixten.cabal ├── src ├── .ghci ├── Analysis │ ├── Cycle.hs │ ├── Denat.hs │ ├── ReturnDirection.hs │ ├── Simplify.hs │ └── Termination.hs ├── Backend │ ├── ClosureConvert.hs │ ├── Compile.hs │ ├── ExtractExtern.hs │ ├── Generate.hs │ ├── Generate │ │ ├── LLVM.hs │ │ ├── Submodule.hs │ │ └── Types.hs │ ├── Lift.hs │ ├── SLam.hs │ └── Target.hs ├── Builtin.hs ├── Builtin │ └── Names.hs ├── Command.hs ├── Command │ ├── Check.hs │ ├── Check │ │ └── Options.hs │ ├── Compile.hs │ ├── Compile │ │ └── Options.hs │ ├── LanguageServer.hs │ ├── Run.hs │ └── Test.hs ├── Driver.hs ├── Driver │ ├── Query.hs │ └── Rules.hs ├── Effect.hs ├── Effect │ ├── Context.hs │ ├── Fresh.hs │ ├── Log.hs │ └── Report.hs ├── Elaboration │ ├── Constraint.hs │ ├── Constraint.hs-boot │ ├── Constructor.hs │ ├── Equal.hs │ ├── Generalise.hs │ ├── Match.hs │ ├── MetaVar.hs │ ├── MetaVar │ │ └── Zonk.hs │ ├── Monad.hs │ ├── Normalise.hs │ ├── Subtype.hs │ ├── TypeCheck │ │ ├── Class.hs │ │ ├── Clause.hs │ │ ├── Data.hs │ │ ├── Definition.hs │ │ ├── Expr.hs │ │ ├── Expr.hs-boot │ │ └── Literal.hs │ ├── TypeOf.hs │ ├── Unify.hs │ └── Unify │ │ └── Indices.hs ├── Error.hs ├── Frontend │ ├── DupCheck.hs │ ├── Parse.hs │ └── ResolveNames.hs ├── LanguageServer.hs ├── LanguageServer │ └── Hover.hs ├── Pretty.hs ├── SourceLoc.hs ├── Syntax.hs ├── Syntax │ ├── Annotation.hs │ ├── Branches.hs │ ├── Class.hs │ ├── Closed.hs │ ├── Context.hs │ ├── Core.hs │ ├── Data.hs │ ├── Definition.hs │ ├── Direction.hs │ ├── Extern.hs │ ├── GlobalBind.hs │ ├── Let.hs │ ├── Literal.hs │ ├── ModuleHeader.hs │ ├── Name.hs │ ├── NameHint.hs │ ├── Pattern.hs │ ├── Pre │ │ ├── Definition.hs │ │ ├── Literal.hs │ │ ├── Scoped.hs │ │ └── Unscoped.hs │ ├── PreName.hs │ ├── QName.hs │ ├── Sized │ │ ├── Anno.hs │ │ ├── Definition.hs │ │ ├── Extracted.hs │ │ ├── Lifted.hs │ │ └── SLambda.hs │ └── Telescope.hs ├── TypeRep.hs ├── Util.hs ├── Util │ ├── MultiHashMap.hs │ ├── Orphans.hs │ ├── TopoSort.hs │ └── Tsil.hs └── VIX.hs ├── stack.yaml ├── tests ├── Main.hs ├── success-multi │ ├── aliases │ │ └── CrossModuleAliases │ │ │ ├── A.vix │ │ │ ├── B.vix │ │ │ ├── Main.vix │ │ │ └── Main.vix-expected │ └── modules │ │ ├── Classes │ │ ├── Functor.vix │ │ └── Main.vix │ │ ├── ConstructorImportQualification │ │ ├── A.vix │ │ └── Main.vix │ │ ├── Constructors │ │ ├── A.vix │ │ ├── B.vix │ │ └── Main.vix │ │ ├── Empty │ │ ├── Empty.vix │ │ └── Main.vix │ │ ├── ImportAliases │ │ ├── ImportA.vix │ │ ├── ImportB.vix │ │ ├── List.vix │ │ ├── Main.vix │ │ └── Main.vix-expected │ │ ├── Instances │ │ ├── Functor.vix │ │ ├── Main.vix │ │ └── Main.vix-expected │ │ ├── OpenImports │ │ ├── ImportA.vix │ │ ├── ImportB.vix │ │ ├── List.vix │ │ ├── Main.vix │ │ └── Main.vix-expected │ │ └── Propagation │ │ ├── A.vix │ │ └── Main.vix ├── success │ ├── 00-basics │ │ ├── ADT.vix │ │ ├── ADT.vix-expected │ │ ├── App.vix │ │ ├── App.vix-expected │ │ ├── Bool-IfThenElse.vix │ │ ├── Bool-IfThenElse.vix-expected │ │ ├── Bool.vix │ │ ├── Bool.vix-expected │ │ ├── Bool1.vix │ │ ├── Bool1.vix-expected │ │ ├── CaseReturningUnit.vix │ │ ├── CircularType.vix │ │ ├── CircularType.vix-expected │ │ ├── Empty.vix │ │ ├── Empty.vix-expected │ │ ├── Fun.vix │ │ ├── Fun.vix-expected │ │ ├── FunSynonym.vix │ │ ├── FunSynonym.vix-expected │ │ ├── GlobalLiteral.vix │ │ ├── GlobalLiteral.vix-expected │ │ ├── HeadTail.vix │ │ ├── HeadTail.vix-expected │ │ ├── Int.vix │ │ ├── Int.vix-expected │ │ ├── List-Drop.vix │ │ ├── List-Drop.vix-expected │ │ ├── List-Head.vix │ │ ├── List-Head.vix-expected │ │ ├── List-SumTuple.vix │ │ ├── List-SumTuple.vix-expected │ │ ├── List.vix │ │ ├── List.vix-expected │ │ ├── ListImplicit.vix-expected │ │ ├── MapPap.vix │ │ ├── MapPap.vix-expected │ │ ├── MutuallyRecursive.vix │ │ ├── MutuallyRecursive.vix-expected │ │ ├── MutuallyRecursiveType.vix │ │ ├── Pap.vix │ │ ├── Pap.vix-expected │ │ ├── Primes.vix │ │ ├── Primes.vix-expected │ │ ├── SizeOf.vix │ │ ├── SizeOf.vix-expected │ │ ├── Tree.vix │ │ ├── Tree.vix-expected │ │ ├── Tuple.vix │ │ ├── Tuple.vix-expected │ │ ├── Type.vix │ │ ├── Type.vix-expected │ │ ├── TypeSynonym.vix │ │ ├── Void.vix │ │ ├── WildcardDefinition.vix │ │ └── WildcardDefinition.vix-expected │ ├── aliases │ │ ├── Aliases.vix │ │ └── Aliases.vix-expected │ ├── arrays │ │ ├── Array-Append-Builtin-Nat.vix │ │ ├── Array-Append-Builtin-Nat.vix-expected │ │ ├── Array-Append-Nat.vix │ │ ├── Array-Append-Nat.vix-expected │ │ ├── DepSize-Builtin-Nat.vix │ │ ├── DepSize-Builtin-Nat.vix-expected │ │ ├── DepSize.vix │ │ ├── DepSize.vix-expected │ │ ├── Vector-AnySize-Builtin-Nat.vix │ │ ├── Vector-AnySize-Builtin-Nat.vix-expected │ │ ├── Vector-AnySize-Nat.vix │ │ ├── Vector-AnySize-Nat.vix-expected │ │ ├── Vector-Append-Builtin-Nat.vix │ │ ├── Vector-Append-Builtin-Nat.vix-expected │ │ ├── Vector-Append-Nat.vix │ │ ├── Vector-Append-Nat.vix-expected │ │ ├── Vector-FixedSize.vix │ │ ├── Vector-FixedSize.vix-expected │ │ ├── Vector-Index.vix │ │ └── Vector-Index.vix-expected │ ├── boxed │ │ ├── List.vix │ │ └── List.vix-expected │ ├── builtins │ │ ├── PrintString.vix │ │ └── PrintString.vix-expected │ ├── classes │ │ ├── ApplicativeInTermsOfMonad.vix │ │ ├── ApplicativeInTermsOfMonad.vix-expected │ │ ├── ContextualMethodNormalisation.vix │ │ ├── Delay.vix │ │ ├── Delay.vix-expected │ │ ├── Functor.vix │ │ ├── Functor.vix-expected │ │ ├── MethodNormalisation.vix │ │ ├── MethodSignature.vix │ │ ├── MethodSignaturePropagation.vix │ │ ├── Monad.vix │ │ ├── Monad.vix-expected │ │ ├── Simple.vix │ │ ├── Simple.vix-expected │ │ ├── Summable.vix │ │ └── Summable.vix-expected │ ├── extern-c │ │ ├── Callbacks.vix │ │ ├── Callbacks.vix-expected │ │ ├── Constructors.vix │ │ ├── Constructors.vix-expected │ │ ├── Escaping.vix │ │ ├── Escaping.vix-expected │ │ ├── Escaping2.vix │ │ ├── Escaping2.vix-expected │ │ ├── Extern.vix │ │ ├── Extern.vix-expected │ │ ├── Lazy-Class.vix │ │ ├── Lazy-Class.vix-expected │ │ ├── Lazy.vix │ │ ├── Lazy.vix-expected │ │ ├── OutParams.vix │ │ └── OutParams.vix-expected │ ├── inductive-families │ │ ├── BoxedFin.vix │ │ ├── BoxedFin.vix-expected │ │ ├── BoxedVec.vix │ │ ├── BoxedVec.vix-expected │ │ ├── Equals.vix │ │ ├── Equals.vix-expected │ │ ├── Fin.vix │ │ ├── Fin.vix-expected │ │ ├── Forced.vix │ │ ├── Impossible.vix │ │ ├── Vec.vix │ │ └── Vec.vix-expected │ ├── lets │ │ ├── Concrete.vix │ │ ├── Concrete.vix-expected │ │ ├── Cyclic.vix │ │ ├── CyclicConstants.vix │ │ ├── CyclicConstants.vix-expected │ │ ├── Generalisation.vix │ │ ├── Generalisation.vix-expected │ │ ├── Mutual.vix │ │ ├── Mutual.vix-expected │ │ ├── Mutual2.vix │ │ ├── Mutual2.vix-expected │ │ ├── Mutual3.vix │ │ ├── Mutual3.vix-expected │ │ ├── Recursive.vix │ │ ├── Syntax.vix │ │ └── Syntax.vix-expected │ ├── modules │ │ ├── BuiltinImportAliases.vix │ │ ├── Builtins.vix │ │ ├── Builtins.vix-expected │ │ ├── ImportAliases.vix-expected │ │ └── LocalAliases.vix │ ├── patterns │ │ ├── PatternMatching-ZipWith.vix │ │ ├── PatternMatching-ZipWith.vix-expected │ │ ├── PatternMatching-ZipWith2.vix │ │ ├── PatternMatching-ZipWith2.vix-expected │ │ ├── PatternSyntax.vix │ │ ├── PatternSyntax.vix-expected │ │ ├── Patterns-Arity.vix │ │ ├── Patterns-ConstructorImplicits.vix │ │ ├── Patterns-DataImplicits.vix │ │ ├── Patterns-ImplicitArity.vix │ │ ├── Patterns-Implicits.vix │ │ ├── Patterns-ImplicitsInType.vix │ │ ├── SplitLit.vix │ │ ├── String-Patterns.vix │ │ └── String-Patterns.vix-expected │ ├── simplification │ │ ├── CaseOfKnown-Tricky.vix │ │ ├── CaseOfKnown-Tricky.vix-expected │ │ ├── CaseOfKnown.vix │ │ ├── CaseOfKnown.vix-expected │ │ ├── Erasure-Loop.vix │ │ ├── Erasure.vix-expected │ │ ├── EtaReduction.vix │ │ ├── EtaReduction.vix-expected │ │ ├── EtaReductionReduced.vix │ │ └── EtaReductionReduced2.vix │ ├── syntax │ │ └── FunSyntax.vix │ └── typechecking │ │ ├── Cases.vix │ │ ├── Concurrency.vix │ │ ├── DeepSkolemisation.vix │ │ ├── Prop.vix │ │ ├── Propagation.vix │ │ ├── SignatureGeneralisation.vix │ │ ├── TypeFunction.vix │ │ ├── TypeType.vix │ │ ├── Unification.vix │ │ └── Wildcard.vix ├── syntax-error │ ├── DataTypeSignature.vix │ ├── DefRecovery.vix │ ├── DefRecovery.vix-expected │ ├── DuplicateTypeSignature.vix │ ├── DuplicateTypeSignature2.vix │ ├── NoMatchingDefinition.vix │ ├── Recovery.vix │ ├── Recovery.vix-expected │ └── TypeWhere.vix ├── type-error-multi │ └── modules │ │ ├── Ambiguous │ │ ├── ImportA.vix │ │ ├── ImportB.vix │ │ └── Main.vix │ │ ├── AmbiguousConstructors │ │ ├── A.vix │ │ └── Main.vix │ │ ├── Constructors │ │ ├── A.vix │ │ └── Main.vix │ │ ├── DuplicateModuleName │ │ ├── Main1.vix │ │ └── Main2.vix │ │ ├── DuplicateModuleName2 │ │ ├── Module1.vix │ │ └── Module2.vix │ │ ├── Private │ │ ├── ImportA.vix │ │ └── Main.vix │ │ └── UnqualifiedUseOfQualified │ │ ├── ImportA.vix │ │ └── Main.vix └── type-error │ ├── AmbiguousConstructor.vix │ ├── DuplicateDefinition.vix │ ├── InfiniteType-MutuallyRecursive.vix │ ├── InfiniteType-MutuallyRecursive2.vix │ ├── InfiniteType-Tricky.vix │ ├── InfiniteType.vix │ ├── Loop.vix │ ├── OccursCheck.vix │ ├── Patterns-ConstructorImplicits.vix │ ├── Patterns-TooFewArgs.vix │ ├── Patterns-TooManyArgs.vix │ ├── TypeMismatch.vix │ ├── TypeMismatch2.vix │ ├── classes │ ├── DuplicateInstanceMethods.vix │ ├── Generalisation.vix │ ├── MethodSignature.vix │ ├── MissingInstanceMethods.vix │ ├── NonClassInstance.vix │ └── NonInstanceMethods.vix │ ├── coverage │ ├── Maybe.vix │ └── ZipWith.vix │ ├── cycle-detection │ ├── local │ │ ├── Constants.vix │ │ ├── Lambda.vix │ │ ├── Mutual.vix │ │ ├── MutualLambda.vix │ │ ├── MutualOnes.vix │ │ ├── Ones.vix │ │ ├── OnesRef.vix │ │ └── Simple.vix │ └── top-level │ │ ├── Constants.vix │ │ ├── Generalisation.vix │ │ ├── Lambda.vix │ │ ├── Mutual.vix │ │ ├── MutualLambda.vix │ │ ├── MutualOnes.vix │ │ ├── Ones.vix │ │ ├── OnesRef.vix │ │ └── Simple.vix │ ├── inductive-families │ ├── Equals1.vix │ ├── Equals2.vix │ ├── Forced.vix │ ├── Impossible.vix │ └── TypeIncorrectPattern.vix │ ├── names │ ├── Duplicate.vix │ └── NonExistent.vix │ └── pattern-matching │ ├── NonExhaustive.vix │ ├── NonExhaustive2.vix │ ├── Overlapping.vix │ ├── Overlapping2.vix │ ├── Overlapping3.vix │ ├── Overlapping4.vix │ └── Overlapping5.vix └── vim ├── ftdetect └── sixten.vim ├── ftplugin └── sixten.vim └── syntax └── sixten.vim /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/.travis.yml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/app/Main.hs -------------------------------------------------------------------------------- /docs/ClosureConversion.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/docs/ClosureConversion.md -------------------------------------------------------------------------------- /docs/MetaVariables.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/docs/MetaVariables.md -------------------------------------------------------------------------------- /docs/QueryCompilerDriver.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/docs/QueryCompilerDriver.md -------------------------------------------------------------------------------- /issues/error-messages/EscapedTypeVar.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/issues/error-messages/EscapedTypeVar.vix -------------------------------------------------------------------------------- /issues/missing-feature/PatternSynonyms.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/issues/missing-feature/PatternSynonyms.vix -------------------------------------------------------------------------------- /issues/syntax-error/ImplicitForall.vix: -------------------------------------------------------------------------------- 1 | test : forall @n. Int 2 | test = 0 3 | -------------------------------------------------------------------------------- /issues/syntax-error/LetWildcard.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/issues/syntax-error/LetWildcard.vix -------------------------------------------------------------------------------- /issues/type-checking/Constructors-Generalisation.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/issues/type-checking/Constructors-Generalisation.vix -------------------------------------------------------------------------------- /issues/type-checking/Container.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/issues/type-checking/Container.vix -------------------------------------------------------------------------------- /issues/type-checking/LocalInstanceUnification.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/issues/type-checking/LocalInstanceUnification.vix -------------------------------------------------------------------------------- /issues/type-checking/LongString.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/issues/type-checking/LongString.vix -------------------------------------------------------------------------------- /issues/type-checking/PiPatterns.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/issues/type-checking/PiPatterns.vix -------------------------------------------------------------------------------- /issues/type-checking/Sigma.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/issues/type-checking/Sigma.vix -------------------------------------------------------------------------------- /issues/type-checking/Speed.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/issues/type-checking/Speed.vix -------------------------------------------------------------------------------- /issues/type-error/DuplicateDefinition.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/issues/type-error/DuplicateDefinition.vix -------------------------------------------------------------------------------- /issues/type-error/ImplicitApp.vix: -------------------------------------------------------------------------------- 1 | test = Type @1 2 | -------------------------------------------------------------------------------- /rts/Builtin.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/rts/Builtin.vix -------------------------------------------------------------------------------- /rts/forwarddecls.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/rts/forwarddecls.ll -------------------------------------------------------------------------------- /sixten.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/sixten.cabal -------------------------------------------------------------------------------- /src/.ghci: -------------------------------------------------------------------------------- 1 | :set -Wall 2 | -------------------------------------------------------------------------------- /src/Analysis/Cycle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Analysis/Cycle.hs -------------------------------------------------------------------------------- /src/Analysis/Denat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Analysis/Denat.hs -------------------------------------------------------------------------------- /src/Analysis/ReturnDirection.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Analysis/ReturnDirection.hs -------------------------------------------------------------------------------- /src/Analysis/Simplify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Analysis/Simplify.hs -------------------------------------------------------------------------------- /src/Analysis/Termination.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Analysis/Termination.hs -------------------------------------------------------------------------------- /src/Backend/ClosureConvert.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Backend/ClosureConvert.hs -------------------------------------------------------------------------------- /src/Backend/Compile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Backend/Compile.hs -------------------------------------------------------------------------------- /src/Backend/ExtractExtern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Backend/ExtractExtern.hs -------------------------------------------------------------------------------- /src/Backend/Generate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Backend/Generate.hs -------------------------------------------------------------------------------- /src/Backend/Generate/LLVM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Backend/Generate/LLVM.hs -------------------------------------------------------------------------------- /src/Backend/Generate/Submodule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Backend/Generate/Submodule.hs -------------------------------------------------------------------------------- /src/Backend/Generate/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Backend/Generate/Types.hs -------------------------------------------------------------------------------- /src/Backend/Lift.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Backend/Lift.hs -------------------------------------------------------------------------------- /src/Backend/SLam.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Backend/SLam.hs -------------------------------------------------------------------------------- /src/Backend/Target.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Backend/Target.hs -------------------------------------------------------------------------------- /src/Builtin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Builtin.hs -------------------------------------------------------------------------------- /src/Builtin/Names.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Builtin/Names.hs -------------------------------------------------------------------------------- /src/Command.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Command.hs -------------------------------------------------------------------------------- /src/Command/Check.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Command/Check.hs -------------------------------------------------------------------------------- /src/Command/Check/Options.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Command/Check/Options.hs -------------------------------------------------------------------------------- /src/Command/Compile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Command/Compile.hs -------------------------------------------------------------------------------- /src/Command/Compile/Options.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Command/Compile/Options.hs -------------------------------------------------------------------------------- /src/Command/LanguageServer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Command/LanguageServer.hs -------------------------------------------------------------------------------- /src/Command/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Command/Run.hs -------------------------------------------------------------------------------- /src/Command/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Command/Test.hs -------------------------------------------------------------------------------- /src/Driver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Driver.hs -------------------------------------------------------------------------------- /src/Driver/Query.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Driver/Query.hs -------------------------------------------------------------------------------- /src/Driver/Rules.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Driver/Rules.hs -------------------------------------------------------------------------------- /src/Effect.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Effect.hs -------------------------------------------------------------------------------- /src/Effect/Context.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Effect/Context.hs -------------------------------------------------------------------------------- /src/Effect/Fresh.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Effect/Fresh.hs -------------------------------------------------------------------------------- /src/Effect/Log.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Effect/Log.hs -------------------------------------------------------------------------------- /src/Effect/Report.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Effect/Report.hs -------------------------------------------------------------------------------- /src/Elaboration/Constraint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/Constraint.hs -------------------------------------------------------------------------------- /src/Elaboration/Constraint.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/Constraint.hs-boot -------------------------------------------------------------------------------- /src/Elaboration/Constructor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/Constructor.hs -------------------------------------------------------------------------------- /src/Elaboration/Equal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/Equal.hs -------------------------------------------------------------------------------- /src/Elaboration/Generalise.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/Generalise.hs -------------------------------------------------------------------------------- /src/Elaboration/Match.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/Match.hs -------------------------------------------------------------------------------- /src/Elaboration/MetaVar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/MetaVar.hs -------------------------------------------------------------------------------- /src/Elaboration/MetaVar/Zonk.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/MetaVar/Zonk.hs -------------------------------------------------------------------------------- /src/Elaboration/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/Monad.hs -------------------------------------------------------------------------------- /src/Elaboration/Normalise.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/Normalise.hs -------------------------------------------------------------------------------- /src/Elaboration/Subtype.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/Subtype.hs -------------------------------------------------------------------------------- /src/Elaboration/TypeCheck/Class.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/TypeCheck/Class.hs -------------------------------------------------------------------------------- /src/Elaboration/TypeCheck/Clause.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/TypeCheck/Clause.hs -------------------------------------------------------------------------------- /src/Elaboration/TypeCheck/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/TypeCheck/Data.hs -------------------------------------------------------------------------------- /src/Elaboration/TypeCheck/Definition.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/TypeCheck/Definition.hs -------------------------------------------------------------------------------- /src/Elaboration/TypeCheck/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/TypeCheck/Expr.hs -------------------------------------------------------------------------------- /src/Elaboration/TypeCheck/Expr.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/TypeCheck/Expr.hs-boot -------------------------------------------------------------------------------- /src/Elaboration/TypeCheck/Literal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/TypeCheck/Literal.hs -------------------------------------------------------------------------------- /src/Elaboration/TypeOf.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/TypeOf.hs -------------------------------------------------------------------------------- /src/Elaboration/Unify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/Unify.hs -------------------------------------------------------------------------------- /src/Elaboration/Unify/Indices.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Elaboration/Unify/Indices.hs -------------------------------------------------------------------------------- /src/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Error.hs -------------------------------------------------------------------------------- /src/Frontend/DupCheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Frontend/DupCheck.hs -------------------------------------------------------------------------------- /src/Frontend/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Frontend/Parse.hs -------------------------------------------------------------------------------- /src/Frontend/ResolveNames.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Frontend/ResolveNames.hs -------------------------------------------------------------------------------- /src/LanguageServer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/LanguageServer.hs -------------------------------------------------------------------------------- /src/LanguageServer/Hover.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/LanguageServer/Hover.hs -------------------------------------------------------------------------------- /src/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Pretty.hs -------------------------------------------------------------------------------- /src/SourceLoc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/SourceLoc.hs -------------------------------------------------------------------------------- /src/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax.hs -------------------------------------------------------------------------------- /src/Syntax/Annotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Annotation.hs -------------------------------------------------------------------------------- /src/Syntax/Branches.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Branches.hs -------------------------------------------------------------------------------- /src/Syntax/Class.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Class.hs -------------------------------------------------------------------------------- /src/Syntax/Closed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Closed.hs -------------------------------------------------------------------------------- /src/Syntax/Context.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Context.hs -------------------------------------------------------------------------------- /src/Syntax/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Core.hs -------------------------------------------------------------------------------- /src/Syntax/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Data.hs -------------------------------------------------------------------------------- /src/Syntax/Definition.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Definition.hs -------------------------------------------------------------------------------- /src/Syntax/Direction.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Direction.hs -------------------------------------------------------------------------------- /src/Syntax/Extern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Extern.hs -------------------------------------------------------------------------------- /src/Syntax/GlobalBind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/GlobalBind.hs -------------------------------------------------------------------------------- /src/Syntax/Let.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Let.hs -------------------------------------------------------------------------------- /src/Syntax/Literal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Literal.hs -------------------------------------------------------------------------------- /src/Syntax/ModuleHeader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/ModuleHeader.hs -------------------------------------------------------------------------------- /src/Syntax/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Name.hs -------------------------------------------------------------------------------- /src/Syntax/NameHint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/NameHint.hs -------------------------------------------------------------------------------- /src/Syntax/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Pattern.hs -------------------------------------------------------------------------------- /src/Syntax/Pre/Definition.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Pre/Definition.hs -------------------------------------------------------------------------------- /src/Syntax/Pre/Literal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Pre/Literal.hs -------------------------------------------------------------------------------- /src/Syntax/Pre/Scoped.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Pre/Scoped.hs -------------------------------------------------------------------------------- /src/Syntax/Pre/Unscoped.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Pre/Unscoped.hs -------------------------------------------------------------------------------- /src/Syntax/PreName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/PreName.hs -------------------------------------------------------------------------------- /src/Syntax/QName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/QName.hs -------------------------------------------------------------------------------- /src/Syntax/Sized/Anno.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Sized/Anno.hs -------------------------------------------------------------------------------- /src/Syntax/Sized/Definition.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Sized/Definition.hs -------------------------------------------------------------------------------- /src/Syntax/Sized/Extracted.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Sized/Extracted.hs -------------------------------------------------------------------------------- /src/Syntax/Sized/Lifted.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Sized/Lifted.hs -------------------------------------------------------------------------------- /src/Syntax/Sized/SLambda.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Sized/SLambda.hs -------------------------------------------------------------------------------- /src/Syntax/Telescope.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Syntax/Telescope.hs -------------------------------------------------------------------------------- /src/TypeRep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/TypeRep.hs -------------------------------------------------------------------------------- /src/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Util.hs -------------------------------------------------------------------------------- /src/Util/MultiHashMap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Util/MultiHashMap.hs -------------------------------------------------------------------------------- /src/Util/Orphans.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Util/Orphans.hs -------------------------------------------------------------------------------- /src/Util/TopoSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Util/TopoSort.hs -------------------------------------------------------------------------------- /src/Util/Tsil.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/Util/Tsil.hs -------------------------------------------------------------------------------- /src/VIX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/src/VIX.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/stack.yaml -------------------------------------------------------------------------------- /tests/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/Main.hs -------------------------------------------------------------------------------- /tests/success-multi/aliases/CrossModuleAliases/A.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/aliases/CrossModuleAliases/A.vix -------------------------------------------------------------------------------- /tests/success-multi/aliases/CrossModuleAliases/B.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/aliases/CrossModuleAliases/B.vix -------------------------------------------------------------------------------- /tests/success-multi/aliases/CrossModuleAliases/Main.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/aliases/CrossModuleAliases/Main.vix -------------------------------------------------------------------------------- /tests/success-multi/aliases/CrossModuleAliases/Main.vix-expected: -------------------------------------------------------------------------------- 1 | 123 2 | -------------------------------------------------------------------------------- /tests/success-multi/modules/Classes/Functor.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/modules/Classes/Functor.vix -------------------------------------------------------------------------------- /tests/success-multi/modules/Classes/Main.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/modules/Classes/Main.vix -------------------------------------------------------------------------------- /tests/success-multi/modules/ConstructorImportQualification/A.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/modules/ConstructorImportQualification/A.vix -------------------------------------------------------------------------------- /tests/success-multi/modules/ConstructorImportQualification/Main.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/modules/ConstructorImportQualification/Main.vix -------------------------------------------------------------------------------- /tests/success-multi/modules/Constructors/A.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/modules/Constructors/A.vix -------------------------------------------------------------------------------- /tests/success-multi/modules/Constructors/B.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/modules/Constructors/B.vix -------------------------------------------------------------------------------- /tests/success-multi/modules/Constructors/Main.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/modules/Constructors/Main.vix -------------------------------------------------------------------------------- /tests/success-multi/modules/Empty/Empty.vix: -------------------------------------------------------------------------------- 1 | module Empty exposing () 2 | -------------------------------------------------------------------------------- /tests/success-multi/modules/Empty/Main.vix: -------------------------------------------------------------------------------- 1 | import Empty exposing (..) 2 | -------------------------------------------------------------------------------- /tests/success-multi/modules/ImportAliases/ImportA.vix: -------------------------------------------------------------------------------- 1 | module ImportA exposing (..) 2 | 3 | fun = 123 4 | -------------------------------------------------------------------------------- /tests/success-multi/modules/ImportAliases/ImportB.vix: -------------------------------------------------------------------------------- 1 | module ImportB exposing (fun) 2 | 3 | fun = 223 4 | -------------------------------------------------------------------------------- /tests/success-multi/modules/ImportAliases/List.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/modules/ImportAliases/List.vix -------------------------------------------------------------------------------- /tests/success-multi/modules/ImportAliases/Main.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/modules/ImportAliases/Main.vix -------------------------------------------------------------------------------- /tests/success-multi/modules/ImportAliases/Main.vix-expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/modules/ImportAliases/Main.vix-expected -------------------------------------------------------------------------------- /tests/success-multi/modules/Instances/Functor.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/modules/Instances/Functor.vix -------------------------------------------------------------------------------- /tests/success-multi/modules/Instances/Main.vix: -------------------------------------------------------------------------------- 1 | import Data.Functor exposing (..) 2 | 3 | main = map printInt (Just 610) 4 | -------------------------------------------------------------------------------- /tests/success-multi/modules/Instances/Main.vix-expected: -------------------------------------------------------------------------------- 1 | 610 2 | -------------------------------------------------------------------------------- /tests/success-multi/modules/OpenImports/ImportA.vix: -------------------------------------------------------------------------------- 1 | module ImportA exposing (..) 2 | 3 | funA = 123 4 | -------------------------------------------------------------------------------- /tests/success-multi/modules/OpenImports/ImportB.vix: -------------------------------------------------------------------------------- 1 | module ImportB exposing (..) 2 | 3 | funB = 223 4 | -------------------------------------------------------------------------------- /tests/success-multi/modules/OpenImports/List.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/modules/OpenImports/List.vix -------------------------------------------------------------------------------- /tests/success-multi/modules/OpenImports/Main.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/modules/OpenImports/Main.vix -------------------------------------------------------------------------------- /tests/success-multi/modules/OpenImports/Main.vix-expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/modules/OpenImports/Main.vix-expected -------------------------------------------------------------------------------- /tests/success-multi/modules/Propagation/A.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/modules/Propagation/A.vix -------------------------------------------------------------------------------- /tests/success-multi/modules/Propagation/Main.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success-multi/modules/Propagation/Main.vix -------------------------------------------------------------------------------- /tests/success/00-basics/ADT.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/ADT.vix -------------------------------------------------------------------------------- /tests/success/00-basics/ADT.vix-expected: -------------------------------------------------------------------------------- 1 | 10 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/App.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/App.vix -------------------------------------------------------------------------------- /tests/success/00-basics/App.vix-expected: -------------------------------------------------------------------------------- 1 | 3 2 | 5 3 | 7 4 | 9 5 | -------------------------------------------------------------------------------- /tests/success/00-basics/Bool-IfThenElse.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/Bool-IfThenElse.vix -------------------------------------------------------------------------------- /tests/success/00-basics/Bool-IfThenElse.vix-expected: -------------------------------------------------------------------------------- 1 | 13 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/Bool.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/Bool.vix -------------------------------------------------------------------------------- /tests/success/00-basics/Bool.vix-expected: -------------------------------------------------------------------------------- 1 | 5 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/Bool1.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/Bool1.vix -------------------------------------------------------------------------------- /tests/success/00-basics/Bool1.vix-expected: -------------------------------------------------------------------------------- 1 | 12 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/CaseReturningUnit.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/CaseReturningUnit.vix -------------------------------------------------------------------------------- /tests/success/00-basics/CircularType.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/CircularType.vix -------------------------------------------------------------------------------- /tests/success/00-basics/CircularType.vix-expected: -------------------------------------------------------------------------------- 1 | 12 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/Empty.vix: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/success/00-basics/Empty.vix-expected: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/success/00-basics/Fun.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/Fun.vix -------------------------------------------------------------------------------- /tests/success/00-basics/Fun.vix-expected: -------------------------------------------------------------------------------- 1 | 10 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/FunSynonym.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/FunSynonym.vix -------------------------------------------------------------------------------- /tests/success/00-basics/FunSynonym.vix-expected: -------------------------------------------------------------------------------- 1 | 3 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/GlobalLiteral.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/GlobalLiteral.vix -------------------------------------------------------------------------------- /tests/success/00-basics/GlobalLiteral.vix-expected: -------------------------------------------------------------------------------- 1 | 123 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/HeadTail.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/HeadTail.vix -------------------------------------------------------------------------------- /tests/success/00-basics/HeadTail.vix-expected: -------------------------------------------------------------------------------- 1 | 1 2 | 2 3 | -------------------------------------------------------------------------------- /tests/success/00-basics/Int.vix: -------------------------------------------------------------------------------- 1 | test = printInt 123 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/Int.vix-expected: -------------------------------------------------------------------------------- 1 | 123 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/List-Drop.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/List-Drop.vix -------------------------------------------------------------------------------- /tests/success/00-basics/List-Drop.vix-expected: -------------------------------------------------------------------------------- 1 | 5 2 | 4 3 | 3 4 | 2 5 | 1 6 | -------------------------------------------------------------------------------- /tests/success/00-basics/List-Head.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/List-Head.vix -------------------------------------------------------------------------------- /tests/success/00-basics/List-Head.vix-expected: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/List-SumTuple.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/List-SumTuple.vix -------------------------------------------------------------------------------- /tests/success/00-basics/List-SumTuple.vix-expected: -------------------------------------------------------------------------------- 1 | 1 2 | 2 3 | 3 4 | 4 5 | 5 6 | 6 7 | -------------------------------------------------------------------------------- /tests/success/00-basics/List.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/List.vix -------------------------------------------------------------------------------- /tests/success/00-basics/List.vix-expected: -------------------------------------------------------------------------------- 1 | 10 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/ListImplicit.vix-expected: -------------------------------------------------------------------------------- 1 | 10 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/MapPap.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/MapPap.vix -------------------------------------------------------------------------------- /tests/success/00-basics/MapPap.vix-expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/MapPap.vix-expected -------------------------------------------------------------------------------- /tests/success/00-basics/MutuallyRecursive.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/MutuallyRecursive.vix -------------------------------------------------------------------------------- /tests/success/00-basics/MutuallyRecursive.vix-expected: -------------------------------------------------------------------------------- 1 | 1 2 | 0 3 | 1 4 | 0 5 | -------------------------------------------------------------------------------- /tests/success/00-basics/MutuallyRecursiveType.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/MutuallyRecursiveType.vix -------------------------------------------------------------------------------- /tests/success/00-basics/Pap.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/Pap.vix -------------------------------------------------------------------------------- /tests/success/00-basics/Pap.vix-expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/Pap.vix-expected -------------------------------------------------------------------------------- /tests/success/00-basics/Primes.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/Primes.vix -------------------------------------------------------------------------------- /tests/success/00-basics/Primes.vix-expected: -------------------------------------------------------------------------------- 1 | 123 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/SizeOf.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/SizeOf.vix -------------------------------------------------------------------------------- /tests/success/00-basics/SizeOf.vix-expected: -------------------------------------------------------------------------------- 1 | 40 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/Tree.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/Tree.vix -------------------------------------------------------------------------------- /tests/success/00-basics/Tree.vix-expected: -------------------------------------------------------------------------------- 1 | 10 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/Tuple.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/Tuple.vix -------------------------------------------------------------------------------- /tests/success/00-basics/Tuple.vix-expected: -------------------------------------------------------------------------------- 1 | 30 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/Type.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/Type.vix -------------------------------------------------------------------------------- /tests/success/00-basics/Type.vix-expected: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /tests/success/00-basics/TypeSynonym.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/TypeSynonym.vix -------------------------------------------------------------------------------- /tests/success/00-basics/Void.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/00-basics/Void.vix -------------------------------------------------------------------------------- /tests/success/00-basics/WildcardDefinition.vix: -------------------------------------------------------------------------------- 1 | test : Int 2 | _ = printInt 123 3 | 4 | -------------------------------------------------------------------------------- /tests/success/00-basics/WildcardDefinition.vix-expected: -------------------------------------------------------------------------------- 1 | 123 2 | -------------------------------------------------------------------------------- /tests/success/aliases/Aliases.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/aliases/Aliases.vix -------------------------------------------------------------------------------- /tests/success/aliases/Aliases.vix-expected: -------------------------------------------------------------------------------- 1 | 123 2 | -------------------------------------------------------------------------------- /tests/success/arrays/Array-Append-Builtin-Nat.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/arrays/Array-Append-Builtin-Nat.vix -------------------------------------------------------------------------------- /tests/success/arrays/Array-Append-Builtin-Nat.vix-expected: -------------------------------------------------------------------------------- 1 | 3 2 | 7 3 | 25 4 | 29 5 | 33 6 | -------------------------------------------------------------------------------- /tests/success/arrays/Array-Append-Nat.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/arrays/Array-Append-Nat.vix -------------------------------------------------------------------------------- /tests/success/arrays/Array-Append-Nat.vix-expected: -------------------------------------------------------------------------------- 1 | 3 2 | 7 3 | 25 4 | 29 5 | 33 6 | -------------------------------------------------------------------------------- /tests/success/arrays/DepSize-Builtin-Nat.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/arrays/DepSize-Builtin-Nat.vix -------------------------------------------------------------------------------- /tests/success/arrays/DepSize-Builtin-Nat.vix-expected: -------------------------------------------------------------------------------- 1 | 111 2 | -------------------------------------------------------------------------------- /tests/success/arrays/DepSize.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/arrays/DepSize.vix -------------------------------------------------------------------------------- /tests/success/arrays/DepSize.vix-expected: -------------------------------------------------------------------------------- 1 | 111 2 | -------------------------------------------------------------------------------- /tests/success/arrays/Vector-AnySize-Builtin-Nat.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/arrays/Vector-AnySize-Builtin-Nat.vix -------------------------------------------------------------------------------- /tests/success/arrays/Vector-AnySize-Builtin-Nat.vix-expected: -------------------------------------------------------------------------------- 1 | 6 2 | -------------------------------------------------------------------------------- /tests/success/arrays/Vector-AnySize-Nat.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/arrays/Vector-AnySize-Nat.vix -------------------------------------------------------------------------------- /tests/success/arrays/Vector-AnySize-Nat.vix-expected: -------------------------------------------------------------------------------- 1 | 6 2 | -------------------------------------------------------------------------------- /tests/success/arrays/Vector-Append-Builtin-Nat.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/arrays/Vector-Append-Builtin-Nat.vix -------------------------------------------------------------------------------- /tests/success/arrays/Vector-Append-Builtin-Nat.vix-expected: -------------------------------------------------------------------------------- 1 | 31 2 | -------------------------------------------------------------------------------- /tests/success/arrays/Vector-Append-Nat.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/arrays/Vector-Append-Nat.vix -------------------------------------------------------------------------------- /tests/success/arrays/Vector-Append-Nat.vix-expected: -------------------------------------------------------------------------------- 1 | 31 2 | -------------------------------------------------------------------------------- /tests/success/arrays/Vector-FixedSize.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/arrays/Vector-FixedSize.vix -------------------------------------------------------------------------------- /tests/success/arrays/Vector-FixedSize.vix-expected: -------------------------------------------------------------------------------- 1 | 6 2 | -------------------------------------------------------------------------------- /tests/success/arrays/Vector-Index.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/arrays/Vector-Index.vix -------------------------------------------------------------------------------- /tests/success/arrays/Vector-Index.vix-expected: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /tests/success/boxed/List.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/boxed/List.vix -------------------------------------------------------------------------------- /tests/success/boxed/List.vix-expected: -------------------------------------------------------------------------------- 1 | 1 2 | 2 3 | 3 4 | -------------------------------------------------------------------------------- /tests/success/builtins/PrintString.vix: -------------------------------------------------------------------------------- 1 | main = printString "Hello world!\n" 2 | -------------------------------------------------------------------------------- /tests/success/builtins/PrintString.vix-expected: -------------------------------------------------------------------------------- 1 | Hello world! 2 | -------------------------------------------------------------------------------- /tests/success/classes/ApplicativeInTermsOfMonad.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/classes/ApplicativeInTermsOfMonad.vix -------------------------------------------------------------------------------- /tests/success/classes/ApplicativeInTermsOfMonad.vix-expected: -------------------------------------------------------------------------------- 1 | 610 2 | -------------------------------------------------------------------------------- /tests/success/classes/ContextualMethodNormalisation.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/classes/ContextualMethodNormalisation.vix -------------------------------------------------------------------------------- /tests/success/classes/Delay.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/classes/Delay.vix -------------------------------------------------------------------------------- /tests/success/classes/Delay.vix-expected: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /tests/success/classes/Functor.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/classes/Functor.vix -------------------------------------------------------------------------------- /tests/success/classes/Functor.vix-expected: -------------------------------------------------------------------------------- 1 | 1 2 | 2 3 | 3 4 | -------------------------------------------------------------------------------- /tests/success/classes/MethodNormalisation.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/classes/MethodNormalisation.vix -------------------------------------------------------------------------------- /tests/success/classes/MethodSignature.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/classes/MethodSignature.vix -------------------------------------------------------------------------------- /tests/success/classes/MethodSignaturePropagation.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/classes/MethodSignaturePropagation.vix -------------------------------------------------------------------------------- /tests/success/classes/Monad.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/classes/Monad.vix -------------------------------------------------------------------------------- /tests/success/classes/Monad.vix-expected: -------------------------------------------------------------------------------- 1 | 1 2 | 2 3 | 3 4 | 610 5 | -------------------------------------------------------------------------------- /tests/success/classes/Simple.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/classes/Simple.vix -------------------------------------------------------------------------------- /tests/success/classes/Simple.vix-expected: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /tests/success/classes/Summable.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/classes/Summable.vix -------------------------------------------------------------------------------- /tests/success/classes/Summable.vix-expected: -------------------------------------------------------------------------------- 1 | 6 2 | -------------------------------------------------------------------------------- /tests/success/extern-c/Callbacks.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/extern-c/Callbacks.vix -------------------------------------------------------------------------------- /tests/success/extern-c/Callbacks.vix-expected: -------------------------------------------------------------------------------- 1 | 43 2 | -------------------------------------------------------------------------------- /tests/success/extern-c/Constructors.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/extern-c/Constructors.vix -------------------------------------------------------------------------------- /tests/success/extern-c/Constructors.vix-expected: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /tests/success/extern-c/Escaping.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/extern-c/Escaping.vix -------------------------------------------------------------------------------- /tests/success/extern-c/Escaping.vix-expected: -------------------------------------------------------------------------------- 1 | 123 2 | -------------------------------------------------------------------------------- /tests/success/extern-c/Escaping2.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/extern-c/Escaping2.vix -------------------------------------------------------------------------------- /tests/success/extern-c/Escaping2.vix-expected: -------------------------------------------------------------------------------- 1 | 3 2 | -------------------------------------------------------------------------------- /tests/success/extern-c/Extern.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/extern-c/Extern.vix -------------------------------------------------------------------------------- /tests/success/extern-c/Extern.vix-expected: -------------------------------------------------------------------------------- 1 | 6 2 | -------------------------------------------------------------------------------- /tests/success/extern-c/Lazy-Class.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/extern-c/Lazy-Class.vix -------------------------------------------------------------------------------- /tests/success/extern-c/Lazy-Class.vix-expected: -------------------------------------------------------------------------------- 1 | 41 2 | 0 3 | -------------------------------------------------------------------------------- /tests/success/extern-c/Lazy.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/extern-c/Lazy.vix -------------------------------------------------------------------------------- /tests/success/extern-c/Lazy.vix-expected: -------------------------------------------------------------------------------- 1 | 41 2 | 0 3 | -------------------------------------------------------------------------------- /tests/success/extern-c/OutParams.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/extern-c/OutParams.vix -------------------------------------------------------------------------------- /tests/success/extern-c/OutParams.vix-expected: -------------------------------------------------------------------------------- 1 | abc 2 | -------------------------------------------------------------------------------- /tests/success/inductive-families/BoxedFin.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/inductive-families/BoxedFin.vix -------------------------------------------------------------------------------- /tests/success/inductive-families/BoxedFin.vix-expected: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /tests/success/inductive-families/BoxedVec.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/inductive-families/BoxedVec.vix -------------------------------------------------------------------------------- /tests/success/inductive-families/BoxedVec.vix-expected: -------------------------------------------------------------------------------- 1 | 6 2 | -------------------------------------------------------------------------------- /tests/success/inductive-families/Equals.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/inductive-families/Equals.vix -------------------------------------------------------------------------------- /tests/success/inductive-families/Equals.vix-expected: -------------------------------------------------------------------------------- 1 | 123 2 | -------------------------------------------------------------------------------- /tests/success/inductive-families/Fin.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/inductive-families/Fin.vix -------------------------------------------------------------------------------- /tests/success/inductive-families/Fin.vix-expected: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /tests/success/inductive-families/Forced.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/inductive-families/Forced.vix -------------------------------------------------------------------------------- /tests/success/inductive-families/Impossible.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/inductive-families/Impossible.vix -------------------------------------------------------------------------------- /tests/success/inductive-families/Vec.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/inductive-families/Vec.vix -------------------------------------------------------------------------------- /tests/success/inductive-families/Vec.vix-expected: -------------------------------------------------------------------------------- 1 | 3 2 | -------------------------------------------------------------------------------- /tests/success/lets/Concrete.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/lets/Concrete.vix -------------------------------------------------------------------------------- /tests/success/lets/Concrete.vix-expected: -------------------------------------------------------------------------------- 1 | 123 2 | -------------------------------------------------------------------------------- /tests/success/lets/Cyclic.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/lets/Cyclic.vix -------------------------------------------------------------------------------- /tests/success/lets/CyclicConstants.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/lets/CyclicConstants.vix -------------------------------------------------------------------------------- /tests/success/lets/CyclicConstants.vix-expected: -------------------------------------------------------------------------------- 1 | 43 2 | -------------------------------------------------------------------------------- /tests/success/lets/Generalisation.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/lets/Generalisation.vix -------------------------------------------------------------------------------- /tests/success/lets/Generalisation.vix-expected: -------------------------------------------------------------------------------- 1 | 41 2 | -------------------------------------------------------------------------------- /tests/success/lets/Mutual.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/lets/Mutual.vix -------------------------------------------------------------------------------- /tests/success/lets/Mutual.vix-expected: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /tests/success/lets/Mutual2.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/lets/Mutual2.vix -------------------------------------------------------------------------------- /tests/success/lets/Mutual2.vix-expected: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /tests/success/lets/Mutual3.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/lets/Mutual3.vix -------------------------------------------------------------------------------- /tests/success/lets/Mutual3.vix-expected: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /tests/success/lets/Recursive.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/lets/Recursive.vix -------------------------------------------------------------------------------- /tests/success/lets/Syntax.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/lets/Syntax.vix -------------------------------------------------------------------------------- /tests/success/lets/Syntax.vix-expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/lets/Syntax.vix-expected -------------------------------------------------------------------------------- /tests/success/modules/BuiltinImportAliases.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/modules/BuiltinImportAliases.vix -------------------------------------------------------------------------------- /tests/success/modules/Builtins.vix: -------------------------------------------------------------------------------- 1 | test = Sixten.Builtin.printInt 123 2 | -------------------------------------------------------------------------------- /tests/success/modules/Builtins.vix-expected: -------------------------------------------------------------------------------- 1 | 123 2 | -------------------------------------------------------------------------------- /tests/success/modules/ImportAliases.vix-expected: -------------------------------------------------------------------------------- 1 | 123 2 | 223 3 | -------------------------------------------------------------------------------- /tests/success/modules/LocalAliases.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/modules/LocalAliases.vix -------------------------------------------------------------------------------- /tests/success/patterns/PatternMatching-ZipWith.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/patterns/PatternMatching-ZipWith.vix -------------------------------------------------------------------------------- /tests/success/patterns/PatternMatching-ZipWith.vix-expected: -------------------------------------------------------------------------------- 1 | 11 2 | 22 3 | 33 4 | -------------------------------------------------------------------------------- /tests/success/patterns/PatternMatching-ZipWith2.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/patterns/PatternMatching-ZipWith2.vix -------------------------------------------------------------------------------- /tests/success/patterns/PatternMatching-ZipWith2.vix-expected: -------------------------------------------------------------------------------- 1 | 20 2 | -------------------------------------------------------------------------------- /tests/success/patterns/PatternSyntax.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/patterns/PatternSyntax.vix -------------------------------------------------------------------------------- /tests/success/patterns/PatternSyntax.vix-expected: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/success/patterns/Patterns-Arity.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/patterns/Patterns-Arity.vix -------------------------------------------------------------------------------- /tests/success/patterns/Patterns-ConstructorImplicits.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/patterns/Patterns-ConstructorImplicits.vix -------------------------------------------------------------------------------- /tests/success/patterns/Patterns-DataImplicits.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/patterns/Patterns-DataImplicits.vix -------------------------------------------------------------------------------- /tests/success/patterns/Patterns-ImplicitArity.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/patterns/Patterns-ImplicitArity.vix -------------------------------------------------------------------------------- /tests/success/patterns/Patterns-Implicits.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/patterns/Patterns-Implicits.vix -------------------------------------------------------------------------------- /tests/success/patterns/Patterns-ImplicitsInType.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/patterns/Patterns-ImplicitsInType.vix -------------------------------------------------------------------------------- /tests/success/patterns/SplitLit.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/patterns/SplitLit.vix -------------------------------------------------------------------------------- /tests/success/patterns/String-Patterns.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/patterns/String-Patterns.vix -------------------------------------------------------------------------------- /tests/success/patterns/String-Patterns.vix-expected: -------------------------------------------------------------------------------- 1 | 1 2 | 2 3 | 3 4 | 4 5 | 5 6 | 6 7 | -1 8 | -------------------------------------------------------------------------------- /tests/success/simplification/CaseOfKnown-Tricky.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/simplification/CaseOfKnown-Tricky.vix -------------------------------------------------------------------------------- /tests/success/simplification/CaseOfKnown-Tricky.vix-expected: -------------------------------------------------------------------------------- 1 | 444 2 | -------------------------------------------------------------------------------- /tests/success/simplification/CaseOfKnown.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/simplification/CaseOfKnown.vix -------------------------------------------------------------------------------- /tests/success/simplification/CaseOfKnown.vix-expected: -------------------------------------------------------------------------------- 1 | 123 2 | -------------------------------------------------------------------------------- /tests/success/simplification/Erasure-Loop.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/simplification/Erasure-Loop.vix -------------------------------------------------------------------------------- /tests/success/simplification/Erasure.vix-expected: -------------------------------------------------------------------------------- 1 | 123 2 | -------------------------------------------------------------------------------- /tests/success/simplification/EtaReduction.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/simplification/EtaReduction.vix -------------------------------------------------------------------------------- /tests/success/simplification/EtaReduction.vix-expected: -------------------------------------------------------------------------------- 1 | 3 2 | 4 3 | -------------------------------------------------------------------------------- /tests/success/simplification/EtaReductionReduced.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/simplification/EtaReductionReduced.vix -------------------------------------------------------------------------------- /tests/success/simplification/EtaReductionReduced2.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/simplification/EtaReductionReduced2.vix -------------------------------------------------------------------------------- /tests/success/syntax/FunSyntax.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/syntax/FunSyntax.vix -------------------------------------------------------------------------------- /tests/success/typechecking/Cases.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/typechecking/Cases.vix -------------------------------------------------------------------------------- /tests/success/typechecking/Concurrency.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/typechecking/Concurrency.vix -------------------------------------------------------------------------------- /tests/success/typechecking/DeepSkolemisation.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/typechecking/DeepSkolemisation.vix -------------------------------------------------------------------------------- /tests/success/typechecking/Prop.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/typechecking/Prop.vix -------------------------------------------------------------------------------- /tests/success/typechecking/Propagation.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/typechecking/Propagation.vix -------------------------------------------------------------------------------- /tests/success/typechecking/SignatureGeneralisation.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/typechecking/SignatureGeneralisation.vix -------------------------------------------------------------------------------- /tests/success/typechecking/TypeFunction.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/typechecking/TypeFunction.vix -------------------------------------------------------------------------------- /tests/success/typechecking/TypeType.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/typechecking/TypeType.vix -------------------------------------------------------------------------------- /tests/success/typechecking/Unification.vix: -------------------------------------------------------------------------------- 1 | test = (\x y. x) 610 2 | -------------------------------------------------------------------------------- /tests/success/typechecking/Wildcard.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/success/typechecking/Wildcard.vix -------------------------------------------------------------------------------- /tests/syntax-error/DataTypeSignature.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/syntax-error/DataTypeSignature.vix -------------------------------------------------------------------------------- /tests/syntax-error/DefRecovery.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/syntax-error/DefRecovery.vix -------------------------------------------------------------------------------- /tests/syntax-error/DefRecovery.vix-expected: -------------------------------------------------------------------------------- 1 | 610 2 | -------------------------------------------------------------------------------- /tests/syntax-error/DuplicateTypeSignature.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/syntax-error/DuplicateTypeSignature.vix -------------------------------------------------------------------------------- /tests/syntax-error/DuplicateTypeSignature2.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/syntax-error/DuplicateTypeSignature2.vix -------------------------------------------------------------------------------- /tests/syntax-error/NoMatchingDefinition.vix: -------------------------------------------------------------------------------- 1 | test : Int 2 | -------------------------------------------------------------------------------- /tests/syntax-error/Recovery.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/syntax-error/Recovery.vix -------------------------------------------------------------------------------- /tests/syntax-error/Recovery.vix-expected: -------------------------------------------------------------------------------- 1 | yolo! 2 | -------------------------------------------------------------------------------- /tests/syntax-error/TypeWhere.vix: -------------------------------------------------------------------------------- 1 | type where 2 | -------------------------------------------------------------------------------- /tests/type-error-multi/modules/Ambiguous/ImportA.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error-multi/modules/Ambiguous/ImportA.vix -------------------------------------------------------------------------------- /tests/type-error-multi/modules/Ambiguous/ImportB.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error-multi/modules/Ambiguous/ImportB.vix -------------------------------------------------------------------------------- /tests/type-error-multi/modules/Ambiguous/Main.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error-multi/modules/Ambiguous/Main.vix -------------------------------------------------------------------------------- /tests/type-error-multi/modules/AmbiguousConstructors/A.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error-multi/modules/AmbiguousConstructors/A.vix -------------------------------------------------------------------------------- /tests/type-error-multi/modules/AmbiguousConstructors/Main.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error-multi/modules/AmbiguousConstructors/Main.vix -------------------------------------------------------------------------------- /tests/type-error-multi/modules/Constructors/A.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error-multi/modules/Constructors/A.vix -------------------------------------------------------------------------------- /tests/type-error-multi/modules/Constructors/Main.vix: -------------------------------------------------------------------------------- 1 | import A 2 | 3 | acon = Con 4 | -------------------------------------------------------------------------------- /tests/type-error-multi/modules/DuplicateModuleName/Main1.vix: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/type-error-multi/modules/DuplicateModuleName/Main2.vix: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/type-error-multi/modules/DuplicateModuleName2/Module1.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error-multi/modules/DuplicateModuleName2/Module1.vix -------------------------------------------------------------------------------- /tests/type-error-multi/modules/DuplicateModuleName2/Module2.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error-multi/modules/DuplicateModuleName2/Module2.vix -------------------------------------------------------------------------------- /tests/type-error-multi/modules/Private/ImportA.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error-multi/modules/Private/ImportA.vix -------------------------------------------------------------------------------- /tests/type-error-multi/modules/Private/Main.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error-multi/modules/Private/Main.vix -------------------------------------------------------------------------------- /tests/type-error-multi/modules/UnqualifiedUseOfQualified/ImportA.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error-multi/modules/UnqualifiedUseOfQualified/ImportA.vix -------------------------------------------------------------------------------- /tests/type-error-multi/modules/UnqualifiedUseOfQualified/Main.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error-multi/modules/UnqualifiedUseOfQualified/Main.vix -------------------------------------------------------------------------------- /tests/type-error/AmbiguousConstructor.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/AmbiguousConstructor.vix -------------------------------------------------------------------------------- /tests/type-error/DuplicateDefinition.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/DuplicateDefinition.vix -------------------------------------------------------------------------------- /tests/type-error/InfiniteType-MutuallyRecursive.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/InfiniteType-MutuallyRecursive.vix -------------------------------------------------------------------------------- /tests/type-error/InfiniteType-MutuallyRecursive2.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/InfiniteType-MutuallyRecursive2.vix -------------------------------------------------------------------------------- /tests/type-error/InfiniteType-Tricky.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/InfiniteType-Tricky.vix -------------------------------------------------------------------------------- /tests/type-error/InfiniteType.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/InfiniteType.vix -------------------------------------------------------------------------------- /tests/type-error/Loop.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/Loop.vix -------------------------------------------------------------------------------- /tests/type-error/OccursCheck.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/OccursCheck.vix -------------------------------------------------------------------------------- /tests/type-error/Patterns-ConstructorImplicits.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/Patterns-ConstructorImplicits.vix -------------------------------------------------------------------------------- /tests/type-error/Patterns-TooFewArgs.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/Patterns-TooFewArgs.vix -------------------------------------------------------------------------------- /tests/type-error/Patterns-TooManyArgs.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/Patterns-TooManyArgs.vix -------------------------------------------------------------------------------- /tests/type-error/TypeMismatch.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/TypeMismatch.vix -------------------------------------------------------------------------------- /tests/type-error/TypeMismatch2.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/TypeMismatch2.vix -------------------------------------------------------------------------------- /tests/type-error/classes/DuplicateInstanceMethods.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/classes/DuplicateInstanceMethods.vix -------------------------------------------------------------------------------- /tests/type-error/classes/Generalisation.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/classes/Generalisation.vix -------------------------------------------------------------------------------- /tests/type-error/classes/MethodSignature.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/classes/MethodSignature.vix -------------------------------------------------------------------------------- /tests/type-error/classes/MissingInstanceMethods.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/classes/MissingInstanceMethods.vix -------------------------------------------------------------------------------- /tests/type-error/classes/NonClassInstance.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/classes/NonClassInstance.vix -------------------------------------------------------------------------------- /tests/type-error/classes/NonInstanceMethods.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/classes/NonInstanceMethods.vix -------------------------------------------------------------------------------- /tests/type-error/coverage/Maybe.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/coverage/Maybe.vix -------------------------------------------------------------------------------- /tests/type-error/coverage/ZipWith.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/coverage/ZipWith.vix -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/local/Constants.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/cycle-detection/local/Constants.vix -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/local/Lambda.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/cycle-detection/local/Lambda.vix -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/local/Mutual.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/cycle-detection/local/Mutual.vix -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/local/MutualLambda.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/cycle-detection/local/MutualLambda.vix -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/local/MutualOnes.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/cycle-detection/local/MutualOnes.vix -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/local/Ones.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/cycle-detection/local/Ones.vix -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/local/OnesRef.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/cycle-detection/local/OnesRef.vix -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/local/Simple.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/cycle-detection/local/Simple.vix -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/top-level/Constants.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/cycle-detection/top-level/Constants.vix -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/top-level/Generalisation.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/cycle-detection/top-level/Generalisation.vix -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/top-level/Lambda.vix: -------------------------------------------------------------------------------- 1 | f : Int 2 | f = (\x. f) 1 3 | -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/top-level/Mutual.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/cycle-detection/top-level/Mutual.vix -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/top-level/MutualLambda.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/cycle-detection/top-level/MutualLambda.vix -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/top-level/MutualOnes.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/cycle-detection/top-level/MutualOnes.vix -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/top-level/Ones.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/cycle-detection/top-level/Ones.vix -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/top-level/OnesRef.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/cycle-detection/top-level/OnesRef.vix -------------------------------------------------------------------------------- /tests/type-error/cycle-detection/top-level/Simple.vix: -------------------------------------------------------------------------------- 1 | f : Int 2 | f = 3 | let g _ = f 4 | g MkUnit 5 | -------------------------------------------------------------------------------- /tests/type-error/inductive-families/Equals1.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/inductive-families/Equals1.vix -------------------------------------------------------------------------------- /tests/type-error/inductive-families/Equals2.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/inductive-families/Equals2.vix -------------------------------------------------------------------------------- /tests/type-error/inductive-families/Forced.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/inductive-families/Forced.vix -------------------------------------------------------------------------------- /tests/type-error/inductive-families/Impossible.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/inductive-families/Impossible.vix -------------------------------------------------------------------------------- /tests/type-error/inductive-families/TypeIncorrectPattern.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/inductive-families/TypeIncorrectPattern.vix -------------------------------------------------------------------------------- /tests/type-error/names/Duplicate.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/names/Duplicate.vix -------------------------------------------------------------------------------- /tests/type-error/names/NonExistent.vix: -------------------------------------------------------------------------------- 1 | f : Int 2 | f = g 3 | -------------------------------------------------------------------------------- /tests/type-error/pattern-matching/NonExhaustive.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/pattern-matching/NonExhaustive.vix -------------------------------------------------------------------------------- /tests/type-error/pattern-matching/NonExhaustive2.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/pattern-matching/NonExhaustive2.vix -------------------------------------------------------------------------------- /tests/type-error/pattern-matching/Overlapping.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/pattern-matching/Overlapping.vix -------------------------------------------------------------------------------- /tests/type-error/pattern-matching/Overlapping2.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/pattern-matching/Overlapping2.vix -------------------------------------------------------------------------------- /tests/type-error/pattern-matching/Overlapping3.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/pattern-matching/Overlapping3.vix -------------------------------------------------------------------------------- /tests/type-error/pattern-matching/Overlapping4.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/pattern-matching/Overlapping4.vix -------------------------------------------------------------------------------- /tests/type-error/pattern-matching/Overlapping5.vix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/tests/type-error/pattern-matching/Overlapping5.vix -------------------------------------------------------------------------------- /vim/ftdetect/sixten.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/vim/ftdetect/sixten.vim -------------------------------------------------------------------------------- /vim/ftplugin/sixten.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/vim/ftplugin/sixten.vim -------------------------------------------------------------------------------- /vim/syntax/sixten.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ollef/sixten/HEAD/vim/syntax/sixten.vim --------------------------------------------------------------------------------