├── .github └── workflows │ └── ci.yml ├── .gitignore ├── .vscode └── settings.json ├── LICENSE ├── README.md ├── backend ├── .gitkeep └── cranelift │ ├── Cargo.toml │ └── src │ └── lib.rs ├── base ├── haoma.toml └── src │ ├── core.soma │ ├── io.soma │ └── prim.soma ├── benchmarks ├── benchmark └── benchmark.c ├── cabal.project ├── cabal.release.project ├── compiler-lean ├── Exe │ └── Somac.lean ├── Lib │ ├── Soma.lean │ └── Soma │ │ ├── Driver.lean │ │ ├── Driver │ │ └── Options.lean │ │ ├── Logging.lean │ │ ├── Logging │ │ └── Error.lean │ │ ├── Metal.lean │ │ ├── Metal │ │ ├── Expr.lean │ │ ├── Function.lean │ │ ├── Literal.lean │ │ ├── Lower.lean │ │ ├── Lower │ │ │ ├── Decl.lean │ │ │ ├── Env.lean │ │ │ ├── Error.lean │ │ │ ├── Expr.lean │ │ │ ├── Monad.lean │ │ │ └── Type.lean │ │ ├── Module.lean │ │ ├── Name.lean │ │ ├── Pattern.lean │ │ └── Scope.lean │ │ ├── Syntax.lean │ │ ├── Syntax │ │ ├── Ast.lean │ │ ├── Diagnostic.lean │ │ ├── Lexer.lean │ │ ├── Lower.lean │ │ ├── Parse │ │ │ ├── Decl.lean │ │ │ ├── Expr.lean │ │ │ ├── Pattern.lean │ │ │ └── Type.lean │ │ ├── Parser.lean │ │ ├── Source.lean │ │ ├── SyntaxKind.lean │ │ ├── SyntaxNode.lean │ │ └── Token.lean │ │ ├── Typing.lean │ │ ├── Typing │ │ ├── Constraint.lean │ │ ├── Kind.lean │ │ ├── Primitive.lean │ │ ├── QualifiedType.lean │ │ ├── Ty.lean │ │ └── TyCon.lean │ │ └── Unique.lean ├── README.md ├── Test │ ├── Error.lean │ ├── Fixtures.lean │ ├── Lexer.lean │ ├── Main.lean │ ├── Parser.lean │ └── fixtures │ │ ├── lexing │ │ ├── arrows.soma │ │ ├── brackets.soma │ │ ├── comment.soma │ │ ├── factorial.soma │ │ ├── identifier.soma │ │ ├── keywords.soma │ │ ├── lambda.soma │ │ ├── layout.soma │ │ ├── numbers_ops.soma │ │ └── string.soma │ │ └── parsing │ │ ├── case_expr.soma │ │ ├── compose_block.soma │ │ ├── data_type.soma │ │ ├── def_body_newline.soma │ │ ├── export_multiline.soma │ │ ├── imperative_def.soma │ │ ├── instance_def.soma │ │ ├── intrinsic_data_kind.soma │ │ ├── intrinsic_instance.soma │ │ ├── lambda_multi_param.soma │ │ ├── let_in_newline.soma │ │ ├── let_pattern.soma │ │ ├── struct_positional.soma │ │ ├── traditional_def.soma │ │ └── trait_def.soma ├── lake-manifest.json ├── lakefile.toml ├── lean-toolchain └── test_errors.soma ├── compiler ├── exe │ ├── Alloy │ │ ├── Build.hs │ │ ├── CSE.hs │ │ ├── Defunc.hs │ │ ├── ExpandIntrinsics.hs │ │ ├── HoistAllocas.hs │ │ ├── Inline.hs │ │ ├── Ir.hs │ │ ├── MonadicInline.hs │ │ ├── Monomorphize.hs │ │ ├── PromoteRefs.hs │ │ ├── ReaderRewrite.hs │ │ ├── Simplify.hs │ │ ├── Subst.hs │ │ ├── Uniqueness.hs │ │ └── Verify.hs │ ├── Build │ │ ├── Incremental.hs │ │ ├── Metadata.hs │ │ └── Tarball.hs │ ├── Circuit │ │ ├── Alloc.hs │ │ ├── Constants.hs │ │ ├── Decisions.hs │ │ ├── Escape.hs │ │ ├── Ir.hs │ │ ├── Linearize.hs │ │ ├── Lower.hs │ │ ├── Parallel.hs │ │ ├── Simplify.hs │ │ ├── ToAlloy.hs │ │ ├── ToGraph.hs │ │ └── Validate.hs │ ├── Config │ │ └── Options.hs │ ├── Llvm │ │ ├── Dependencies.hs │ │ ├── Gen │ │ │ ├── Attributes.hs │ │ │ ├── CRuntime.hs │ │ │ ├── Core.hs │ │ │ ├── Entry.hs │ │ │ ├── Externals.hs │ │ │ ├── Function.hs │ │ │ ├── Instr.hs │ │ │ ├── Intrinsics.hs │ │ │ ├── Op.hs │ │ │ ├── OperandPass.hs │ │ │ ├── Operands.hs │ │ │ ├── Templates.hs │ │ │ └── TypeConversion.hs │ │ ├── Instructions.hs │ │ ├── Ir.hs │ │ ├── Modules.hs │ │ ├── Types.hs │ │ └── Values.hs │ ├── Logging │ │ ├── Errors.hs │ │ ├── Json.hs │ │ └── Trees.hs │ ├── Main.hs │ └── Orphans │ │ └── Binary.hs ├── lib │ ├── Format │ │ ├── Errors.hs │ │ └── Trees.hs │ ├── Inference │ │ ├── Assembler.hs │ │ ├── Core.hs │ │ ├── Errors.hs │ │ ├── Gen.hs │ │ ├── InstanceValidation.hs │ │ ├── Naming.hs │ │ ├── Resolver.hs │ │ ├── Solving.hs │ │ ├── Substitution.hs │ │ └── Tree.hs │ ├── Lexing │ │ ├── Errors.hs │ │ ├── Lexer.hs │ │ └── Position.hs │ ├── Metal │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── Gen │ │ │ ├── Entry.hs │ │ │ └── Metadata.hs │ │ ├── Lift.hs │ │ ├── Lower.hs │ │ ├── Metadata.hs │ │ ├── Module.hs │ │ ├── MonadNormalize.hs │ │ └── MonadProfile.hs │ ├── Parsing │ │ ├── Ast.hs │ │ ├── Atoms.hs │ │ ├── Attributes.hs │ │ ├── Bindings.hs │ │ ├── Cst │ │ │ ├── Atoms.hs │ │ │ ├── Declarations.hs │ │ │ ├── Helpers.hs │ │ │ ├── Parser.hs │ │ │ ├── Patterns.hs │ │ │ └── Types.hs │ │ ├── CstBuilder.hs │ │ ├── DataTypes.hs │ │ ├── Errors.hs │ │ ├── Imports.hs │ │ ├── Intrinsics.hs │ │ ├── Parser.hs │ │ ├── Patterns.hs │ │ ├── Traits.hs │ │ └── Types.hs │ ├── Project │ │ ├── Check.hs │ │ ├── Extracts.hs │ │ ├── Graph.hs │ │ ├── Module.hs │ │ ├── Name.hs │ │ ├── Parsing.hs │ │ ├── Symbols.hs │ │ └── Unique.hs │ ├── Syntax │ │ ├── CST │ │ │ ├── GreenTree.hs │ │ │ ├── Lower.hs │ │ │ ├── RedTree.hs │ │ │ └── SyntaxKind.hs │ │ ├── Ops.hs │ │ ├── Patterns.hs │ │ └── Tree.hs │ ├── Typing │ │ ├── Currying.hs │ │ └── Types.hs │ └── Utils │ │ └── Lists.hs └── test │ ├── CLAUDE.md │ ├── Integration │ ├── E2ESpec.hs │ └── GoldenSpec.hs │ ├── Property │ ├── LexerSpec.hs │ ├── LinearizationSpec.hs │ └── ParserSpec.hs │ ├── Spec.hs │ ├── Test │ ├── Generators.hs │ └── Utils.hs │ ├── Unit │ ├── Alloy │ │ └── MonomorphizeSpec.hs │ ├── Circuit │ │ └── LinearizeSpec.hs │ ├── Inference │ │ ├── GenSpec.hs │ │ ├── ResolverSpec.hs │ │ └── SolvingSpec.hs │ ├── Lexing │ │ └── LexerSpec.hs │ └── Parsing │ │ └── ParserSpec.hs │ └── Validation │ └── CircuitSpec.hs ├── docs ├── UNDERSTAND.md └── pt-br │ └── ENTENDA.md ├── example ├── haoma.toml └── src │ └── llvm.soma ├── examples ├── 01_basic_functions.soma ├── 02_data_types.soma ├── 03_traits_basic.soma ├── 04_advanced_patterns.soma ├── 05_operators.soma ├── 06_compose_blocks.soma ├── errors │ ├── error_bad_pattern.soma │ ├── error_incomplete_data.soma │ ├── error_missing_arrow.soma │ ├── error_missing_param.soma │ ├── error_mixed_styles.soma │ └── error_multiple_errors.soma └── test │ ├── test_circuit.soma │ ├── test_circuit_adt.soma │ ├── test_circuit_eval.soma │ ├── test_circuit_multifield.soma │ ├── test_closure_dup.soma │ ├── test_closure_dup_simple.soma │ ├── test_cons.soma │ ├── test_cons_simple.soma │ ├── test_era.soma │ ├── test_error_quality.soma │ ├── test_fib.soma │ ├── test_fib_hybrid.soma │ ├── test_fib_small.soma │ ├── test_graph_adt.soma │ ├── test_graph_complete.soma │ ├── test_inline.soma │ ├── test_instance_hang.soma │ ├── test_lambda_capture.soma │ ├── test_lambda_capture2.soma │ ├── test_lambda_multi.soma │ ├── test_lambda_nested.soma │ ├── test_lambda_simple.soma │ ├── test_minimal_hang.soma │ ├── test_missing_equals.soma │ ├── test_parallel.soma │ ├── test_pattern_error.soma │ ├── test_pattern_no_parens.soma │ ├── test_simple_instance.soma │ ├── test_simple_pattern.soma │ ├── test_simple_trait.soma │ ├── test_struct_syntax.soma │ ├── test_tail_sum.soma │ ├── test_two_instances.soma │ └── test_wildcard_pattern.soma ├── fourmolu.yaml ├── haoma ├── Cargo.toml ├── README.md └── src │ ├── build │ ├── cache.rs │ ├── compile.rs │ ├── consts.rs │ ├── errors.rs │ ├── graph.rs │ ├── mod.rs │ ├── orchestrator.rs │ ├── resolve.rs │ └── scheduler.rs │ ├── cli │ ├── build.rs │ ├── check.rs │ ├── clean.rs │ ├── create.rs │ ├── metadata.rs │ ├── mod.rs │ └── run.rs │ ├── config │ ├── build.rs │ ├── manifest.rs │ └── mod.rs │ ├── logging │ └── mod.rs │ └── main.rs ├── ide ├── lib │ └── Ide │ │ ├── Analysis │ │ ├── Completion.hs │ │ ├── Definition.hs │ │ ├── Diagnostics.hs │ │ └── Hover.hs │ │ ├── Project │ │ └── Resolve.hs │ │ ├── Query │ │ ├── Database.hs │ │ ├── Durability.hs │ │ └── Queries.hs │ │ ├── Syntax │ │ └── Parse.hs │ │ └── Vfs │ │ ├── Change.hs │ │ └── FileSet.hs └── soma-ide.cabal ├── install.sh ├── lake-manifest.json ├── lakefile.toml ├── lean-toolchain ├── runtime ├── soma_hybrid.c ├── soma_hybrid.h ├── soma_inet.c ├── soma_inet.h ├── soma_runtime.c ├── soma_runtime.h └── test_inet.c ├── soma.cabal ├── souls ├── README.md ├── app │ └── Souls │ │ ├── Analysis.hs │ │ ├── Handlers │ │ ├── Completion.hs │ │ ├── Definition.hs │ │ └── Hover.hs │ │ ├── Haoma.hs │ │ ├── Loc.hs │ │ ├── Logging.hs │ │ ├── Main.hs │ │ ├── Server.hs │ │ └── Symbols.hs ├── souls.cabal └── test │ ├── Test.hs │ └── fixtures │ ├── empty.soma │ ├── expression.soma │ ├── fixable.soma │ ├── haoma_project │ ├── aamid │ │ ├── haoma.toml │ │ └── src │ │ │ └── utils.soma │ ├── baselib │ │ ├── haoma.toml │ │ └── src │ │ │ └── core.soma │ ├── broken │ │ ├── haoma.toml │ │ └── src │ │ │ └── main.soma │ ├── deepapp │ │ ├── haoma.toml │ │ └── src │ │ │ └── main.soma │ ├── deplib │ │ ├── haoma.toml │ │ └── src │ │ │ ├── aaa.soma │ │ │ ├── base.soma │ │ │ ├── utils.soma │ │ │ └── zfinal.soma │ ├── dynapp │ │ ├── build │ │ │ └── .cache │ │ │ │ └── build_cache.json │ │ ├── haoma.toml │ │ └── src │ │ │ └── main.soma │ ├── dynapp2 │ │ ├── haoma.toml │ │ └── src │ │ │ └── main.soma │ ├── midlib │ │ ├── haoma.toml │ │ └── src │ │ │ └── utils.soma │ ├── mmtop │ │ ├── haoma.toml │ │ └── src │ │ │ └── main.soma │ ├── myapp │ │ ├── haoma.toml │ │ └── src │ │ │ └── main.soma │ ├── mylib │ │ ├── build │ │ │ ├── .cache │ │ │ │ └── build_cache.json │ │ │ ├── mylib.ll │ │ │ └── mylib.toria │ │ ├── haoma.toml │ │ └── src │ │ │ └── core.soma │ ├── topapp │ │ ├── haoma.toml │ │ └── src │ │ │ └── main.soma │ └── zzbase │ │ ├── haoma.toml │ │ └── src │ │ └── core.soma │ ├── module1.soma │ ├── module2.soma │ ├── parse_error.soma │ ├── sample.soma │ ├── type_error.soma │ ├── valid.soma │ └── with_imports.soma ├── stdlib ├── haoma.toml └── src │ ├── collections.soma │ ├── core.soma │ ├── fs.soma │ ├── prelude.soma │ ├── program.soma │ └── text.soma └── weeder.toml /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/.gitignore -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/README.md -------------------------------------------------------------------------------- /backend/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /backend/cranelift/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/backend/cranelift/Cargo.toml -------------------------------------------------------------------------------- /backend/cranelift/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/backend/cranelift/src/lib.rs -------------------------------------------------------------------------------- /base/haoma.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/base/haoma.toml -------------------------------------------------------------------------------- /base/src/core.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/base/src/core.soma -------------------------------------------------------------------------------- /base/src/io.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/base/src/io.soma -------------------------------------------------------------------------------- /base/src/prim.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/base/src/prim.soma -------------------------------------------------------------------------------- /benchmarks/benchmark: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/benchmarks/benchmark -------------------------------------------------------------------------------- /benchmarks/benchmark.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/benchmarks/benchmark.c -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/cabal.project -------------------------------------------------------------------------------- /cabal.release.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/cabal.release.project -------------------------------------------------------------------------------- /compiler-lean/Exe/Somac.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Exe/Somac.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Driver.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Driver.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Driver/Options.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Driver/Options.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Logging.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Logging.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Logging/Error.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Logging/Error.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Metal.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Metal.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Metal/Expr.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Metal/Expr.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Metal/Function.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Metal/Function.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Metal/Literal.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Metal/Literal.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Metal/Lower.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Metal/Lower.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Metal/Lower/Decl.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Metal/Lower/Decl.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Metal/Lower/Env.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Metal/Lower/Env.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Metal/Lower/Error.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Metal/Lower/Error.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Metal/Lower/Expr.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Metal/Lower/Expr.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Metal/Lower/Monad.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Metal/Lower/Monad.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Metal/Lower/Type.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Metal/Lower/Type.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Metal/Module.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Metal/Module.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Metal/Name.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Metal/Name.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Metal/Pattern.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Metal/Pattern.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Metal/Scope.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Metal/Scope.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Syntax.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Syntax.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Syntax/Ast.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Syntax/Ast.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Syntax/Diagnostic.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Syntax/Diagnostic.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Syntax/Lexer.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Syntax/Lexer.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Syntax/Lower.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Syntax/Lower.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Syntax/Parse/Decl.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Syntax/Parse/Decl.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Syntax/Parse/Expr.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Syntax/Parse/Expr.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Syntax/Parse/Pattern.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Syntax/Parse/Pattern.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Syntax/Parse/Type.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Syntax/Parse/Type.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Syntax/Parser.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Syntax/Parser.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Syntax/Source.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Syntax/Source.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Syntax/SyntaxKind.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Syntax/SyntaxKind.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Syntax/SyntaxNode.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Syntax/SyntaxNode.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Syntax/Token.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Syntax/Token.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Typing.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Typing.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Typing/Constraint.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Typing/Constraint.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Typing/Kind.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Typing/Kind.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Typing/Primitive.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Typing/Primitive.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Typing/QualifiedType.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Typing/QualifiedType.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Typing/Ty.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Typing/Ty.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Typing/TyCon.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Typing/TyCon.lean -------------------------------------------------------------------------------- /compiler-lean/Lib/Soma/Unique.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Lib/Soma/Unique.lean -------------------------------------------------------------------------------- /compiler-lean/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/README.md -------------------------------------------------------------------------------- /compiler-lean/Test/Error.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/Error.lean -------------------------------------------------------------------------------- /compiler-lean/Test/Fixtures.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/Fixtures.lean -------------------------------------------------------------------------------- /compiler-lean/Test/Lexer.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/Lexer.lean -------------------------------------------------------------------------------- /compiler-lean/Test/Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/Main.lean -------------------------------------------------------------------------------- /compiler-lean/Test/Parser.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/Parser.lean -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/lexing/arrows.soma: -------------------------------------------------------------------------------- 1 | x -> y => z :: w 2 | -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/lexing/brackets.soma: -------------------------------------------------------------------------------- 1 | (a, [b, c], {d}) 2 | -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/lexing/comment.soma: -------------------------------------------------------------------------------- 1 | x // this is a comment 2 | y 3 | -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/lexing/factorial.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/fixtures/lexing/factorial.soma -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/lexing/identifier.soma: -------------------------------------------------------------------------------- 1 | hello 2 | -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/lexing/keywords.soma: -------------------------------------------------------------------------------- 1 | def let case if then else 2 | -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/lexing/lambda.soma: -------------------------------------------------------------------------------- 1 | \x -> x 2 | -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/lexing/layout.soma: -------------------------------------------------------------------------------- 1 | def foo 2 | x 3 | y 4 | -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/lexing/numbers_ops.soma: -------------------------------------------------------------------------------- 1 | 42 + 10 - 5 2 | -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/lexing/string.soma: -------------------------------------------------------------------------------- 1 | hello world 2 | -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/parsing/case_expr.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/fixtures/parsing/case_expr.soma -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/parsing/compose_block.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/fixtures/parsing/compose_block.soma -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/parsing/data_type.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/fixtures/parsing/data_type.soma -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/parsing/def_body_newline.soma: -------------------------------------------------------------------------------- 1 | def greet(name: String) = 2 | "Hello, " <> name 3 | -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/parsing/export_multiline.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/fixtures/parsing/export_multiline.soma -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/parsing/imperative_def.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/fixtures/parsing/imperative_def.soma -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/parsing/instance_def.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/fixtures/parsing/instance_def.soma -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/parsing/intrinsic_data_kind.soma: -------------------------------------------------------------------------------- 1 | intrinsic data IO :: * -> * 2 | -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/parsing/intrinsic_instance.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/fixtures/parsing/intrinsic_instance.soma -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/parsing/lambda_multi_param.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/fixtures/parsing/lambda_multi_param.soma -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/parsing/let_in_newline.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/fixtures/parsing/let_in_newline.soma -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/parsing/let_pattern.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/fixtures/parsing/let_pattern.soma -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/parsing/struct_positional.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/fixtures/parsing/struct_positional.soma -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/parsing/traditional_def.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/fixtures/parsing/traditional_def.soma -------------------------------------------------------------------------------- /compiler-lean/Test/fixtures/parsing/trait_def.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/Test/fixtures/parsing/trait_def.soma -------------------------------------------------------------------------------- /compiler-lean/lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/lake-manifest.json -------------------------------------------------------------------------------- /compiler-lean/lakefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/lakefile.toml -------------------------------------------------------------------------------- /compiler-lean/lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:stable 2 | -------------------------------------------------------------------------------- /compiler-lean/test_errors.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler-lean/test_errors.soma -------------------------------------------------------------------------------- /compiler/exe/Alloy/Build.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Alloy/Build.hs -------------------------------------------------------------------------------- /compiler/exe/Alloy/CSE.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Alloy/CSE.hs -------------------------------------------------------------------------------- /compiler/exe/Alloy/Defunc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Alloy/Defunc.hs -------------------------------------------------------------------------------- /compiler/exe/Alloy/ExpandIntrinsics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Alloy/ExpandIntrinsics.hs -------------------------------------------------------------------------------- /compiler/exe/Alloy/HoistAllocas.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Alloy/HoistAllocas.hs -------------------------------------------------------------------------------- /compiler/exe/Alloy/Inline.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Alloy/Inline.hs -------------------------------------------------------------------------------- /compiler/exe/Alloy/Ir.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Alloy/Ir.hs -------------------------------------------------------------------------------- /compiler/exe/Alloy/MonadicInline.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Alloy/MonadicInline.hs -------------------------------------------------------------------------------- /compiler/exe/Alloy/Monomorphize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Alloy/Monomorphize.hs -------------------------------------------------------------------------------- /compiler/exe/Alloy/PromoteRefs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Alloy/PromoteRefs.hs -------------------------------------------------------------------------------- /compiler/exe/Alloy/ReaderRewrite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Alloy/ReaderRewrite.hs -------------------------------------------------------------------------------- /compiler/exe/Alloy/Simplify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Alloy/Simplify.hs -------------------------------------------------------------------------------- /compiler/exe/Alloy/Subst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Alloy/Subst.hs -------------------------------------------------------------------------------- /compiler/exe/Alloy/Uniqueness.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Alloy/Uniqueness.hs -------------------------------------------------------------------------------- /compiler/exe/Alloy/Verify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Alloy/Verify.hs -------------------------------------------------------------------------------- /compiler/exe/Build/Incremental.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Build/Incremental.hs -------------------------------------------------------------------------------- /compiler/exe/Build/Metadata.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Build/Metadata.hs -------------------------------------------------------------------------------- /compiler/exe/Build/Tarball.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Build/Tarball.hs -------------------------------------------------------------------------------- /compiler/exe/Circuit/Alloc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Circuit/Alloc.hs -------------------------------------------------------------------------------- /compiler/exe/Circuit/Constants.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Circuit/Constants.hs -------------------------------------------------------------------------------- /compiler/exe/Circuit/Decisions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Circuit/Decisions.hs -------------------------------------------------------------------------------- /compiler/exe/Circuit/Escape.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Circuit/Escape.hs -------------------------------------------------------------------------------- /compiler/exe/Circuit/Ir.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Circuit/Ir.hs -------------------------------------------------------------------------------- /compiler/exe/Circuit/Linearize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Circuit/Linearize.hs -------------------------------------------------------------------------------- /compiler/exe/Circuit/Lower.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Circuit/Lower.hs -------------------------------------------------------------------------------- /compiler/exe/Circuit/Parallel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Circuit/Parallel.hs -------------------------------------------------------------------------------- /compiler/exe/Circuit/Simplify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Circuit/Simplify.hs -------------------------------------------------------------------------------- /compiler/exe/Circuit/ToAlloy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Circuit/ToAlloy.hs -------------------------------------------------------------------------------- /compiler/exe/Circuit/ToGraph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Circuit/ToGraph.hs -------------------------------------------------------------------------------- /compiler/exe/Circuit/Validate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Circuit/Validate.hs -------------------------------------------------------------------------------- /compiler/exe/Config/Options.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Config/Options.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Dependencies.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Dependencies.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Gen/Attributes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Gen/Attributes.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Gen/CRuntime.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Gen/CRuntime.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Gen/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Gen/Core.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Gen/Entry.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Gen/Entry.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Gen/Externals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Gen/Externals.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Gen/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Gen/Function.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Gen/Instr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Gen/Instr.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Gen/Intrinsics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Gen/Intrinsics.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Gen/Op.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Gen/Op.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Gen/OperandPass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Gen/OperandPass.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Gen/Operands.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Gen/Operands.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Gen/Templates.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Gen/Templates.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Gen/TypeConversion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Gen/TypeConversion.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Instructions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Instructions.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Ir.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Ir.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Modules.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Modules.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Types.hs -------------------------------------------------------------------------------- /compiler/exe/Llvm/Values.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Llvm/Values.hs -------------------------------------------------------------------------------- /compiler/exe/Logging/Errors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Logging/Errors.hs -------------------------------------------------------------------------------- /compiler/exe/Logging/Json.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Logging/Json.hs -------------------------------------------------------------------------------- /compiler/exe/Logging/Trees.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Logging/Trees.hs -------------------------------------------------------------------------------- /compiler/exe/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Main.hs -------------------------------------------------------------------------------- /compiler/exe/Orphans/Binary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/exe/Orphans/Binary.hs -------------------------------------------------------------------------------- /compiler/lib/Format/Errors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Format/Errors.hs -------------------------------------------------------------------------------- /compiler/lib/Format/Trees.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Format/Trees.hs -------------------------------------------------------------------------------- /compiler/lib/Inference/Assembler.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Inference/Assembler.hs -------------------------------------------------------------------------------- /compiler/lib/Inference/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Inference/Core.hs -------------------------------------------------------------------------------- /compiler/lib/Inference/Errors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Inference/Errors.hs -------------------------------------------------------------------------------- /compiler/lib/Inference/Gen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Inference/Gen.hs -------------------------------------------------------------------------------- /compiler/lib/Inference/InstanceValidation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Inference/InstanceValidation.hs -------------------------------------------------------------------------------- /compiler/lib/Inference/Naming.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Inference/Naming.hs -------------------------------------------------------------------------------- /compiler/lib/Inference/Resolver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Inference/Resolver.hs -------------------------------------------------------------------------------- /compiler/lib/Inference/Solving.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Inference/Solving.hs -------------------------------------------------------------------------------- /compiler/lib/Inference/Substitution.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Inference/Substitution.hs -------------------------------------------------------------------------------- /compiler/lib/Inference/Tree.hs: -------------------------------------------------------------------------------- 1 | module Inference.Tree where 2 | -------------------------------------------------------------------------------- /compiler/lib/Lexing/Errors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Lexing/Errors.hs -------------------------------------------------------------------------------- /compiler/lib/Lexing/Lexer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Lexing/Lexer.hs -------------------------------------------------------------------------------- /compiler/lib/Lexing/Position.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Lexing/Position.hs -------------------------------------------------------------------------------- /compiler/lib/Metal/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Metal/Expr.hs -------------------------------------------------------------------------------- /compiler/lib/Metal/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Metal/Function.hs -------------------------------------------------------------------------------- /compiler/lib/Metal/Gen/Entry.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Metal/Gen/Entry.hs -------------------------------------------------------------------------------- /compiler/lib/Metal/Gen/Metadata.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Metal/Gen/Metadata.hs -------------------------------------------------------------------------------- /compiler/lib/Metal/Lift.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Metal/Lift.hs -------------------------------------------------------------------------------- /compiler/lib/Metal/Lower.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Metal/Lower.hs -------------------------------------------------------------------------------- /compiler/lib/Metal/Metadata.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Metal/Metadata.hs -------------------------------------------------------------------------------- /compiler/lib/Metal/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Metal/Module.hs -------------------------------------------------------------------------------- /compiler/lib/Metal/MonadNormalize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Metal/MonadNormalize.hs -------------------------------------------------------------------------------- /compiler/lib/Metal/MonadProfile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Metal/MonadProfile.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Ast.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Ast.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Atoms.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Atoms.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Attributes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Attributes.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Bindings.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Bindings.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Cst/Atoms.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Cst/Atoms.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Cst/Declarations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Cst/Declarations.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Cst/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Cst/Helpers.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Cst/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Cst/Parser.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Cst/Patterns.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Cst/Patterns.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Cst/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Cst/Types.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/CstBuilder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/CstBuilder.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/DataTypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/DataTypes.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Errors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Errors.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Imports.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Imports.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Intrinsics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Intrinsics.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Parser.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Patterns.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Patterns.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Traits.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Traits.hs -------------------------------------------------------------------------------- /compiler/lib/Parsing/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Parsing/Types.hs -------------------------------------------------------------------------------- /compiler/lib/Project/Check.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Project/Check.hs -------------------------------------------------------------------------------- /compiler/lib/Project/Extracts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Project/Extracts.hs -------------------------------------------------------------------------------- /compiler/lib/Project/Graph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Project/Graph.hs -------------------------------------------------------------------------------- /compiler/lib/Project/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Project/Module.hs -------------------------------------------------------------------------------- /compiler/lib/Project/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Project/Name.hs -------------------------------------------------------------------------------- /compiler/lib/Project/Parsing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Project/Parsing.hs -------------------------------------------------------------------------------- /compiler/lib/Project/Symbols.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Project/Symbols.hs -------------------------------------------------------------------------------- /compiler/lib/Project/Unique.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Project/Unique.hs -------------------------------------------------------------------------------- /compiler/lib/Syntax/CST/GreenTree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Syntax/CST/GreenTree.hs -------------------------------------------------------------------------------- /compiler/lib/Syntax/CST/Lower.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Syntax/CST/Lower.hs -------------------------------------------------------------------------------- /compiler/lib/Syntax/CST/RedTree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Syntax/CST/RedTree.hs -------------------------------------------------------------------------------- /compiler/lib/Syntax/CST/SyntaxKind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Syntax/CST/SyntaxKind.hs -------------------------------------------------------------------------------- /compiler/lib/Syntax/Ops.hs: -------------------------------------------------------------------------------- 1 | module Syntax.Ops where 2 | -------------------------------------------------------------------------------- /compiler/lib/Syntax/Patterns.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Syntax/Patterns.hs -------------------------------------------------------------------------------- /compiler/lib/Syntax/Tree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Syntax/Tree.hs -------------------------------------------------------------------------------- /compiler/lib/Typing/Currying.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Typing/Currying.hs -------------------------------------------------------------------------------- /compiler/lib/Typing/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Typing/Types.hs -------------------------------------------------------------------------------- /compiler/lib/Utils/Lists.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/lib/Utils/Lists.hs -------------------------------------------------------------------------------- /compiler/test/CLAUDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/test/CLAUDE.md -------------------------------------------------------------------------------- /compiler/test/Integration/E2ESpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/test/Integration/E2ESpec.hs -------------------------------------------------------------------------------- /compiler/test/Integration/GoldenSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/test/Integration/GoldenSpec.hs -------------------------------------------------------------------------------- /compiler/test/Property/LexerSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/test/Property/LexerSpec.hs -------------------------------------------------------------------------------- /compiler/test/Property/LinearizationSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/test/Property/LinearizationSpec.hs -------------------------------------------------------------------------------- /compiler/test/Property/ParserSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/test/Property/ParserSpec.hs -------------------------------------------------------------------------------- /compiler/test/Spec.hs: -------------------------------------------------------------------------------- 1 | {-# OPTIONS_GHC -F -pgmF hspec-discover #-} 2 | -------------------------------------------------------------------------------- /compiler/test/Test/Generators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/test/Test/Generators.hs -------------------------------------------------------------------------------- /compiler/test/Test/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/test/Test/Utils.hs -------------------------------------------------------------------------------- /compiler/test/Unit/Alloy/MonomorphizeSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/test/Unit/Alloy/MonomorphizeSpec.hs -------------------------------------------------------------------------------- /compiler/test/Unit/Circuit/LinearizeSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/test/Unit/Circuit/LinearizeSpec.hs -------------------------------------------------------------------------------- /compiler/test/Unit/Inference/GenSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/test/Unit/Inference/GenSpec.hs -------------------------------------------------------------------------------- /compiler/test/Unit/Inference/ResolverSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/test/Unit/Inference/ResolverSpec.hs -------------------------------------------------------------------------------- /compiler/test/Unit/Inference/SolvingSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/test/Unit/Inference/SolvingSpec.hs -------------------------------------------------------------------------------- /compiler/test/Unit/Lexing/LexerSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/test/Unit/Lexing/LexerSpec.hs -------------------------------------------------------------------------------- /compiler/test/Unit/Parsing/ParserSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/test/Unit/Parsing/ParserSpec.hs -------------------------------------------------------------------------------- /compiler/test/Validation/CircuitSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/compiler/test/Validation/CircuitSpec.hs -------------------------------------------------------------------------------- /docs/UNDERSTAND.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/docs/UNDERSTAND.md -------------------------------------------------------------------------------- /docs/pt-br/ENTENDA.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/docs/pt-br/ENTENDA.md -------------------------------------------------------------------------------- /example/haoma.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/example/haoma.toml -------------------------------------------------------------------------------- /example/src/llvm.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/example/src/llvm.soma -------------------------------------------------------------------------------- /examples/01_basic_functions.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/01_basic_functions.soma -------------------------------------------------------------------------------- /examples/02_data_types.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/02_data_types.soma -------------------------------------------------------------------------------- /examples/03_traits_basic.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/03_traits_basic.soma -------------------------------------------------------------------------------- /examples/04_advanced_patterns.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/04_advanced_patterns.soma -------------------------------------------------------------------------------- /examples/05_operators.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/05_operators.soma -------------------------------------------------------------------------------- /examples/06_compose_blocks.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/06_compose_blocks.soma -------------------------------------------------------------------------------- /examples/errors/error_bad_pattern.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/errors/error_bad_pattern.soma -------------------------------------------------------------------------------- /examples/errors/error_incomplete_data.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/errors/error_incomplete_data.soma -------------------------------------------------------------------------------- /examples/errors/error_missing_arrow.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/errors/error_missing_arrow.soma -------------------------------------------------------------------------------- /examples/errors/error_missing_param.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/errors/error_missing_param.soma -------------------------------------------------------------------------------- /examples/errors/error_mixed_styles.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/errors/error_mixed_styles.soma -------------------------------------------------------------------------------- /examples/errors/error_multiple_errors.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/errors/error_multiple_errors.soma -------------------------------------------------------------------------------- /examples/test/test_circuit.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_circuit.soma -------------------------------------------------------------------------------- /examples/test/test_circuit_adt.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_circuit_adt.soma -------------------------------------------------------------------------------- /examples/test/test_circuit_eval.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_circuit_eval.soma -------------------------------------------------------------------------------- /examples/test/test_circuit_multifield.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_circuit_multifield.soma -------------------------------------------------------------------------------- /examples/test/test_closure_dup.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_closure_dup.soma -------------------------------------------------------------------------------- /examples/test/test_closure_dup_simple.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_closure_dup_simple.soma -------------------------------------------------------------------------------- /examples/test/test_cons.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_cons.soma -------------------------------------------------------------------------------- /examples/test/test_cons_simple.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_cons_simple.soma -------------------------------------------------------------------------------- /examples/test/test_era.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_era.soma -------------------------------------------------------------------------------- /examples/test/test_error_quality.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_error_quality.soma -------------------------------------------------------------------------------- /examples/test/test_fib.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_fib.soma -------------------------------------------------------------------------------- /examples/test/test_fib_hybrid.soma: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/test/test_fib_small.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_fib_small.soma -------------------------------------------------------------------------------- /examples/test/test_graph_adt.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_graph_adt.soma -------------------------------------------------------------------------------- /examples/test/test_graph_complete.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_graph_complete.soma -------------------------------------------------------------------------------- /examples/test/test_inline.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_inline.soma -------------------------------------------------------------------------------- /examples/test/test_instance_hang.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_instance_hang.soma -------------------------------------------------------------------------------- /examples/test/test_lambda_capture.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_lambda_capture.soma -------------------------------------------------------------------------------- /examples/test/test_lambda_capture2.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_lambda_capture2.soma -------------------------------------------------------------------------------- /examples/test/test_lambda_multi.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_lambda_multi.soma -------------------------------------------------------------------------------- /examples/test/test_lambda_nested.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_lambda_nested.soma -------------------------------------------------------------------------------- /examples/test/test_lambda_simple.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_lambda_simple.soma -------------------------------------------------------------------------------- /examples/test/test_minimal_hang.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_minimal_hang.soma -------------------------------------------------------------------------------- /examples/test/test_missing_equals.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_missing_equals.soma -------------------------------------------------------------------------------- /examples/test/test_parallel.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_parallel.soma -------------------------------------------------------------------------------- /examples/test/test_pattern_error.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_pattern_error.soma -------------------------------------------------------------------------------- /examples/test/test_pattern_no_parens.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_pattern_no_parens.soma -------------------------------------------------------------------------------- /examples/test/test_simple_instance.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_simple_instance.soma -------------------------------------------------------------------------------- /examples/test/test_simple_pattern.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_simple_pattern.soma -------------------------------------------------------------------------------- /examples/test/test_simple_trait.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_simple_trait.soma -------------------------------------------------------------------------------- /examples/test/test_struct_syntax.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_struct_syntax.soma -------------------------------------------------------------------------------- /examples/test/test_tail_sum.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_tail_sum.soma -------------------------------------------------------------------------------- /examples/test/test_two_instances.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_two_instances.soma -------------------------------------------------------------------------------- /examples/test/test_wildcard_pattern.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/examples/test/test_wildcard_pattern.soma -------------------------------------------------------------------------------- /fourmolu.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/fourmolu.yaml -------------------------------------------------------------------------------- /haoma/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/Cargo.toml -------------------------------------------------------------------------------- /haoma/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/README.md -------------------------------------------------------------------------------- /haoma/src/build/cache.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/build/cache.rs -------------------------------------------------------------------------------- /haoma/src/build/compile.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/build/compile.rs -------------------------------------------------------------------------------- /haoma/src/build/consts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/build/consts.rs -------------------------------------------------------------------------------- /haoma/src/build/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/build/errors.rs -------------------------------------------------------------------------------- /haoma/src/build/graph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/build/graph.rs -------------------------------------------------------------------------------- /haoma/src/build/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/build/mod.rs -------------------------------------------------------------------------------- /haoma/src/build/orchestrator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/build/orchestrator.rs -------------------------------------------------------------------------------- /haoma/src/build/resolve.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/build/resolve.rs -------------------------------------------------------------------------------- /haoma/src/build/scheduler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/build/scheduler.rs -------------------------------------------------------------------------------- /haoma/src/cli/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/cli/build.rs -------------------------------------------------------------------------------- /haoma/src/cli/check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/cli/check.rs -------------------------------------------------------------------------------- /haoma/src/cli/clean.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/cli/clean.rs -------------------------------------------------------------------------------- /haoma/src/cli/create.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/cli/create.rs -------------------------------------------------------------------------------- /haoma/src/cli/metadata.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/cli/metadata.rs -------------------------------------------------------------------------------- /haoma/src/cli/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/cli/mod.rs -------------------------------------------------------------------------------- /haoma/src/cli/run.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/cli/run.rs -------------------------------------------------------------------------------- /haoma/src/config/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/config/build.rs -------------------------------------------------------------------------------- /haoma/src/config/manifest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/config/manifest.rs -------------------------------------------------------------------------------- /haoma/src/config/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/config/mod.rs -------------------------------------------------------------------------------- /haoma/src/logging/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/logging/mod.rs -------------------------------------------------------------------------------- /haoma/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/haoma/src/main.rs -------------------------------------------------------------------------------- /ide/lib/Ide/Analysis/Completion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/ide/lib/Ide/Analysis/Completion.hs -------------------------------------------------------------------------------- /ide/lib/Ide/Analysis/Definition.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/ide/lib/Ide/Analysis/Definition.hs -------------------------------------------------------------------------------- /ide/lib/Ide/Analysis/Diagnostics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/ide/lib/Ide/Analysis/Diagnostics.hs -------------------------------------------------------------------------------- /ide/lib/Ide/Analysis/Hover.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/ide/lib/Ide/Analysis/Hover.hs -------------------------------------------------------------------------------- /ide/lib/Ide/Project/Resolve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/ide/lib/Ide/Project/Resolve.hs -------------------------------------------------------------------------------- /ide/lib/Ide/Query/Database.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/ide/lib/Ide/Query/Database.hs -------------------------------------------------------------------------------- /ide/lib/Ide/Query/Durability.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/ide/lib/Ide/Query/Durability.hs -------------------------------------------------------------------------------- /ide/lib/Ide/Query/Queries.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/ide/lib/Ide/Query/Queries.hs -------------------------------------------------------------------------------- /ide/lib/Ide/Syntax/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/ide/lib/Ide/Syntax/Parse.hs -------------------------------------------------------------------------------- /ide/lib/Ide/Vfs/Change.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/ide/lib/Ide/Vfs/Change.hs -------------------------------------------------------------------------------- /ide/lib/Ide/Vfs/FileSet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/ide/lib/Ide/Vfs/FileSet.hs -------------------------------------------------------------------------------- /ide/soma-ide.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/ide/soma-ide.cabal -------------------------------------------------------------------------------- /install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/install.sh -------------------------------------------------------------------------------- /lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/lake-manifest.json -------------------------------------------------------------------------------- /lakefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/lakefile.toml -------------------------------------------------------------------------------- /lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:stable 2 | -------------------------------------------------------------------------------- /runtime/soma_hybrid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/runtime/soma_hybrid.c -------------------------------------------------------------------------------- /runtime/soma_hybrid.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/runtime/soma_hybrid.h -------------------------------------------------------------------------------- /runtime/soma_inet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/runtime/soma_inet.c -------------------------------------------------------------------------------- /runtime/soma_inet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/runtime/soma_inet.h -------------------------------------------------------------------------------- /runtime/soma_runtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/runtime/soma_runtime.c -------------------------------------------------------------------------------- /runtime/soma_runtime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/runtime/soma_runtime.h -------------------------------------------------------------------------------- /runtime/test_inet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/runtime/test_inet.c -------------------------------------------------------------------------------- /soma.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/soma.cabal -------------------------------------------------------------------------------- /souls/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/README.md -------------------------------------------------------------------------------- /souls/app/Souls/Analysis.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/app/Souls/Analysis.hs -------------------------------------------------------------------------------- /souls/app/Souls/Handlers/Completion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/app/Souls/Handlers/Completion.hs -------------------------------------------------------------------------------- /souls/app/Souls/Handlers/Definition.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/app/Souls/Handlers/Definition.hs -------------------------------------------------------------------------------- /souls/app/Souls/Handlers/Hover.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/app/Souls/Handlers/Hover.hs -------------------------------------------------------------------------------- /souls/app/Souls/Haoma.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/app/Souls/Haoma.hs -------------------------------------------------------------------------------- /souls/app/Souls/Loc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/app/Souls/Loc.hs -------------------------------------------------------------------------------- /souls/app/Souls/Logging.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/app/Souls/Logging.hs -------------------------------------------------------------------------------- /souls/app/Souls/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/app/Souls/Main.hs -------------------------------------------------------------------------------- /souls/app/Souls/Server.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/app/Souls/Server.hs -------------------------------------------------------------------------------- /souls/app/Souls/Symbols.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/app/Souls/Symbols.hs -------------------------------------------------------------------------------- /souls/souls.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/souls.cabal -------------------------------------------------------------------------------- /souls/test/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/Test.hs -------------------------------------------------------------------------------- /souls/test/fixtures/empty.soma: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /souls/test/fixtures/expression.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/expression.soma -------------------------------------------------------------------------------- /souls/test/fixtures/fixable.soma: -------------------------------------------------------------------------------- 1 | def x :: Int = "oops" -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/aamid/haoma.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/aamid/haoma.toml -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/aamid/src/utils.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/aamid/src/utils.soma -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/baselib/haoma.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/baselib/haoma.toml -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/baselib/src/core.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/baselib/src/core.soma -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/broken/haoma.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/broken/haoma.toml -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/broken/src/main.soma: -------------------------------------------------------------------------------- 1 | def brokenFunc( -> Int 2 | | x => x + 1 3 | -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/deepapp/haoma.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/deepapp/haoma.toml -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/deepapp/src/main.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/deepapp/src/main.soma -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/deplib/haoma.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/deplib/haoma.toml -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/deplib/src/aaa.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/deplib/src/aaa.soma -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/deplib/src/base.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/deplib/src/base.soma -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/deplib/src/utils.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/deplib/src/utils.soma -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/deplib/src/zfinal.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/deplib/src/zfinal.soma -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/dynapp/build/.cache/build_cache.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/dynapp/haoma.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/dynapp/haoma.toml -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/dynapp/src/main.soma: -------------------------------------------------------------------------------- 1 | use mylib/core.{add} 2 | 3 | def main :: Int = add 1 2 4 | -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/dynapp2/haoma.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/dynapp2/haoma.toml -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/dynapp2/src/main.soma: -------------------------------------------------------------------------------- 1 | use mylib/core.{add} 2 | 3 | def main :: Int = add 1 2 4 | -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/midlib/haoma.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/midlib/haoma.toml -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/midlib/src/utils.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/midlib/src/utils.soma -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/mmtop/haoma.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/mmtop/haoma.toml -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/mmtop/src/main.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/mmtop/src/main.soma -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/myapp/haoma.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/myapp/haoma.toml -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/myapp/src/main.soma: -------------------------------------------------------------------------------- 1 | use mylib/core.{add} 2 | 3 | def main :: Int = add 1 2 4 | -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/mylib/build/.cache/build_cache.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/mylib/build/.cache/build_cache.json -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/mylib/build/mylib.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/mylib/build/mylib.ll -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/mylib/build/mylib.toria: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/mylib/build/mylib.toria -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/mylib/haoma.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/mylib/haoma.toml -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/mylib/src/core.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/mylib/src/core.soma -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/topapp/haoma.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/topapp/haoma.toml -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/topapp/src/main.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/topapp/src/main.soma -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/zzbase/haoma.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/zzbase/haoma.toml -------------------------------------------------------------------------------- /souls/test/fixtures/haoma_project/zzbase/src/core.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/haoma_project/zzbase/src/core.soma -------------------------------------------------------------------------------- /souls/test/fixtures/module1.soma: -------------------------------------------------------------------------------- 1 | def greet :: String = "hello" 2 | -------------------------------------------------------------------------------- /souls/test/fixtures/module2.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/module2.soma -------------------------------------------------------------------------------- /souls/test/fixtures/parse_error.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/parse_error.soma -------------------------------------------------------------------------------- /souls/test/fixtures/sample.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/sample.soma -------------------------------------------------------------------------------- /souls/test/fixtures/type_error.soma: -------------------------------------------------------------------------------- 1 | def wrongType :: Int = "hello" -------------------------------------------------------------------------------- /souls/test/fixtures/valid.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/valid.soma -------------------------------------------------------------------------------- /souls/test/fixtures/with_imports.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/souls/test/fixtures/with_imports.soma -------------------------------------------------------------------------------- /stdlib/haoma.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/stdlib/haoma.toml -------------------------------------------------------------------------------- /stdlib/src/collections.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/stdlib/src/collections.soma -------------------------------------------------------------------------------- /stdlib/src/core.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/stdlib/src/core.soma -------------------------------------------------------------------------------- /stdlib/src/fs.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/stdlib/src/fs.soma -------------------------------------------------------------------------------- /stdlib/src/prelude.soma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SrGaabriel/soma/HEAD/stdlib/src/prelude.soma -------------------------------------------------------------------------------- /stdlib/src/program.soma: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stdlib/src/text.soma: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /weeder.toml: -------------------------------------------------------------------------------- 1 | roots = [ "^Main.main$" ] --------------------------------------------------------------------------------