├── .cargo └── config.toml ├── .github ├── FUNDING.yml ├── ISSUE_TEMPLATE │ ├── bug_report.md │ └── feature_request.md ├── pull_request_template.md └── workflows │ └── rust.yml ├── .gitignore ├── AGENTS.md ├── BOOTSTRAP └── cli.c ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── Cargo.toml ├── DOBY.jpg ├── DOBYLOGO.png ├── LICENSE ├── LM ├── index.lsts ├── type-definition.lsts └── unit-type-core.lsts ├── LM23COMMON ├── ast-compare.lsts ├── ast-constructor.lsts ├── ast-definition.lsts ├── ast-exit-error.lsts ├── ast-location.lsts ├── ast-mk-location.lsts ├── ast-mk-token.lsts ├── index.lsts ├── loc-into-string.lsts ├── prop-alias.lsts ├── prop-core.lsts ├── prop-denormalize.lsts ├── prop-expand-implied-phi.lsts ├── prop-is-phi-type.lsts ├── prop-is-special.lsts ├── prop-normalize.lsts ├── prop-phi-as-state.lsts ├── prop-phi-override.lsts ├── prop-stack-to-specialize.lsts ├── prop-tctx-apply-callable.lsts ├── prop-tctx-apply.lsts ├── prop-tctx-definition.lsts ├── prop-tctx-find-callable.lsts ├── prop-tctx-least-upper-bound.lsts ├── prop-tctx-normalize.lsts ├── prop-tctx-phi-merge.lsts ├── tctx-and.lsts ├── tctx-bind.lsts ├── tctx-compare.lsts ├── tctx-definition.lsts ├── tctx-into-string.lsts ├── tctx-lookup.lsts ├── tctx-or.lsts ├── tctx-phi-append.lsts ├── tctx-phi-fresh.lsts ├── tctx-phi-initialize.lsts ├── tctx-phi-move-all.lsts ├── tctx-phi-move-args.lsts ├── tctx-phi-move.lsts ├── tctx-resurrect.lsts ├── tctx-substitute.lsts ├── tctx-unify.lsts ├── tctx-union.lsts ├── tctx-with-pctx.lsts ├── tctx-with-phi-id-if-phi-state.lsts ├── tctx-with-phi.lsts ├── tctx-with-tctx.lsts ├── tctx-without-phi-keep-state.lsts ├── token-compare.lsts ├── type-as-return-hint.lsts ├── type-can-apply.lsts ├── type-can-receive.lsts ├── type-can-unify.lsts ├── type-compare.lsts ├── type-cons-root.lsts ├── type-constructor.lsts ├── type-deep-hash.lsts ├── type-definition.lsts ├── type-destructor.lsts ├── type-domain.lsts ├── type-ground-tag-and-arity.lsts ├── type-into-string.lsts ├── type-is-and.lsts ├── type-is-any-arg-t.lsts ├── type-is-arrow.lsts ├── type-is-linear-dead.lsts ├── type-is-linear-live.lsts ├── type-is-moved.lsts ├── type-is-open.lsts ├── type-is-t.lsts ├── type-most-special.lsts ├── type-move-linear.lsts ├── type-range.lsts ├── type-remove-info.lsts ├── type-resurrect.lsts ├── type-sanitize-phi.lsts ├── type-simple-arity.lsts ├── type-simple-tag.lsts ├── type-slot.lsts ├── type-without-any-phi.lsts ├── type-without-phi-keep-id.lsts ├── type-without-phi-keep-state.lsts ├── type-without-phi.lsts ├── type-without-slot.lsts ├── unit-ast-core.lsts ├── unit-prop-core.lsts ├── unit-tctx-core.lsts ├── unit-type-core.lsts ├── unit-util.lsts └── util-uuid.lsts ├── Makefile ├── PLUGINS ├── BACKEND │ ├── BLOB │ │ ├── compile-blob.lsts │ │ ├── index.lsts │ │ └── register-hook.lsts │ └── C │ │ ├── blob-render.lsts │ │ ├── cc-blob.lsts │ │ ├── compile-c.lsts │ │ ├── compile-finish.lsts │ │ ├── compile-program-ordered.lsts │ │ ├── compile-write.lsts │ │ ├── escape-as-cstring.lsts │ │ ├── escape-string.lsts │ │ ├── index.lsts │ │ ├── mangle-identifier.lsts │ │ ├── never-as-expr.lsts │ │ ├── register-hook.lsts │ │ ├── std-c-chain.lsts │ │ ├── std-c-compile-args.lsts │ │ ├── std-c-compile-call.lsts │ │ ├── std-c-compile-constructor.lsts │ │ ├── std-c-compile-destructure-args.lsts │ │ ├── std-c-compile-expr.lsts │ │ ├── std-c-compile-function-args.lsts │ │ ├── std-c-compile-global.lsts │ │ ├── std-c-compile-push-args.lsts │ │ ├── std-c-compile-type-typedef.lsts │ │ ├── std-c-fragment-context.lsts │ │ ├── std-c-is-ctype.lsts │ │ ├── std-c-mangle-declaration.lsts │ │ ├── std-c-mangle-type.lsts │ │ └── std-c-print.lsts └── FRONTEND │ ├── C │ ├── c-ast-to-lm-ast.lsts │ ├── c-frontend.lsts │ ├── c-grammar.ebnf │ ├── c-parse.lsts │ ├── c-smart-tokenize.lsts │ └── index.lsts │ └── LSTS │ ├── index.lsts │ ├── lsts-frontend.lsts │ ├── lsts-parse.lsts │ ├── lsts-smart-tokenize.lsts │ ├── lsts-tokenize.lsts │ └── mk-lsts-token.lsts ├── README.md ├── SECURITY.md ├── SRC ├── accept-interface.lsts ├── actx-bind.lsts ├── apply.lsts ├── ascript-normal.lsts ├── assert-no-infinite-types.lsts ├── assert-one-typed.lsts ├── assert-well-typed.lsts ├── ast-definitions.lsts ├── ast-into-string.lsts ├── bind-varargs.lsts ├── class-info-index.lsts ├── cons-tail-or-self.lsts ├── ctx-union.lsts ├── decorate-var-to-def.lsts ├── extract-uuids.lsts ├── fctx-bind.lsts ├── fctx-lookup.lsts ├── formatted-location.lsts ├── fragment-definitions.lsts ├── fragment-get.lsts ├── fragment-set.lsts ├── global-is-seen.lsts ├── index-concrete-type-instances.lsts ├── index-globals.lsts ├── index-of-tag.lsts ├── index-plugins.lsts ├── index-preprocess.lsts ├── index-tokenize.lsts ├── index-typedefs.lsts ├── index-types.lsts ├── index.lsts ├── infer-ctx.lsts ├── infer-global-terms.lsts ├── infer-tctx.lsts ├── infer-type-definition.lsts ├── inference-definitions.lsts ├── interface-index.lsts ├── is-lone-tag.lsts ├── is-macro-head.lsts ├── is-suffixed.lsts ├── macro-table.lsts ├── main.lsts ├── maybe-retain.lsts ├── mk-expression.lsts ├── mk-fctx.lsts ├── mk-fragment.lsts ├── phi-merge.lsts ├── plugins-backends.lsts ├── plugins-frontends.lsts ├── plus.lsts ├── preprocess-apply-hard.lsts ├── preprocess-apply-literals.lsts ├── preprocess-apply-locations.lsts ├── preprocess-apply.lsts ├── preprocess.lsts ├── prop-resurrect.lsts ├── reduce-plural.lsts ├── reify-type-variables.lsts ├── release-locals.lsts ├── specialize.lsts ├── std-apply-macro-candidates.lsts ├── std-apply-macro.lsts ├── std-destructure-macro.lsts ├── std-direct-destructure-macro.lsts ├── std-infer-expr.lsts ├── std-maybe-release-after-call.lsts ├── substitute-uuids.lsts ├── substitute.lsts ├── tctx-free-and-seen.lsts ├── tctx-substitute.lsts ├── tctx-to-string.lsts ├── try-destructure-macro.lsts ├── type-index.lsts ├── typecheck.lsts ├── typeof-lhs.lsts ├── typeof-tag.lsts ├── typeof-var-raw.lsts ├── typeof-var.lsts ├── union.lsts ├── unique.lsts ├── unit-ast.lsts ├── unit-drivers.lsts ├── unit-error.lsts ├── unit-fragments.lsts ├── unit-globals.lsts ├── unit-inference.lsts ├── unit-orphans.lsts ├── unit-preprocess.lsts ├── unit-types.lsts ├── validate-interfaces.lsts ├── validate-pctx-del.lsts ├── var-name-if-var.lsts ├── var-to-def-index.lsts ├── with-key.lsts ├── with-location.lsts ├── with-only-class.lsts ├── with-only-phi.lsts ├── without-location.lsts ├── without-modifiers.lsts ├── without-nested-phi.lsts └── without-phi.lsts ├── demangle ├── lib ├── core │ ├── blob.lsts │ ├── common-macros.lsts │ ├── index.lsts │ └── primitive-types.lsts └── std │ ├── array.lsts │ ├── bool.lsts │ ├── c-primitives.lsts │ ├── c-shim.lsts │ ├── cmp.lsts │ ├── collections.lsts │ ├── compiler-only.lsts │ ├── default.lsts │ ├── f64.lsts │ ├── field-accessors.lsts │ ├── hashtable.lsts │ ├── i16.lsts │ ├── i32.lsts │ ├── i64.lsts │ ├── i8.lsts │ ├── io.lsts │ ├── list.lsts │ ├── maybe.lsts │ ├── minimal.lsts │ ├── platform-macros.lsts │ ├── primitives.lsts │ ├── print.lsts │ ├── regex.lsts │ ├── s.lsts │ ├── sized.lsts │ ├── smart-string.lsts │ ├── std-macros.lsts │ ├── std-primitives.lsts │ ├── string.lsts │ ├── tuple.lsts │ ├── u16.lsts │ ├── u32.lsts │ ├── u64.lsts │ ├── u8.lsts │ ├── umbra.lsts │ ├── usize.lsts │ └── vector.lsts ├── lib2 └── core │ ├── array.lsts │ ├── baremetal-into.lsts │ ├── baremetal.lsts │ ├── bedrock-cstring.lsts │ ├── bedrock.lsts │ ├── bool.lsts │ ├── cmp.lsts │ ├── common-macros.lsts │ ├── compiler-only.lsts │ ├── cstring.lsts │ ├── hashtable.lsts │ ├── i16.lsts │ ├── i32.lsts │ ├── i64.lsts │ ├── i8.lsts │ ├── io.lsts │ ├── l.lsts │ ├── list.lsts │ ├── maybe.lsts │ ├── owned-data.lsts │ ├── phi.lsts │ ├── platform-macros.lsts │ ├── primitives.lsts │ ├── sized.lsts │ ├── sparse-owned-data.lsts │ ├── string.lsts │ ├── tuple.lsts │ ├── u16.lsts │ ├── u32.lsts │ ├── u64.lsts │ ├── u8.lsts │ ├── usize.lsts │ └── vector.lsts ├── nano └── lsts.nanorc ├── report.sh ├── src └── lib.rs ├── tests ├── c │ ├── c-parse.lsts │ ├── c-parse.lsts.out │ ├── control-flow.c │ ├── control-flow.c.out │ ├── control-flow.c.skip │ ├── globals.c │ ├── globals.c.out │ ├── globals.c.skip │ ├── include.c │ ├── include.c.out │ ├── include.c.skip │ ├── locals.c │ ├── locals.c.out │ ├── locals.c.skip │ ├── main.c │ ├── main.c.out │ ├── main.c.skip │ ├── modifiers.c │ ├── modifiers.c.out │ ├── modifiers.c.skip │ ├── operators.c │ ├── operators.c.out │ ├── operators.c.skip │ ├── return.c │ ├── return.c.out │ └── return.c.skip ├── lib │ ├── cmp.lsts │ ├── cmp.lsts.out │ ├── list.lsts │ ├── list.lsts.out │ ├── s.lsts │ ├── s.lsts.out │ ├── tuple.lsts │ ├── tuple.lsts.out │ ├── umbra.lsts │ ├── umbra.lsts.out │ ├── umbra.lsts.skip │ ├── vector-push-pop.lsts │ ├── vector-push-pop.lsts.out │ └── vector-push-pop.lsts.skip ├── promises │ ├── bedrock │ │ └── empty-file.lsts │ ├── bool │ │ ├── arithmetic.lsts │ │ ├── global-declaration.lsts │ │ └── into.lsts │ ├── cstring │ │ └── comparison.lsts │ ├── hashtable │ │ └── comparison.lsts │ ├── i64 │ │ ├── arithmetic.lsts │ │ ├── comparison.lsts │ │ ├── global-declaration.lsts │ │ └── into.lsts │ ├── list │ │ └── comparison.lsts │ ├── lm-ast │ │ └── constructor.lsts │ ├── lm-prop │ │ ├── alias.lsts │ │ ├── alias.lsts.skip │ │ ├── empty-but-initializes-state.lsts │ │ ├── empty-but-initializes-state.lsts.skip │ │ ├── enrich.lsts │ │ └── enrich.lsts.skip │ ├── lm-tctx │ │ ├── apply.lsts │ │ ├── apply.lsts.skip │ │ ├── bind.lsts │ │ ├── find-callable.lsts │ │ ├── find-callable.lsts.skip │ │ ├── least-upper-bound.lsts │ │ ├── least-upper-bound.lsts.skip │ │ ├── misc.lsts │ │ ├── misc.lsts.skip │ │ ├── queries.lsts │ │ ├── queries.lsts.skip │ │ ├── substitute.lsts │ │ └── unify.lsts │ ├── lm-type │ │ ├── can-unify.lsts │ │ ├── constructor.lsts │ │ ├── destructor.lsts │ │ └── queries.lsts │ ├── lm-util │ │ └── uuid.lsts │ ├── maybe │ │ └── comparison.lsts │ ├── owned-data │ │ ├── alloc-populate.lsts │ │ └── alloc-populate.lsts.skip │ ├── phi │ │ ├── ascript-accept.lsts │ │ ├── ascript-reject.lsts │ │ ├── ascript-reject.lsts.out │ │ ├── global-transition.lsts │ │ ├── if-accept.lsts │ │ ├── if-reject.lsts │ │ ├── if-reject.lsts.out │ │ ├── implied-linear-phi-accept.lsts │ │ ├── implied-linear-phi-reject.lsts │ │ ├── implied-linear-phi-reject.lsts.out │ │ ├── implied-phi-accept.lsts │ │ ├── implied-phi-reject.lsts │ │ ├── implied-phi-reject.lsts.out │ │ ├── linear-accept.lsts │ │ ├── linear-assign-must-retain.lsts │ │ ├── linear-assign.lsts │ │ ├── linear-reject.lsts │ │ ├── linear-reject.lsts.out │ │ ├── linear-unused-must-release.lsts │ │ ├── local-transition-must-retain.lsts │ │ ├── local-transition.lsts │ │ ├── simple-accept.lsts │ │ ├── simple-reject.lsts │ │ ├── simple-reject.lsts.out │ │ ├── validate-phi-ascript-accept.lsts │ │ ├── validate-phi-ascript-reject.lsts │ │ ├── validate-phi-ascript-reject.lsts.out │ │ ├── validate-phi-returns-accept.lsts │ │ ├── validate-phi-returns-reject.lsts │ │ └── validate-phi-returns-reject.lsts.out │ ├── string │ │ ├── comparison.lsts │ │ └── leak-cstring.lsts │ ├── syntax │ │ ├── if-else-permutations.lsts │ │ └── nil-return-elision.lsts │ ├── tuple │ │ ├── comparison.lsts │ │ ├── comparison.lsts.skip │ │ └── match-destructuring-1.lsts │ ├── typechecking │ │ ├── if-else-unification.lsts │ │ └── if-else-unification.lsts.skip │ ├── u64 │ │ ├── arithmetic.lsts │ │ ├── comparison.lsts │ │ ├── global-declaration.lsts │ │ └── into.lsts │ ├── u8 │ │ ├── arithmetic.lsts │ │ ├── comparison.lsts │ │ ├── global-declaration.lsts │ │ ├── into.lsts │ │ └── pyramid-implications.lsts │ ├── unsafe │ │ ├── unsafe-function-call-accept.lsts │ │ ├── unsafe-function-call-reject.lsts │ │ └── unsafe-function-call-reject.lsts.out │ ├── user-defined-types │ │ └── zero-init.lsts │ ├── usize │ │ ├── arithmetic.lsts │ │ └── into.lsts │ └── vector │ │ ├── buffer-into-string.lsts │ │ ├── comparison.lsts │ │ └── constructor.lsts ├── regress.rs ├── regress │ ├── 3tuple.lsts │ ├── 3tuple.lsts.out │ ├── eprint.lsts │ ├── eprint.lsts.out │ ├── exec.lm.out │ ├── functions-as-arguments.lsts │ ├── functions-as-arguments.lsts.out │ ├── hello_world.s.v │ ├── if-let.lsts │ ├── if-let.lsts.out │ ├── interface.lsts │ ├── interface.lsts.out │ ├── invalid-assignment.lsts │ ├── invalid-assignment.lsts.out │ ├── invalid-assignment.lsts.skip │ ├── let-destruct.lsts │ ├── let-destruct.lsts.out │ ├── linear-must-use.lsts │ ├── linear-must-use.lsts.out │ ├── linear-must-use.lsts.skip │ ├── linear.lsts │ ├── linear.lsts.out │ ├── linear.lsts.skip │ ├── lsts-frontend.lsts │ ├── lsts-frontend.lsts.out │ ├── must-delete.lsts │ ├── must-delete.lsts.out │ ├── must-delete.lsts.skip │ ├── numerical-pyramid.lsts │ ├── numerical-pyramid.lsts.out │ ├── phi2-initializers.lsts │ ├── phi2-initializers.lsts.out │ ├── phi2-initializers.lsts.skip │ ├── phi2.lsts │ ├── phi2.lsts.out │ ├── phi2.lsts.skip │ ├── propositional-types.lsts │ ├── propositional-types.lsts.out │ ├── propositional-types.lsts.skip │ ├── retain │ │ ├── complex-constructor.lsts │ │ ├── complex-constructor.lsts.out │ │ ├── constructor.lsts │ │ ├── constructor.lsts.out │ │ ├── field-access.lsts │ │ ├── field-access.lsts.out │ │ ├── global.lsts │ │ ├── global.lsts.out │ │ ├── local.lsts │ │ ├── local.lsts.out │ │ ├── return-position-constructor.lsts │ │ ├── return-position-constructor.lsts.out │ │ ├── return-position-global.lsts │ │ ├── return-position-global.lsts.out │ │ ├── return-position-global.lsts.skip │ │ ├── return-position-local.lsts │ │ └── return-position-local.lsts.out │ ├── sort-type-vector.lsts │ ├── sort-type-vector.lsts.out │ ├── syntax-bugs.lsts │ ├── syntax-bugs.lsts.out │ ├── type-alias.lsts │ ├── type-alias.lsts.out │ ├── type-syntax.lsts │ ├── type-syntax.lsts.out │ ├── type2-compliance.lsts │ ├── type2-compliance.lsts.out │ ├── vector-sort.lsts │ ├── vector-sort.lsts.out │ └── vector-sort.lsts.skip └── unit │ ├── ast-macros.lsts │ ├── ast-macros.lsts.out │ ├── ast-macros.lsts.skip │ ├── type-inference.lsts │ ├── type-inference.lsts.out │ ├── type-inference.lsts.skip │ ├── type-queries.lsts │ ├── type-queries.lsts.out │ ├── type-queries.lsts.skip │ ├── typedefs.lsts │ ├── typedefs.lsts.out │ └── typedefs.lsts.skip └── vim ├── README.md ├── ftdetect └── lsts.vim ├── ftplugin └── lsts.vim └── syntax └── lsts.vim /.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/.cargo/config.toml -------------------------------------------------------------------------------- /.github/FUNDING.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/.github/FUNDING.yml -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/.github/ISSUE_TEMPLATE/bug_report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature_request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/.github/ISSUE_TEMPLATE/feature_request.md -------------------------------------------------------------------------------- /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/.gitignore -------------------------------------------------------------------------------- /AGENTS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/AGENTS.md -------------------------------------------------------------------------------- /BOOTSTRAP/cli.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/BOOTSTRAP/cli.c -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/Cargo.toml -------------------------------------------------------------------------------- /DOBY.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/DOBY.jpg -------------------------------------------------------------------------------- /DOBYLOGO.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/DOBYLOGO.png -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LICENSE -------------------------------------------------------------------------------- /LM/index.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM/index.lsts -------------------------------------------------------------------------------- /LM/type-definition.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM/type-definition.lsts -------------------------------------------------------------------------------- /LM/unit-type-core.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM/unit-type-core.lsts -------------------------------------------------------------------------------- /LM23COMMON/ast-compare.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/ast-compare.lsts -------------------------------------------------------------------------------- /LM23COMMON/ast-constructor.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/ast-constructor.lsts -------------------------------------------------------------------------------- /LM23COMMON/ast-definition.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/ast-definition.lsts -------------------------------------------------------------------------------- /LM23COMMON/ast-exit-error.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/ast-exit-error.lsts -------------------------------------------------------------------------------- /LM23COMMON/ast-location.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/ast-location.lsts -------------------------------------------------------------------------------- /LM23COMMON/ast-mk-location.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/ast-mk-location.lsts -------------------------------------------------------------------------------- /LM23COMMON/ast-mk-token.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/ast-mk-token.lsts -------------------------------------------------------------------------------- /LM23COMMON/index.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/index.lsts -------------------------------------------------------------------------------- /LM23COMMON/loc-into-string.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/loc-into-string.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-alias.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-alias.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-core.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-core.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-denormalize.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-denormalize.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-expand-implied-phi.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-expand-implied-phi.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-is-phi-type.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-is-phi-type.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-is-special.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-is-special.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-normalize.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-normalize.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-phi-as-state.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-phi-as-state.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-phi-override.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-phi-override.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-stack-to-specialize.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-stack-to-specialize.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-tctx-apply-callable.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-tctx-apply-callable.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-tctx-apply.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-tctx-apply.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-tctx-definition.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-tctx-definition.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-tctx-find-callable.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-tctx-find-callable.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-tctx-least-upper-bound.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-tctx-least-upper-bound.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-tctx-normalize.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-tctx-normalize.lsts -------------------------------------------------------------------------------- /LM23COMMON/prop-tctx-phi-merge.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/prop-tctx-phi-merge.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-and.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-and.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-bind.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-bind.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-compare.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-compare.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-definition.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-definition.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-into-string.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-into-string.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-lookup.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-lookup.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-or.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-or.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-phi-append.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-phi-append.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-phi-fresh.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-phi-fresh.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-phi-initialize.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-phi-initialize.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-phi-move-all.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-phi-move-all.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-phi-move-args.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-phi-move-args.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-phi-move.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-phi-move.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-resurrect.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-resurrect.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-substitute.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-substitute.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-unify.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-unify.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-union.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-union.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-with-pctx.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-with-pctx.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-with-phi-id-if-phi-state.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-with-phi-id-if-phi-state.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-with-phi.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-with-phi.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-with-tctx.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-with-tctx.lsts -------------------------------------------------------------------------------- /LM23COMMON/tctx-without-phi-keep-state.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/tctx-without-phi-keep-state.lsts -------------------------------------------------------------------------------- /LM23COMMON/token-compare.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/token-compare.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-as-return-hint.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-as-return-hint.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-can-apply.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-can-apply.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-can-receive.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-can-receive.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-can-unify.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-can-unify.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-compare.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-compare.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-cons-root.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-cons-root.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-constructor.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-constructor.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-deep-hash.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-deep-hash.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-definition.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-definition.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-destructor.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-destructor.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-domain.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-domain.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-ground-tag-and-arity.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-ground-tag-and-arity.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-into-string.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-into-string.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-is-and.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-is-and.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-is-any-arg-t.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-is-any-arg-t.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-is-arrow.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-is-arrow.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-is-linear-dead.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-is-linear-dead.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-is-linear-live.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-is-linear-live.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-is-moved.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-is-moved.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-is-open.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-is-open.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-is-t.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-is-t.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-most-special.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-most-special.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-move-linear.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-move-linear.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-range.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-range.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-remove-info.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-remove-info.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-resurrect.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-resurrect.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-sanitize-phi.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-sanitize-phi.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-simple-arity.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-simple-arity.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-simple-tag.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-simple-tag.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-slot.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-slot.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-without-any-phi.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-without-any-phi.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-without-phi-keep-id.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-without-phi-keep-id.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-without-phi-keep-state.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-without-phi-keep-state.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-without-phi.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-without-phi.lsts -------------------------------------------------------------------------------- /LM23COMMON/type-without-slot.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/type-without-slot.lsts -------------------------------------------------------------------------------- /LM23COMMON/unit-ast-core.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/unit-ast-core.lsts -------------------------------------------------------------------------------- /LM23COMMON/unit-prop-core.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/unit-prop-core.lsts -------------------------------------------------------------------------------- /LM23COMMON/unit-tctx-core.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/unit-tctx-core.lsts -------------------------------------------------------------------------------- /LM23COMMON/unit-type-core.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/unit-type-core.lsts -------------------------------------------------------------------------------- /LM23COMMON/unit-util.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/unit-util.lsts -------------------------------------------------------------------------------- /LM23COMMON/util-uuid.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/LM23COMMON/util-uuid.lsts -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/Makefile -------------------------------------------------------------------------------- /PLUGINS/BACKEND/BLOB/compile-blob.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/BLOB/compile-blob.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/BLOB/index.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/BLOB/index.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/BLOB/register-hook.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/BLOB/register-hook.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/blob-render.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/blob-render.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/cc-blob.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/cc-blob.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/compile-c.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/compile-c.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/compile-finish.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/compile-finish.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/compile-program-ordered.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/compile-program-ordered.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/compile-write.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/compile-write.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/escape-as-cstring.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/escape-as-cstring.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/escape-string.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/escape-string.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/index.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/index.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/mangle-identifier.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/mangle-identifier.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/never-as-expr.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/never-as-expr.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/register-hook.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/register-hook.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/std-c-chain.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/std-c-chain.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/std-c-compile-args.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/std-c-compile-args.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/std-c-compile-call.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/std-c-compile-call.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/std-c-compile-constructor.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/std-c-compile-constructor.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/std-c-compile-destructure-args.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/std-c-compile-destructure-args.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/std-c-compile-expr.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/std-c-compile-expr.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/std-c-compile-function-args.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/std-c-compile-function-args.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/std-c-compile-global.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/std-c-compile-global.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/std-c-compile-push-args.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/std-c-compile-push-args.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/std-c-compile-type-typedef.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/std-c-compile-type-typedef.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/std-c-fragment-context.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/std-c-fragment-context.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/std-c-is-ctype.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/std-c-is-ctype.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/std-c-mangle-declaration.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/std-c-mangle-declaration.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/std-c-mangle-type.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/std-c-mangle-type.lsts -------------------------------------------------------------------------------- /PLUGINS/BACKEND/C/std-c-print.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/BACKEND/C/std-c-print.lsts -------------------------------------------------------------------------------- /PLUGINS/FRONTEND/C/c-ast-to-lm-ast.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/FRONTEND/C/c-ast-to-lm-ast.lsts -------------------------------------------------------------------------------- /PLUGINS/FRONTEND/C/c-frontend.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/FRONTEND/C/c-frontend.lsts -------------------------------------------------------------------------------- /PLUGINS/FRONTEND/C/c-grammar.ebnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/FRONTEND/C/c-grammar.ebnf -------------------------------------------------------------------------------- /PLUGINS/FRONTEND/C/c-parse.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/FRONTEND/C/c-parse.lsts -------------------------------------------------------------------------------- /PLUGINS/FRONTEND/C/c-smart-tokenize.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/FRONTEND/C/c-smart-tokenize.lsts -------------------------------------------------------------------------------- /PLUGINS/FRONTEND/C/index.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/FRONTEND/C/index.lsts -------------------------------------------------------------------------------- /PLUGINS/FRONTEND/LSTS/index.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/FRONTEND/LSTS/index.lsts -------------------------------------------------------------------------------- /PLUGINS/FRONTEND/LSTS/lsts-frontend.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/FRONTEND/LSTS/lsts-frontend.lsts -------------------------------------------------------------------------------- /PLUGINS/FRONTEND/LSTS/lsts-parse.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/FRONTEND/LSTS/lsts-parse.lsts -------------------------------------------------------------------------------- /PLUGINS/FRONTEND/LSTS/lsts-smart-tokenize.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/FRONTEND/LSTS/lsts-smart-tokenize.lsts -------------------------------------------------------------------------------- /PLUGINS/FRONTEND/LSTS/lsts-tokenize.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/FRONTEND/LSTS/lsts-tokenize.lsts -------------------------------------------------------------------------------- /PLUGINS/FRONTEND/LSTS/mk-lsts-token.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/PLUGINS/FRONTEND/LSTS/mk-lsts-token.lsts -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/README.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SECURITY.md -------------------------------------------------------------------------------- /SRC/accept-interface.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/accept-interface.lsts -------------------------------------------------------------------------------- /SRC/actx-bind.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/actx-bind.lsts -------------------------------------------------------------------------------- /SRC/apply.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/apply.lsts -------------------------------------------------------------------------------- /SRC/ascript-normal.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/ascript-normal.lsts -------------------------------------------------------------------------------- /SRC/assert-no-infinite-types.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/assert-no-infinite-types.lsts -------------------------------------------------------------------------------- /SRC/assert-one-typed.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/assert-one-typed.lsts -------------------------------------------------------------------------------- /SRC/assert-well-typed.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/assert-well-typed.lsts -------------------------------------------------------------------------------- /SRC/ast-definitions.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/ast-definitions.lsts -------------------------------------------------------------------------------- /SRC/ast-into-string.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/ast-into-string.lsts -------------------------------------------------------------------------------- /SRC/bind-varargs.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/bind-varargs.lsts -------------------------------------------------------------------------------- /SRC/class-info-index.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/class-info-index.lsts -------------------------------------------------------------------------------- /SRC/cons-tail-or-self.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/cons-tail-or-self.lsts -------------------------------------------------------------------------------- /SRC/ctx-union.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/ctx-union.lsts -------------------------------------------------------------------------------- /SRC/decorate-var-to-def.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/decorate-var-to-def.lsts -------------------------------------------------------------------------------- /SRC/extract-uuids.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/extract-uuids.lsts -------------------------------------------------------------------------------- /SRC/fctx-bind.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/fctx-bind.lsts -------------------------------------------------------------------------------- /SRC/fctx-lookup.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/fctx-lookup.lsts -------------------------------------------------------------------------------- /SRC/formatted-location.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/formatted-location.lsts -------------------------------------------------------------------------------- /SRC/fragment-definitions.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/fragment-definitions.lsts -------------------------------------------------------------------------------- /SRC/fragment-get.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/fragment-get.lsts -------------------------------------------------------------------------------- /SRC/fragment-set.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/fragment-set.lsts -------------------------------------------------------------------------------- /SRC/global-is-seen.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/global-is-seen.lsts -------------------------------------------------------------------------------- /SRC/index-concrete-type-instances.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/index-concrete-type-instances.lsts -------------------------------------------------------------------------------- /SRC/index-globals.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/index-globals.lsts -------------------------------------------------------------------------------- /SRC/index-of-tag.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/index-of-tag.lsts -------------------------------------------------------------------------------- /SRC/index-plugins.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/index-plugins.lsts -------------------------------------------------------------------------------- /SRC/index-preprocess.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/index-preprocess.lsts -------------------------------------------------------------------------------- /SRC/index-tokenize.lsts: -------------------------------------------------------------------------------- 1 | 2 | import SRC/formatted-location.lsts; 3 | -------------------------------------------------------------------------------- /SRC/index-typedefs.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/index-typedefs.lsts -------------------------------------------------------------------------------- /SRC/index-types.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/index-types.lsts -------------------------------------------------------------------------------- /SRC/index.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/index.lsts -------------------------------------------------------------------------------- /SRC/infer-ctx.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/infer-ctx.lsts -------------------------------------------------------------------------------- /SRC/infer-global-terms.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/infer-global-terms.lsts -------------------------------------------------------------------------------- /SRC/infer-tctx.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/infer-tctx.lsts -------------------------------------------------------------------------------- /SRC/infer-type-definition.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/infer-type-definition.lsts -------------------------------------------------------------------------------- /SRC/inference-definitions.lsts: -------------------------------------------------------------------------------- 1 | 2 | 3 | -------------------------------------------------------------------------------- /SRC/interface-index.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/interface-index.lsts -------------------------------------------------------------------------------- /SRC/is-lone-tag.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/is-lone-tag.lsts -------------------------------------------------------------------------------- /SRC/is-macro-head.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/is-macro-head.lsts -------------------------------------------------------------------------------- /SRC/is-suffixed.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/is-suffixed.lsts -------------------------------------------------------------------------------- /SRC/macro-table.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/macro-table.lsts -------------------------------------------------------------------------------- /SRC/main.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/main.lsts -------------------------------------------------------------------------------- /SRC/maybe-retain.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/maybe-retain.lsts -------------------------------------------------------------------------------- /SRC/mk-expression.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/mk-expression.lsts -------------------------------------------------------------------------------- /SRC/mk-fctx.lsts: -------------------------------------------------------------------------------- 1 | 2 | let mk-fctx(): FContext = FCtxEOF(); 3 | -------------------------------------------------------------------------------- /SRC/mk-fragment.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/mk-fragment.lsts -------------------------------------------------------------------------------- /SRC/phi-merge.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/phi-merge.lsts -------------------------------------------------------------------------------- /SRC/plugins-backends.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/plugins-backends.lsts -------------------------------------------------------------------------------- /SRC/plugins-frontends.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/plugins-frontends.lsts -------------------------------------------------------------------------------- /SRC/plus.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/plus.lsts -------------------------------------------------------------------------------- /SRC/preprocess-apply-hard.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/preprocess-apply-hard.lsts -------------------------------------------------------------------------------- /SRC/preprocess-apply-literals.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/preprocess-apply-literals.lsts -------------------------------------------------------------------------------- /SRC/preprocess-apply-locations.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/preprocess-apply-locations.lsts -------------------------------------------------------------------------------- /SRC/preprocess-apply.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/preprocess-apply.lsts -------------------------------------------------------------------------------- /SRC/preprocess.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/preprocess.lsts -------------------------------------------------------------------------------- /SRC/prop-resurrect.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/prop-resurrect.lsts -------------------------------------------------------------------------------- /SRC/reduce-plural.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/reduce-plural.lsts -------------------------------------------------------------------------------- /SRC/reify-type-variables.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/reify-type-variables.lsts -------------------------------------------------------------------------------- /SRC/release-locals.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/release-locals.lsts -------------------------------------------------------------------------------- /SRC/specialize.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/specialize.lsts -------------------------------------------------------------------------------- /SRC/std-apply-macro-candidates.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/std-apply-macro-candidates.lsts -------------------------------------------------------------------------------- /SRC/std-apply-macro.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/std-apply-macro.lsts -------------------------------------------------------------------------------- /SRC/std-destructure-macro.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/std-destructure-macro.lsts -------------------------------------------------------------------------------- /SRC/std-direct-destructure-macro.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/std-direct-destructure-macro.lsts -------------------------------------------------------------------------------- /SRC/std-infer-expr.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/std-infer-expr.lsts -------------------------------------------------------------------------------- /SRC/std-maybe-release-after-call.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/std-maybe-release-after-call.lsts -------------------------------------------------------------------------------- /SRC/substitute-uuids.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/substitute-uuids.lsts -------------------------------------------------------------------------------- /SRC/substitute.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/substitute.lsts -------------------------------------------------------------------------------- /SRC/tctx-free-and-seen.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/tctx-free-and-seen.lsts -------------------------------------------------------------------------------- /SRC/tctx-substitute.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/tctx-substitute.lsts -------------------------------------------------------------------------------- /SRC/tctx-to-string.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/tctx-to-string.lsts -------------------------------------------------------------------------------- /SRC/try-destructure-macro.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/try-destructure-macro.lsts -------------------------------------------------------------------------------- /SRC/type-index.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/type-index.lsts -------------------------------------------------------------------------------- /SRC/typecheck.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/typecheck.lsts -------------------------------------------------------------------------------- /SRC/typeof-lhs.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/typeof-lhs.lsts -------------------------------------------------------------------------------- /SRC/typeof-tag.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/typeof-tag.lsts -------------------------------------------------------------------------------- /SRC/typeof-var-raw.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/typeof-var-raw.lsts -------------------------------------------------------------------------------- /SRC/typeof-var.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/typeof-var.lsts -------------------------------------------------------------------------------- /SRC/union.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/union.lsts -------------------------------------------------------------------------------- /SRC/unique.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/unique.lsts -------------------------------------------------------------------------------- /SRC/unit-ast.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/unit-ast.lsts -------------------------------------------------------------------------------- /SRC/unit-drivers.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/unit-drivers.lsts -------------------------------------------------------------------------------- /SRC/unit-error.lsts: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /SRC/unit-fragments.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/unit-fragments.lsts -------------------------------------------------------------------------------- /SRC/unit-globals.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/unit-globals.lsts -------------------------------------------------------------------------------- /SRC/unit-inference.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/unit-inference.lsts -------------------------------------------------------------------------------- /SRC/unit-orphans.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/unit-orphans.lsts -------------------------------------------------------------------------------- /SRC/unit-preprocess.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/unit-preprocess.lsts -------------------------------------------------------------------------------- /SRC/unit-types.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/unit-types.lsts -------------------------------------------------------------------------------- /SRC/validate-interfaces.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/validate-interfaces.lsts -------------------------------------------------------------------------------- /SRC/validate-pctx-del.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/validate-pctx-del.lsts -------------------------------------------------------------------------------- /SRC/var-name-if-var.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/var-name-if-var.lsts -------------------------------------------------------------------------------- /SRC/var-to-def-index.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/var-to-def-index.lsts -------------------------------------------------------------------------------- /SRC/with-key.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/with-key.lsts -------------------------------------------------------------------------------- /SRC/with-location.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/with-location.lsts -------------------------------------------------------------------------------- /SRC/with-only-class.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/with-only-class.lsts -------------------------------------------------------------------------------- /SRC/with-only-phi.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/with-only-phi.lsts -------------------------------------------------------------------------------- /SRC/without-location.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/without-location.lsts -------------------------------------------------------------------------------- /SRC/without-modifiers.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/without-modifiers.lsts -------------------------------------------------------------------------------- /SRC/without-nested-phi.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/without-nested-phi.lsts -------------------------------------------------------------------------------- /SRC/without-phi.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/SRC/without-phi.lsts -------------------------------------------------------------------------------- /demangle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/demangle -------------------------------------------------------------------------------- /lib/core/blob.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/core/blob.lsts -------------------------------------------------------------------------------- /lib/core/common-macros.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/core/common-macros.lsts -------------------------------------------------------------------------------- /lib/core/index.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/core/index.lsts -------------------------------------------------------------------------------- /lib/core/primitive-types.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/core/primitive-types.lsts -------------------------------------------------------------------------------- /lib/std/array.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/array.lsts -------------------------------------------------------------------------------- /lib/std/bool.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/bool.lsts -------------------------------------------------------------------------------- /lib/std/c-primitives.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/c-primitives.lsts -------------------------------------------------------------------------------- /lib/std/c-shim.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/c-shim.lsts -------------------------------------------------------------------------------- /lib/std/cmp.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/cmp.lsts -------------------------------------------------------------------------------- /lib/std/collections.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/collections.lsts -------------------------------------------------------------------------------- /lib/std/compiler-only.lsts: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /lib/std/default.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/default.lsts -------------------------------------------------------------------------------- /lib/std/f64.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/f64.lsts -------------------------------------------------------------------------------- /lib/std/field-accessors.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/field-accessors.lsts -------------------------------------------------------------------------------- /lib/std/hashtable.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/hashtable.lsts -------------------------------------------------------------------------------- /lib/std/i16.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/i16.lsts -------------------------------------------------------------------------------- /lib/std/i32.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/i32.lsts -------------------------------------------------------------------------------- /lib/std/i64.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/i64.lsts -------------------------------------------------------------------------------- /lib/std/i8.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/i8.lsts -------------------------------------------------------------------------------- /lib/std/io.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/io.lsts -------------------------------------------------------------------------------- /lib/std/list.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/list.lsts -------------------------------------------------------------------------------- /lib/std/maybe.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/maybe.lsts -------------------------------------------------------------------------------- /lib/std/minimal.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/minimal.lsts -------------------------------------------------------------------------------- /lib/std/platform-macros.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/platform-macros.lsts -------------------------------------------------------------------------------- /lib/std/primitives.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/primitives.lsts -------------------------------------------------------------------------------- /lib/std/print.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/print.lsts -------------------------------------------------------------------------------- /lib/std/regex.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/regex.lsts -------------------------------------------------------------------------------- /lib/std/s.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/s.lsts -------------------------------------------------------------------------------- /lib/std/sized.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/sized.lsts -------------------------------------------------------------------------------- /lib/std/smart-string.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/smart-string.lsts -------------------------------------------------------------------------------- /lib/std/std-macros.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/std-macros.lsts -------------------------------------------------------------------------------- /lib/std/std-primitives.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/std-primitives.lsts -------------------------------------------------------------------------------- /lib/std/string.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/string.lsts -------------------------------------------------------------------------------- /lib/std/tuple.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/tuple.lsts -------------------------------------------------------------------------------- /lib/std/u16.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/u16.lsts -------------------------------------------------------------------------------- /lib/std/u32.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/u32.lsts -------------------------------------------------------------------------------- /lib/std/u64.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/u64.lsts -------------------------------------------------------------------------------- /lib/std/u8.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/u8.lsts -------------------------------------------------------------------------------- /lib/std/umbra.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/umbra.lsts -------------------------------------------------------------------------------- /lib/std/usize.lsts: -------------------------------------------------------------------------------- 1 | 2 | type alias USize suffix _sz = U64; 3 | -------------------------------------------------------------------------------- /lib/std/vector.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib/std/vector.lsts -------------------------------------------------------------------------------- /lib2/core/array.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/array.lsts -------------------------------------------------------------------------------- /lib2/core/baremetal-into.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/baremetal-into.lsts -------------------------------------------------------------------------------- /lib2/core/baremetal.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/baremetal.lsts -------------------------------------------------------------------------------- /lib2/core/bedrock-cstring.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/bedrock-cstring.lsts -------------------------------------------------------------------------------- /lib2/core/bedrock.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/bedrock.lsts -------------------------------------------------------------------------------- /lib2/core/bool.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/bool.lsts -------------------------------------------------------------------------------- /lib2/core/cmp.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/cmp.lsts -------------------------------------------------------------------------------- /lib2/core/common-macros.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/common-macros.lsts -------------------------------------------------------------------------------- /lib2/core/compiler-only.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/compiler-only.lsts -------------------------------------------------------------------------------- /lib2/core/cstring.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/cstring.lsts -------------------------------------------------------------------------------- /lib2/core/hashtable.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/hashtable.lsts -------------------------------------------------------------------------------- /lib2/core/i16.lsts: -------------------------------------------------------------------------------- 1 | 2 | type alias I16 suffix _i16 = I64; 3 | -------------------------------------------------------------------------------- /lib2/core/i32.lsts: -------------------------------------------------------------------------------- 1 | 2 | type alias I32 suffix _i32 = I64; 3 | -------------------------------------------------------------------------------- /lib2/core/i64.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/i64.lsts -------------------------------------------------------------------------------- /lib2/core/i8.lsts: -------------------------------------------------------------------------------- 1 | 2 | type alias I8 suffix _i8 = I64; 3 | -------------------------------------------------------------------------------- /lib2/core/io.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/io.lsts -------------------------------------------------------------------------------- /lib2/core/l.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/l.lsts -------------------------------------------------------------------------------- /lib2/core/list.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/list.lsts -------------------------------------------------------------------------------- /lib2/core/maybe.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/maybe.lsts -------------------------------------------------------------------------------- /lib2/core/owned-data.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/owned-data.lsts -------------------------------------------------------------------------------- /lib2/core/phi.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/phi.lsts -------------------------------------------------------------------------------- /lib2/core/platform-macros.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/platform-macros.lsts -------------------------------------------------------------------------------- /lib2/core/primitives.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/primitives.lsts -------------------------------------------------------------------------------- /lib2/core/sized.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/sized.lsts -------------------------------------------------------------------------------- /lib2/core/sparse-owned-data.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/sparse-owned-data.lsts -------------------------------------------------------------------------------- /lib2/core/string.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/string.lsts -------------------------------------------------------------------------------- /lib2/core/tuple.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/tuple.lsts -------------------------------------------------------------------------------- /lib2/core/u16.lsts: -------------------------------------------------------------------------------- 1 | 2 | type alias U16 suffix _u16 = U64; 3 | -------------------------------------------------------------------------------- /lib2/core/u32.lsts: -------------------------------------------------------------------------------- 1 | 2 | type alias U32 suffix _u32 = U64; 3 | -------------------------------------------------------------------------------- /lib2/core/u64.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/u64.lsts -------------------------------------------------------------------------------- /lib2/core/u8.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/u8.lsts -------------------------------------------------------------------------------- /lib2/core/usize.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/usize.lsts -------------------------------------------------------------------------------- /lib2/core/vector.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/lib2/core/vector.lsts -------------------------------------------------------------------------------- /nano/lsts.nanorc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/nano/lsts.nanorc -------------------------------------------------------------------------------- /report.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/report.sh -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/src/lib.rs -------------------------------------------------------------------------------- /tests/c/c-parse.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/c/c-parse.lsts -------------------------------------------------------------------------------- /tests/c/c-parse.lsts.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/c/control-flow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/c/control-flow.c -------------------------------------------------------------------------------- /tests/c/control-flow.c.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/c/control-flow.c.out -------------------------------------------------------------------------------- /tests/c/control-flow.c.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/c/globals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/c/globals.c -------------------------------------------------------------------------------- /tests/c/globals.c.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/c/globals.c.out -------------------------------------------------------------------------------- /tests/c/globals.c.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/c/include.c: -------------------------------------------------------------------------------- 1 | 2 | #include "main.c" 3 | -------------------------------------------------------------------------------- /tests/c/include.c.out: -------------------------------------------------------------------------------- 1 | 2 | int main() { 3 | } 4 | -------------------------------------------------------------------------------- /tests/c/include.c.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/c/locals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/c/locals.c -------------------------------------------------------------------------------- /tests/c/locals.c.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/c/locals.c.out -------------------------------------------------------------------------------- /tests/c/locals.c.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/c/main.c: -------------------------------------------------------------------------------- 1 | 2 | int main() { 3 | } 4 | -------------------------------------------------------------------------------- /tests/c/main.c.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/c/main.c.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/c/modifiers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/c/modifiers.c -------------------------------------------------------------------------------- /tests/c/modifiers.c.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/c/modifiers.c.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/c/operators.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/c/operators.c -------------------------------------------------------------------------------- /tests/c/operators.c.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/c/operators.c.out -------------------------------------------------------------------------------- /tests/c/operators.c.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/c/return.c: -------------------------------------------------------------------------------- 1 | 2 | int main() { 3 | return 0; 4 | } 5 | -------------------------------------------------------------------------------- /tests/c/return.c.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/c/return.c.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/lib/cmp.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/lib/cmp.lsts -------------------------------------------------------------------------------- /tests/lib/cmp.lsts.out: -------------------------------------------------------------------------------- 1 | Success 2 | -------------------------------------------------------------------------------- /tests/lib/list.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/lib/list.lsts -------------------------------------------------------------------------------- /tests/lib/list.lsts.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/lib/s.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/lib/s.lsts -------------------------------------------------------------------------------- /tests/lib/s.lsts.out: -------------------------------------------------------------------------------- 1 | Success 2 | -------------------------------------------------------------------------------- /tests/lib/tuple.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/lib/tuple.lsts -------------------------------------------------------------------------------- /tests/lib/tuple.lsts.out: -------------------------------------------------------------------------------- 1 | Success 2 | -------------------------------------------------------------------------------- /tests/lib/umbra.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/lib/umbra.lsts -------------------------------------------------------------------------------- /tests/lib/umbra.lsts.out: -------------------------------------------------------------------------------- 1 | Hey 2 | -------------------------------------------------------------------------------- /tests/lib/umbra.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/lib/vector-push-pop.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/lib/vector-push-pop.lsts -------------------------------------------------------------------------------- /tests/lib/vector-push-pop.lsts.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/lib/vector-push-pop.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/promises/bedrock/empty-file.lsts: -------------------------------------------------------------------------------- 1 | 2 | import lib2/core/bedrock.lsts; 3 | -------------------------------------------------------------------------------- /tests/promises/bool/arithmetic.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/bool/arithmetic.lsts -------------------------------------------------------------------------------- /tests/promises/bool/global-declaration.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/bool/global-declaration.lsts -------------------------------------------------------------------------------- /tests/promises/bool/into.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/bool/into.lsts -------------------------------------------------------------------------------- /tests/promises/cstring/comparison.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/cstring/comparison.lsts -------------------------------------------------------------------------------- /tests/promises/hashtable/comparison.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/hashtable/comparison.lsts -------------------------------------------------------------------------------- /tests/promises/i64/arithmetic.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/i64/arithmetic.lsts -------------------------------------------------------------------------------- /tests/promises/i64/comparison.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/i64/comparison.lsts -------------------------------------------------------------------------------- /tests/promises/i64/global-declaration.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/i64/global-declaration.lsts -------------------------------------------------------------------------------- /tests/promises/i64/into.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/i64/into.lsts -------------------------------------------------------------------------------- /tests/promises/list/comparison.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/list/comparison.lsts -------------------------------------------------------------------------------- /tests/promises/lm-ast/constructor.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/lm-ast/constructor.lsts -------------------------------------------------------------------------------- /tests/promises/lm-prop/alias.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/lm-prop/alias.lsts -------------------------------------------------------------------------------- /tests/promises/lm-prop/alias.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/promises/lm-prop/empty-but-initializes-state.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/lm-prop/empty-but-initializes-state.lsts -------------------------------------------------------------------------------- /tests/promises/lm-prop/empty-but-initializes-state.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/promises/lm-prop/enrich.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/lm-prop/enrich.lsts -------------------------------------------------------------------------------- /tests/promises/lm-prop/enrich.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/promises/lm-tctx/apply.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/lm-tctx/apply.lsts -------------------------------------------------------------------------------- /tests/promises/lm-tctx/apply.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/promises/lm-tctx/bind.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/lm-tctx/bind.lsts -------------------------------------------------------------------------------- /tests/promises/lm-tctx/find-callable.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/lm-tctx/find-callable.lsts -------------------------------------------------------------------------------- /tests/promises/lm-tctx/find-callable.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/promises/lm-tctx/least-upper-bound.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/lm-tctx/least-upper-bound.lsts -------------------------------------------------------------------------------- /tests/promises/lm-tctx/least-upper-bound.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/promises/lm-tctx/misc.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/lm-tctx/misc.lsts -------------------------------------------------------------------------------- /tests/promises/lm-tctx/misc.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/promises/lm-tctx/queries.lsts: -------------------------------------------------------------------------------- 1 | 2 | import LM23COMMON/unit-tctx-core.lsts; 3 | 4 | -------------------------------------------------------------------------------- /tests/promises/lm-tctx/queries.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/promises/lm-tctx/substitute.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/lm-tctx/substitute.lsts -------------------------------------------------------------------------------- /tests/promises/lm-tctx/unify.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/lm-tctx/unify.lsts -------------------------------------------------------------------------------- /tests/promises/lm-type/can-unify.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/lm-type/can-unify.lsts -------------------------------------------------------------------------------- /tests/promises/lm-type/constructor.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/lm-type/constructor.lsts -------------------------------------------------------------------------------- /tests/promises/lm-type/destructor.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/lm-type/destructor.lsts -------------------------------------------------------------------------------- /tests/promises/lm-type/queries.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/lm-type/queries.lsts -------------------------------------------------------------------------------- /tests/promises/lm-util/uuid.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/lm-util/uuid.lsts -------------------------------------------------------------------------------- /tests/promises/maybe/comparison.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/maybe/comparison.lsts -------------------------------------------------------------------------------- /tests/promises/owned-data/alloc-populate.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/owned-data/alloc-populate.lsts -------------------------------------------------------------------------------- /tests/promises/owned-data/alloc-populate.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/promises/phi/ascript-accept.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/ascript-accept.lsts -------------------------------------------------------------------------------- /tests/promises/phi/ascript-reject.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/ascript-reject.lsts -------------------------------------------------------------------------------- /tests/promises/phi/ascript-reject.lsts.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/ascript-reject.lsts.out -------------------------------------------------------------------------------- /tests/promises/phi/global-transition.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/global-transition.lsts -------------------------------------------------------------------------------- /tests/promises/phi/if-accept.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/if-accept.lsts -------------------------------------------------------------------------------- /tests/promises/phi/if-reject.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/if-reject.lsts -------------------------------------------------------------------------------- /tests/promises/phi/if-reject.lsts.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/if-reject.lsts.out -------------------------------------------------------------------------------- /tests/promises/phi/implied-linear-phi-accept.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/implied-linear-phi-accept.lsts -------------------------------------------------------------------------------- /tests/promises/phi/implied-linear-phi-reject.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/implied-linear-phi-reject.lsts -------------------------------------------------------------------------------- /tests/promises/phi/implied-linear-phi-reject.lsts.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/implied-linear-phi-reject.lsts.out -------------------------------------------------------------------------------- /tests/promises/phi/implied-phi-accept.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/implied-phi-accept.lsts -------------------------------------------------------------------------------- /tests/promises/phi/implied-phi-reject.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/implied-phi-reject.lsts -------------------------------------------------------------------------------- /tests/promises/phi/implied-phi-reject.lsts.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/implied-phi-reject.lsts.out -------------------------------------------------------------------------------- /tests/promises/phi/linear-accept.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/linear-accept.lsts -------------------------------------------------------------------------------- /tests/promises/phi/linear-assign-must-retain.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/linear-assign-must-retain.lsts -------------------------------------------------------------------------------- /tests/promises/phi/linear-assign.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/linear-assign.lsts -------------------------------------------------------------------------------- /tests/promises/phi/linear-reject.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/linear-reject.lsts -------------------------------------------------------------------------------- /tests/promises/phi/linear-reject.lsts.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/linear-reject.lsts.out -------------------------------------------------------------------------------- /tests/promises/phi/linear-unused-must-release.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/linear-unused-must-release.lsts -------------------------------------------------------------------------------- /tests/promises/phi/local-transition-must-retain.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/local-transition-must-retain.lsts -------------------------------------------------------------------------------- /tests/promises/phi/local-transition.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/local-transition.lsts -------------------------------------------------------------------------------- /tests/promises/phi/simple-accept.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/simple-accept.lsts -------------------------------------------------------------------------------- /tests/promises/phi/simple-reject.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/simple-reject.lsts -------------------------------------------------------------------------------- /tests/promises/phi/simple-reject.lsts.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/simple-reject.lsts.out -------------------------------------------------------------------------------- /tests/promises/phi/validate-phi-ascript-accept.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/validate-phi-ascript-accept.lsts -------------------------------------------------------------------------------- /tests/promises/phi/validate-phi-ascript-reject.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/validate-phi-ascript-reject.lsts -------------------------------------------------------------------------------- /tests/promises/phi/validate-phi-ascript-reject.lsts.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/validate-phi-ascript-reject.lsts.out -------------------------------------------------------------------------------- /tests/promises/phi/validate-phi-returns-accept.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/validate-phi-returns-accept.lsts -------------------------------------------------------------------------------- /tests/promises/phi/validate-phi-returns-reject.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/validate-phi-returns-reject.lsts -------------------------------------------------------------------------------- /tests/promises/phi/validate-phi-returns-reject.lsts.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/phi/validate-phi-returns-reject.lsts.out -------------------------------------------------------------------------------- /tests/promises/string/comparison.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/string/comparison.lsts -------------------------------------------------------------------------------- /tests/promises/string/leak-cstring.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/string/leak-cstring.lsts -------------------------------------------------------------------------------- /tests/promises/syntax/if-else-permutations.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/syntax/if-else-permutations.lsts -------------------------------------------------------------------------------- /tests/promises/syntax/nil-return-elision.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/syntax/nil-return-elision.lsts -------------------------------------------------------------------------------- /tests/promises/tuple/comparison.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/tuple/comparison.lsts -------------------------------------------------------------------------------- /tests/promises/tuple/comparison.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/promises/tuple/match-destructuring-1.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/tuple/match-destructuring-1.lsts -------------------------------------------------------------------------------- /tests/promises/typechecking/if-else-unification.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/typechecking/if-else-unification.lsts -------------------------------------------------------------------------------- /tests/promises/typechecking/if-else-unification.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/promises/u64/arithmetic.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/u64/arithmetic.lsts -------------------------------------------------------------------------------- /tests/promises/u64/comparison.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/u64/comparison.lsts -------------------------------------------------------------------------------- /tests/promises/u64/global-declaration.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/u64/global-declaration.lsts -------------------------------------------------------------------------------- /tests/promises/u64/into.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/u64/into.lsts -------------------------------------------------------------------------------- /tests/promises/u8/arithmetic.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/u8/arithmetic.lsts -------------------------------------------------------------------------------- /tests/promises/u8/comparison.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/u8/comparison.lsts -------------------------------------------------------------------------------- /tests/promises/u8/global-declaration.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/u8/global-declaration.lsts -------------------------------------------------------------------------------- /tests/promises/u8/into.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/u8/into.lsts -------------------------------------------------------------------------------- /tests/promises/u8/pyramid-implications.lsts: -------------------------------------------------------------------------------- 1 | 2 | import lib2/core/bedrock.lsts; 3 | -------------------------------------------------------------------------------- /tests/promises/unsafe/unsafe-function-call-accept.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/unsafe/unsafe-function-call-accept.lsts -------------------------------------------------------------------------------- /tests/promises/unsafe/unsafe-function-call-reject.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/unsafe/unsafe-function-call-reject.lsts -------------------------------------------------------------------------------- /tests/promises/unsafe/unsafe-function-call-reject.lsts.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/unsafe/unsafe-function-call-reject.lsts.out -------------------------------------------------------------------------------- /tests/promises/user-defined-types/zero-init.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/user-defined-types/zero-init.lsts -------------------------------------------------------------------------------- /tests/promises/usize/arithmetic.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/usize/arithmetic.lsts -------------------------------------------------------------------------------- /tests/promises/usize/into.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/usize/into.lsts -------------------------------------------------------------------------------- /tests/promises/vector/buffer-into-string.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/vector/buffer-into-string.lsts -------------------------------------------------------------------------------- /tests/promises/vector/comparison.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/vector/comparison.lsts -------------------------------------------------------------------------------- /tests/promises/vector/constructor.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/promises/vector/constructor.lsts -------------------------------------------------------------------------------- /tests/regress.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress.rs -------------------------------------------------------------------------------- /tests/regress/3tuple.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/3tuple.lsts -------------------------------------------------------------------------------- /tests/regress/3tuple.lsts.out: -------------------------------------------------------------------------------- 1 | (1,2)(1,2,3) 2 | -------------------------------------------------------------------------------- /tests/regress/eprint.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/eprint.lsts -------------------------------------------------------------------------------- /tests/regress/eprint.lsts.out: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /tests/regress/exec.lm.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/functions-as-arguments.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/functions-as-arguments.lsts -------------------------------------------------------------------------------- /tests/regress/functions-as-arguments.lsts.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /tests/regress/hello_world.s.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/hello_world.s.v -------------------------------------------------------------------------------- /tests/regress/if-let.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/if-let.lsts -------------------------------------------------------------------------------- /tests/regress/if-let.lsts.out: -------------------------------------------------------------------------------- 1 | 5 2 | not 5 3 | -------------------------------------------------------------------------------- /tests/regress/interface.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/interface.lsts -------------------------------------------------------------------------------- /tests/regress/interface.lsts.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/invalid-assignment.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/invalid-assignment.lsts -------------------------------------------------------------------------------- /tests/regress/invalid-assignment.lsts.out: -------------------------------------------------------------------------------- 1 | Error: 2 | -------------------------------------------------------------------------------- /tests/regress/invalid-assignment.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/let-destruct.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/let-destruct.lsts -------------------------------------------------------------------------------- /tests/regress/let-destruct.lsts.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/linear-must-use.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/linear-must-use.lsts -------------------------------------------------------------------------------- /tests/regress/linear-must-use.lsts.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/linear-must-use.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/linear.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/linear.lsts -------------------------------------------------------------------------------- /tests/regress/linear.lsts.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/linear.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/lsts-frontend.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/lsts-frontend.lsts -------------------------------------------------------------------------------- /tests/regress/lsts-frontend.lsts.out: -------------------------------------------------------------------------------- 1 | -2 2 | -------------------------------------------------------------------------------- /tests/regress/must-delete.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/must-delete.lsts -------------------------------------------------------------------------------- /tests/regress/must-delete.lsts.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/must-delete.lsts.out -------------------------------------------------------------------------------- /tests/regress/must-delete.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/numerical-pyramid.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/numerical-pyramid.lsts -------------------------------------------------------------------------------- /tests/regress/numerical-pyramid.lsts.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/numerical-pyramid.lsts.out -------------------------------------------------------------------------------- /tests/regress/phi2-initializers.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/phi2-initializers.lsts -------------------------------------------------------------------------------- /tests/regress/phi2-initializers.lsts.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/phi2-initializers.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/phi2.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/phi2.lsts -------------------------------------------------------------------------------- /tests/regress/phi2.lsts.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/phi2.lsts.out -------------------------------------------------------------------------------- /tests/regress/phi2.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/propositional-types.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/propositional-types.lsts -------------------------------------------------------------------------------- /tests/regress/propositional-types.lsts.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/propositional-types.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/retain/complex-constructor.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/retain/complex-constructor.lsts -------------------------------------------------------------------------------- /tests/regress/retain/complex-constructor.lsts.out: -------------------------------------------------------------------------------- 1 | retain A 2 | -------------------------------------------------------------------------------- /tests/regress/retain/constructor.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/retain/constructor.lsts -------------------------------------------------------------------------------- /tests/regress/retain/constructor.lsts.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/retain/field-access.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/retain/field-access.lsts -------------------------------------------------------------------------------- /tests/regress/retain/field-access.lsts.out: -------------------------------------------------------------------------------- 1 | retain A 2 | -------------------------------------------------------------------------------- /tests/regress/retain/global.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/retain/global.lsts -------------------------------------------------------------------------------- /tests/regress/retain/global.lsts.out: -------------------------------------------------------------------------------- 1 | retain 2 | -------------------------------------------------------------------------------- /tests/regress/retain/local.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/retain/local.lsts -------------------------------------------------------------------------------- /tests/regress/retain/local.lsts.out: -------------------------------------------------------------------------------- 1 | retain 2 | -------------------------------------------------------------------------------- /tests/regress/retain/return-position-constructor.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/retain/return-position-constructor.lsts -------------------------------------------------------------------------------- /tests/regress/retain/return-position-constructor.lsts.out: -------------------------------------------------------------------------------- 1 | release 2 | -------------------------------------------------------------------------------- /tests/regress/retain/return-position-global.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/retain/return-position-global.lsts -------------------------------------------------------------------------------- /tests/regress/retain/return-position-global.lsts.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/retain/return-position-global.lsts.out -------------------------------------------------------------------------------- /tests/regress/retain/return-position-global.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/retain/return-position-local.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/retain/return-position-local.lsts -------------------------------------------------------------------------------- /tests/regress/retain/return-position-local.lsts.out: -------------------------------------------------------------------------------- 1 | release 2 | -------------------------------------------------------------------------------- /tests/regress/sort-type-vector.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/sort-type-vector.lsts -------------------------------------------------------------------------------- /tests/regress/sort-type-vector.lsts.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/sort-type-vector.lsts.out -------------------------------------------------------------------------------- /tests/regress/syntax-bugs.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/syntax-bugs.lsts -------------------------------------------------------------------------------- /tests/regress/syntax-bugs.lsts.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/type-alias.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/type-alias.lsts -------------------------------------------------------------------------------- /tests/regress/type-alias.lsts.out: -------------------------------------------------------------------------------- 1 | 22233312213 2 | -------------------------------------------------------------------------------- /tests/regress/type-syntax.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/type-syntax.lsts -------------------------------------------------------------------------------- /tests/regress/type-syntax.lsts.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regress/type2-compliance.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/type2-compliance.lsts -------------------------------------------------------------------------------- /tests/regress/type2-compliance.lsts.out: -------------------------------------------------------------------------------- 1 | 1324 2 | -------------------------------------------------------------------------------- /tests/regress/vector-sort.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/regress/vector-sort.lsts -------------------------------------------------------------------------------- /tests/regress/vector-sort.lsts.out: -------------------------------------------------------------------------------- 1 | [1,3,4,8] 2 | -------------------------------------------------------------------------------- /tests/regress/vector-sort.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/ast-macros.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/unit/ast-macros.lsts -------------------------------------------------------------------------------- /tests/unit/ast-macros.lsts.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/unit/ast-macros.lsts.out -------------------------------------------------------------------------------- /tests/unit/ast-macros.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/type-inference.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/unit/type-inference.lsts -------------------------------------------------------------------------------- /tests/unit/type-inference.lsts.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/type-inference.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/type-queries.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/unit/type-queries.lsts -------------------------------------------------------------------------------- /tests/unit/type-queries.lsts.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/type-queries.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/typedefs.lsts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/tests/unit/typedefs.lsts -------------------------------------------------------------------------------- /tests/unit/typedefs.lsts.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/typedefs.lsts.skip: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /vim/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/vim/README.md -------------------------------------------------------------------------------- /vim/ftdetect/lsts.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/vim/ftdetect/lsts.vim -------------------------------------------------------------------------------- /vim/ftplugin/lsts.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/vim/ftplugin/lsts.vim -------------------------------------------------------------------------------- /vim/syntax/lsts.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Lambda-Mountain-Compiler-Backend/lambda-mountain/HEAD/vim/syntax/lsts.vim --------------------------------------------------------------------------------