├── .envrc ├── .github └── workflows │ ├── lint-haskell.yml │ └── wasm-calc-haskell.yml ├── .gitignore ├── Makefile ├── README.md ├── cabal.project ├── cabal.project.freeze ├── flake.lock ├── flake.nix ├── malloc.wasm ├── renovate.json ├── swagger.config.json ├── wasm-calc1 ├── .gitignore ├── CHANGELOG.md ├── app │ └── Main.hs ├── src │ ├── Calc.hs │ └── Calc │ │ ├── ExprUtils.hs │ │ ├── Interpreter.hs │ │ ├── Parser.hs │ │ ├── Parser │ │ ├── Expr.hs │ │ ├── Primitives.hs │ │ ├── Shared.hs │ │ └── Types.hs │ │ ├── Repl.hs │ │ ├── Types.hs │ │ ├── Types │ │ ├── Annotation.hs │ │ ├── Expr.hs │ │ └── Prim.hs │ │ └── Wasm │ │ ├── FromExpr.hs │ │ ├── Run.hs │ │ └── Types.hs ├── test │ ├── Main.hs │ └── Test │ │ ├── Interpreter │ │ └── InterpreterSpec.hs │ │ ├── Parser │ │ └── ParserSpec.hs │ │ └── Wasm │ │ └── WasmSpec.hs └── wasm-calc1.cabal ├── wasm-calc10 ├── .gitignore ├── CHANGELOG.md ├── app │ └── Main.hs ├── src │ ├── Calc.hs │ └── Calc │ │ ├── Ability │ │ ├── Check.hs │ │ └── Error.hs │ │ ├── Build.hs │ │ ├── Dependencies.hs │ │ ├── ExprUtils.hs │ │ ├── Linearity.hs │ │ ├── Linearity │ │ ├── Decorate.hs │ │ ├── Error.hs │ │ ├── Types.hs │ │ └── Validate.hs │ │ ├── Module.hs │ │ ├── Parser.hs │ │ ├── Parser │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── Identifier.hs │ │ ├── Import.hs │ │ ├── Module.hs │ │ ├── Pattern.hs │ │ ├── Primitives.hs │ │ ├── Shared.hs │ │ ├── Type.hs │ │ └── Types.hs │ │ ├── PrettyPrint.hs │ │ ├── Repl.hs │ │ ├── SourceSpan.hs │ │ ├── Test.hs │ │ ├── TypeUtils.hs │ │ ├── Typecheck.hs │ │ ├── Typecheck │ │ ├── Elaborate.hs │ │ ├── Error.hs │ │ ├── Error │ │ │ ├── PatternMatchError.hs │ │ │ └── TypeError.hs │ │ ├── Generalise.hs │ │ ├── Helpers.hs │ │ ├── Infer.hs │ │ ├── Patterns.hs │ │ ├── Patterns │ │ │ ├── Annihilate.hs │ │ │ ├── Generate.hs │ │ │ └── Validate.hs │ │ ├── Substitute.hs │ │ ├── Types.hs │ │ └── Unify.hs │ │ ├── Types.hs │ │ ├── Types │ │ ├── Ability.hs │ │ ├── Annotation.hs │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── FunctionName.hs │ │ ├── Global.hs │ │ ├── Identifier.hs │ │ ├── Import.hs │ │ ├── Memory.hs │ │ ├── Module.hs │ │ ├── ModuleAnnotations.hs │ │ ├── Op.hs │ │ ├── Pattern.hs │ │ ├── Prim.hs │ │ ├── Test.hs │ │ ├── Type.hs │ │ └── TypeVar.hs │ │ ├── Utils.hs │ │ ├── Wasm.hs │ │ └── Wasm │ │ ├── Allocator.hs │ │ ├── FromExpr.hs │ │ ├── FromExpr │ │ ├── Drops.hs │ │ ├── Expr.hs │ │ ├── Helpers.hs │ │ ├── Module.hs │ │ ├── Patterns.hs │ │ ├── Patterns │ │ │ ├── Paths.hs │ │ │ └── Predicates.hs │ │ └── Types.hs │ │ ├── Run.hs │ │ ├── ToWasm.hs │ │ ├── ToWasm │ │ ├── Expr.hs │ │ ├── Helpers.hs │ │ ├── Module.hs │ │ └── Types.hs │ │ └── WriteModule.hs ├── static │ ├── .gitignore │ ├── malloc.calc │ └── malloc.wasm ├── test │ ├── Main.hs │ ├── Test │ │ ├── Ability │ │ │ └── AbilitySpec.hs │ │ ├── Helpers.hs │ │ ├── Linearity │ │ │ └── LinearitySpec.hs │ │ ├── Parser │ │ │ └── ParserSpec.hs │ │ ├── PrettyPrint │ │ │ └── PrettyPrintSpec.hs │ │ ├── RunNode.hs │ │ ├── Typecheck │ │ │ ├── PatternsSpec.hs │ │ │ └── TypecheckSpec.hs │ │ └── Wasm │ │ │ ├── FromWasmSpec.hs │ │ │ └── WasmSpec.hs │ ├── js │ │ └── test.mjs │ └── static │ │ ├── bigfunction.calc │ │ ├── drawing.calc │ │ └── noalloc.calc └── wasm-calc10.cabal ├── wasm-calc11 ├── .gitignore ├── CHANGELOG.md ├── app │ └── Main.hs ├── demo │ ├── .gitignore │ ├── README.md │ ├── draw.calc │ └── draw.html ├── src │ ├── Calc.hs │ └── Calc │ │ ├── Ability │ │ ├── Check.hs │ │ └── Error.hs │ │ ├── Build.hs │ │ ├── Build │ │ ├── Format.hs │ │ ├── Print.hs │ │ └── Steps.hs │ │ ├── Dependencies.hs │ │ ├── ExprUtils.hs │ │ ├── Linearity.hs │ │ ├── Linearity │ │ ├── Decorate.hs │ │ ├── Error.hs │ │ ├── Types.hs │ │ └── Validate.hs │ │ ├── Module.hs │ │ ├── Parser.hs │ │ ├── Parser │ │ ├── Data.hs │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── Identifier.hs │ │ ├── Import.hs │ │ ├── Module.hs │ │ ├── Pattern.hs │ │ ├── Primitives.hs │ │ ├── Shared.hs │ │ ├── Type.hs │ │ └── Types.hs │ │ ├── PrettyPrint.hs │ │ ├── Repl.hs │ │ ├── SourceSpan.hs │ │ ├── Test.hs │ │ ├── TypeUtils.hs │ │ ├── Typecheck.hs │ │ ├── Typecheck │ │ ├── Elaborate.hs │ │ ├── Error.hs │ │ ├── Error │ │ │ ├── PatternMatchError.hs │ │ │ └── TypeError.hs │ │ ├── Generalise.hs │ │ ├── Helpers.hs │ │ ├── Infer.hs │ │ ├── Patterns.hs │ │ ├── Patterns │ │ │ ├── Annihilate.hs │ │ │ ├── Generate.hs │ │ │ └── Validate.hs │ │ ├── Substitute.hs │ │ ├── Types.hs │ │ └── Unify.hs │ │ ├── Types.hs │ │ ├── Types │ │ ├── Ability.hs │ │ ├── Annotation.hs │ │ ├── Constructor.hs │ │ ├── Data.hs │ │ ├── DataName.hs │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── FunctionName.hs │ │ ├── Global.hs │ │ ├── Identifier.hs │ │ ├── Import.hs │ │ ├── Memory.hs │ │ ├── Module.hs │ │ ├── ModuleAnnotations.hs │ │ ├── Op.hs │ │ ├── Pattern.hs │ │ ├── Prim.hs │ │ ├── Test.hs │ │ ├── Type.hs │ │ └── TypeVar.hs │ │ ├── Utils.hs │ │ ├── Wasm.hs │ │ └── Wasm │ │ ├── Allocator.hs │ │ ├── FromExpr.hs │ │ ├── FromExpr │ │ ├── Drops.hs │ │ ├── Expr.hs │ │ ├── Helpers.hs │ │ ├── Module.hs │ │ ├── Patterns.hs │ │ ├── Patterns │ │ │ ├── Paths.hs │ │ │ └── Predicates.hs │ │ └── Types.hs │ │ ├── Run.hs │ │ ├── ToWasm.hs │ │ ├── ToWasm │ │ ├── Expr.hs │ │ ├── Helpers.hs │ │ ├── Module.hs │ │ └── Types.hs │ │ └── WriteModule.hs ├── static │ ├── .gitignore │ ├── malloc-new.wat │ ├── malloc-old.wasm │ ├── malloc.calc │ └── malloc.wasm ├── test │ ├── Main.hs │ ├── Test │ │ ├── Ability │ │ │ └── AbilitySpec.hs │ │ ├── Helpers.hs │ │ ├── Linearity │ │ │ └── LinearitySpec.hs │ │ ├── Parser │ │ │ └── ParserSpec.hs │ │ ├── PrettyPrint │ │ │ └── PrettyPrintSpec.hs │ │ ├── RunNode.hs │ │ ├── Typecheck │ │ │ ├── PatternsSpec.hs │ │ │ └── TypecheckSpec.hs │ │ └── Wasm │ │ │ ├── FromWasmSpec.hs │ │ │ └── WasmSpec.hs │ ├── js │ │ └── test.mjs │ └── static │ │ ├── bigfunction.calc │ │ ├── datatypes.calc │ │ ├── drawing.calc │ │ ├── noalloc.calc │ │ ├── smalltypecheck.calc │ │ └── typecheck.calc └── wasm-calc11.cabal ├── wasm-calc12 ├── .gitignore ├── CHANGELOG.md ├── app │ └── Main.hs ├── demo │ ├── .gitignore │ ├── README.md │ ├── draw.calc │ └── draw.html ├── src │ ├── Calc.hs │ └── Calc │ │ ├── Ability │ │ ├── Check.hs │ │ └── Error.hs │ │ ├── Build.hs │ │ ├── Build │ │ ├── Format.hs │ │ ├── Print.hs │ │ └── Steps.hs │ │ ├── Dependencies.hs │ │ ├── ExprUtils.hs │ │ ├── Linearity.hs │ │ ├── Linearity │ │ ├── Decorate.hs │ │ ├── Error.hs │ │ ├── Helpers.hs │ │ ├── Types.hs │ │ └── Validate.hs │ │ ├── Module.hs │ │ ├── Parser.hs │ │ ├── Parser │ │ ├── Data.hs │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── Identifier.hs │ │ ├── Import.hs │ │ ├── Module.hs │ │ ├── Pattern.hs │ │ ├── Primitives.hs │ │ ├── Shared.hs │ │ ├── Type.hs │ │ └── Types.hs │ │ ├── PrettyPrint.hs │ │ ├── Repl.hs │ │ ├── SourceSpan.hs │ │ ├── Test.hs │ │ ├── TypeUtils.hs │ │ ├── Typecheck.hs │ │ ├── Typecheck │ │ ├── Elaborate.hs │ │ ├── Error.hs │ │ ├── Error │ │ │ ├── PatternMatchError.hs │ │ │ └── TypeError.hs │ │ ├── Generalise.hs │ │ ├── Helpers.hs │ │ ├── Infer.hs │ │ ├── Patterns.hs │ │ ├── Patterns │ │ │ ├── Annihilate.hs │ │ │ ├── Generate.hs │ │ │ └── Validate.hs │ │ ├── Substitute.hs │ │ ├── Types.hs │ │ └── Unify.hs │ │ ├── Types.hs │ │ ├── Types │ │ ├── Ability.hs │ │ ├── Annotation.hs │ │ ├── Constructor.hs │ │ ├── Data.hs │ │ ├── DataName.hs │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── FunctionName.hs │ │ ├── Global.hs │ │ ├── Identifier.hs │ │ ├── Import.hs │ │ ├── Memory.hs │ │ ├── Module.hs │ │ ├── ModuleAnnotations.hs │ │ ├── Op.hs │ │ ├── Pattern.hs │ │ ├── Prim.hs │ │ ├── Test.hs │ │ ├── Type.hs │ │ └── TypeVar.hs │ │ ├── Utils.hs │ │ ├── Wasm.hs │ │ └── Wasm │ │ ├── Allocator.hs │ │ ├── FromExpr.hs │ │ ├── FromExpr │ │ ├── Drops.hs │ │ ├── Expr.hs │ │ ├── Helpers.hs │ │ ├── Module.hs │ │ ├── Patterns.hs │ │ ├── Patterns │ │ │ ├── Paths.hs │ │ │ └── Predicates.hs │ │ └── Types.hs │ │ ├── Run.hs │ │ ├── ToWasm.hs │ │ ├── ToWasm │ │ ├── Expr.hs │ │ ├── Helpers.hs │ │ ├── Module.hs │ │ └── Types.hs │ │ └── WriteModule.hs ├── static │ ├── .gitignore │ ├── malloc-new.wat │ ├── malloc-old.wasm │ ├── malloc.calc │ └── malloc.wasm ├── test │ ├── Main.hs │ ├── Test │ │ ├── Ability │ │ │ └── AbilitySpec.hs │ │ ├── Helpers.hs │ │ ├── Linearity │ │ │ └── LinearitySpec.hs │ │ ├── Parser │ │ │ └── ParserSpec.hs │ │ ├── PrettyPrint │ │ │ └── PrettyPrintSpec.hs │ │ ├── RunNode.hs │ │ ├── Typecheck │ │ │ ├── PatternsSpec.hs │ │ │ └── TypecheckSpec.hs │ │ └── Wasm │ │ │ ├── FromWasmSpec.hs │ │ │ └── WasmSpec.hs │ ├── js │ │ └── test.mjs │ └── static │ │ ├── bigfunction.calc │ │ ├── datatypes.calc │ │ ├── drawing.calc │ │ ├── lambda.calc │ │ ├── lambda2.calc │ │ ├── lambda3.calc │ │ ├── lambda4.calc │ │ ├── map.calc │ │ ├── nice.calc │ │ ├── noalloc.calc │ │ └── smalltypecheck.calc └── wasm-calc12.cabal ├── wasm-calc13 ├── .gitignore ├── CHANGELOG.md ├── app │ └── Main.hs ├── demo │ ├── .gitignore │ ├── README.md │ ├── draw.calc │ └── draw.html ├── src │ ├── Calc.hs │ └── Calc │ │ ├── Ability │ │ ├── Check.hs │ │ └── Error.hs │ │ ├── Build.hs │ │ ├── Build │ │ ├── Format.hs │ │ ├── Print.hs │ │ └── Steps.hs │ │ ├── Dependencies.hs │ │ ├── ExprUtils.hs │ │ ├── Linearity.hs │ │ ├── Linearity │ │ ├── Decorate.hs │ │ ├── Error.hs │ │ ├── Helpers.hs │ │ ├── Types.hs │ │ └── Validate.hs │ │ ├── Module.hs │ │ ├── Parser.hs │ │ ├── Parser │ │ ├── Data.hs │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── Identifier.hs │ │ ├── Import.hs │ │ ├── Module.hs │ │ ├── Pattern.hs │ │ ├── Primitives.hs │ │ ├── Shared.hs │ │ ├── Type.hs │ │ └── Types.hs │ │ ├── PrettyPrint.hs │ │ ├── Repl.hs │ │ ├── SourceSpan.hs │ │ ├── Test.hs │ │ ├── TypeUtils.hs │ │ ├── Typecheck.hs │ │ ├── Typecheck │ │ ├── Elaborate.hs │ │ ├── Error.hs │ │ ├── Error │ │ │ ├── PatternMatchError.hs │ │ │ └── TypeError.hs │ │ ├── Generalise.hs │ │ ├── Helpers.hs │ │ ├── Infer.hs │ │ ├── Patterns.hs │ │ ├── Patterns │ │ │ ├── Annihilate.hs │ │ │ ├── Generate.hs │ │ │ └── Validate.hs │ │ ├── Substitute.hs │ │ ├── Types.hs │ │ └── Unify.hs │ │ ├── Types.hs │ │ ├── Types │ │ ├── Ability.hs │ │ ├── Annotation.hs │ │ ├── Constructor.hs │ │ ├── Data.hs │ │ ├── DataName.hs │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── FunctionName.hs │ │ ├── Global.hs │ │ ├── Identifier.hs │ │ ├── Import.hs │ │ ├── Memory.hs │ │ ├── Module.hs │ │ ├── ModuleAnnotations.hs │ │ ├── Op.hs │ │ ├── Pattern.hs │ │ ├── Prim.hs │ │ ├── Test.hs │ │ ├── Type.hs │ │ └── TypeVar.hs │ │ ├── Utils.hs │ │ ├── Wasm.hs │ │ └── Wasm │ │ ├── Allocator.hs │ │ ├── FromExpr.hs │ │ ├── FromExpr │ │ ├── Drops.hs │ │ ├── Expr.hs │ │ ├── Helpers.hs │ │ ├── Module.hs │ │ ├── Patterns.hs │ │ ├── Patterns │ │ │ ├── Paths.hs │ │ │ └── Predicates.hs │ │ └── Types.hs │ │ ├── Run.hs │ │ ├── ToWasm.hs │ │ ├── ToWasm │ │ ├── Expr.hs │ │ ├── Helpers.hs │ │ ├── Module.hs │ │ └── Types.hs │ │ └── WriteModule.hs ├── static │ ├── .gitignore │ ├── malloc-new.wat │ ├── malloc-old.wasm │ ├── malloc.calc │ └── malloc.wasm ├── test │ ├── Main.hs │ ├── Test │ │ ├── Ability │ │ │ └── AbilitySpec.hs │ │ ├── Helpers.hs │ │ ├── Linearity │ │ │ └── LinearitySpec.hs │ │ ├── Parser │ │ │ └── ParserSpec.hs │ │ ├── PrettyPrint │ │ │ └── PrettyPrintSpec.hs │ │ ├── RunNode.hs │ │ ├── Typecheck │ │ │ ├── PatternsSpec.hs │ │ │ └── TypecheckSpec.hs │ │ └── Wasm │ │ │ ├── FromWasmSpec.hs │ │ │ └── WasmSpec.hs │ ├── js │ │ └── test.mjs │ └── static │ │ ├── bigfunction.calc │ │ ├── datatypes.calc │ │ ├── drawing.calc │ │ ├── lambda.calc │ │ ├── lambda2.calc │ │ ├── lambda3.calc │ │ ├── lambda4.calc │ │ ├── map.calc │ │ ├── nice.calc │ │ ├── noalloc.calc │ │ └── smalltypecheck.calc └── wasm-calc13.cabal ├── wasm-calc2 ├── .gitignore ├── CHANGELOG.md ├── app │ └── Main.hs ├── src │ ├── Calc.hs │ └── Calc │ │ ├── ExprUtils.hs │ │ ├── Interpreter.hs │ │ ├── Parser.hs │ │ ├── Parser │ │ ├── Expr.hs │ │ ├── Primitives.hs │ │ ├── Shared.hs │ │ ├── Type.hs │ │ └── Types.hs │ │ ├── Repl.hs │ │ ├── SourceSpan.hs │ │ ├── TypeUtils.hs │ │ ├── Typecheck │ │ ├── Elaborate.hs │ │ └── Error.hs │ │ ├── Types.hs │ │ ├── Types │ │ ├── Annotation.hs │ │ ├── Expr.hs │ │ ├── Prim.hs │ │ └── Type.hs │ │ └── Wasm │ │ ├── FromExpr.hs │ │ ├── Run.hs │ │ └── Types.hs ├── test │ ├── Main.hs │ └── Test │ │ ├── Interpreter │ │ └── InterpreterSpec.hs │ │ ├── Parser │ │ └── ParserSpec.hs │ │ ├── Typecheck │ │ └── TypecheckSpec.hs │ │ └── Wasm │ │ └── WasmSpec.hs └── wasm-calc2.cabal ├── wasm-calc3 ├── .gitignore ├── CHANGELOG.md ├── app │ └── Main.hs ├── src │ ├── Calc.hs │ └── Calc │ │ ├── ExprUtils.hs │ │ ├── Interpreter.hs │ │ ├── Parser.hs │ │ ├── Parser │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── Identifier.hs │ │ ├── Module.hs │ │ ├── Primitives.hs │ │ ├── Shared.hs │ │ ├── Type.hs │ │ └── Types.hs │ │ ├── Repl.hs │ │ ├── SourceSpan.hs │ │ ├── TypeUtils.hs │ │ ├── Typecheck │ │ ├── Elaborate.hs │ │ ├── Error.hs │ │ └── Types.hs │ │ ├── Types.hs │ │ ├── Types │ │ ├── Annotation.hs │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── FunctionName.hs │ │ ├── Identifier.hs │ │ ├── Module.hs │ │ ├── Prim.hs │ │ └── Type.hs │ │ └── Wasm │ │ ├── FromExpr.hs │ │ ├── Run.hs │ │ ├── ToWasm.hs │ │ └── Types.hs ├── static │ └── runtime.c ├── test │ ├── Main.hs │ └── Test │ │ ├── Interpreter │ │ └── InterpreterSpec.hs │ │ ├── Parser │ │ └── ParserSpec.hs │ │ ├── Typecheck │ │ └── TypecheckSpec.hs │ │ └── Wasm │ │ └── WasmSpec.hs └── wasm-calc3.cabal ├── wasm-calc4 ├── .gitignore ├── CHANGELOG.md ├── app │ └── Main.hs ├── src │ ├── Calc.hs │ └── Calc │ │ ├── ExprUtils.hs │ │ ├── Interpreter.hs │ │ ├── Parser.hs │ │ ├── Parser │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── Identifier.hs │ │ ├── Module.hs │ │ ├── Pattern.hs │ │ ├── Primitives.hs │ │ ├── Shared.hs │ │ ├── Type.hs │ │ └── Types.hs │ │ ├── Repl.hs │ │ ├── SourceSpan.hs │ │ ├── TypeUtils.hs │ │ ├── Typecheck │ │ ├── Elaborate.hs │ │ ├── Error.hs │ │ └── Types.hs │ │ ├── Types.hs │ │ ├── Types │ │ ├── Annotation.hs │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── FunctionName.hs │ │ ├── Identifier.hs │ │ ├── Module.hs │ │ ├── Prim.hs │ │ └── Type.hs │ │ ├── Utils.hs │ │ └── Wasm │ │ ├── Allocator.hs │ │ ├── FromExpr.hs │ │ ├── Helpers.hs │ │ ├── Run.hs │ │ ├── ToWasm.hs │ │ └── Types.hs ├── static │ └── bump-allocator.wat ├── test │ ├── Main.hs │ └── Test │ │ ├── Helpers.hs │ │ ├── Interpreter │ │ └── InterpreterSpec.hs │ │ ├── Parser │ │ └── ParserSpec.hs │ │ ├── Typecheck │ │ └── TypecheckSpec.hs │ │ └── Wasm │ │ └── WasmSpec.hs └── wasm-calc4.cabal ├── wasm-calc5 ├── .gitignore ├── CHANGELOG.md ├── app │ └── Main.hs ├── src │ ├── Calc.hs │ └── Calc │ │ ├── ExprUtils.hs │ │ ├── Interpreter.hs │ │ ├── Parser.hs │ │ ├── Parser │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── Identifier.hs │ │ ├── Module.hs │ │ ├── Pattern.hs │ │ ├── Primitives.hs │ │ ├── Shared.hs │ │ ├── Type.hs │ │ └── Types.hs │ │ ├── Repl.hs │ │ ├── SourceSpan.hs │ │ ├── TypeUtils.hs │ │ ├── Typecheck │ │ ├── Elaborate.hs │ │ ├── Error.hs │ │ ├── Generalise.hs │ │ ├── Helpers.hs │ │ ├── Substitute.hs │ │ └── Types.hs │ │ ├── Types.hs │ │ ├── Types │ │ ├── Annotation.hs │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── FunctionName.hs │ │ ├── Identifier.hs │ │ ├── Module.hs │ │ ├── Prim.hs │ │ ├── Type.hs │ │ └── TypeVar.hs │ │ ├── Utils.hs │ │ └── Wasm │ │ ├── Allocator.hs │ │ ├── FromExpr.hs │ │ ├── Helpers.hs │ │ ├── Run.hs │ │ ├── ToWasm.hs │ │ └── Types.hs ├── static │ └── bump-allocator.wat ├── test │ ├── Main.hs │ └── Test │ │ ├── Helpers.hs │ │ ├── Interpreter │ │ └── InterpreterSpec.hs │ │ ├── Parser │ │ └── ParserSpec.hs │ │ ├── Typecheck │ │ └── TypecheckSpec.hs │ │ └── Wasm │ │ └── WasmSpec.hs └── wasm-calc5.cabal ├── wasm-calc6 ├── .gitignore ├── CHANGELOG.md ├── app │ └── Main.hs ├── src │ ├── Calc.hs │ └── Calc │ │ ├── ExprUtils.hs │ │ ├── Interpreter.hs │ │ ├── Linearity.hs │ │ ├── Linearity │ │ ├── Error.hs │ │ ├── Types.hs │ │ └── Validate.hs │ │ ├── Parser.hs │ │ ├── Parser │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── Identifier.hs │ │ ├── Module.hs │ │ ├── Pattern.hs │ │ ├── Primitives.hs │ │ ├── Shared.hs │ │ ├── Type.hs │ │ └── Types.hs │ │ ├── Repl.hs │ │ ├── SourceSpan.hs │ │ ├── TypeUtils.hs │ │ ├── Typecheck.hs │ │ ├── Typecheck │ │ ├── Elaborate.hs │ │ ├── Error.hs │ │ ├── Generalise.hs │ │ ├── Helpers.hs │ │ ├── Substitute.hs │ │ └── Types.hs │ │ ├── Types.hs │ │ ├── Types │ │ ├── Annotation.hs │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── FunctionName.hs │ │ ├── Identifier.hs │ │ ├── Module.hs │ │ ├── Pattern.hs │ │ ├── Prim.hs │ │ ├── Type.hs │ │ └── TypeVar.hs │ │ ├── Utils.hs │ │ └── Wasm │ │ ├── Allocator.hs │ │ ├── FromExpr.hs │ │ ├── Helpers.hs │ │ ├── Patterns.hs │ │ ├── Run.hs │ │ ├── ToWasm.hs │ │ └── Types.hs ├── static │ └── bump-allocator.wat ├── test │ ├── Main.hs │ └── Test │ │ ├── Helpers.hs │ │ ├── Interpreter │ │ └── InterpreterSpec.hs │ │ ├── Linearity │ │ └── LinearitySpec.hs │ │ ├── Parser │ │ └── ParserSpec.hs │ │ ├── Typecheck │ │ └── TypecheckSpec.hs │ │ └── Wasm │ │ └── WasmSpec.hs └── wasm-calc6.cabal ├── wasm-calc7 ├── .gitignore ├── CHANGELOG.md ├── app │ └── Main.hs ├── demo │ ├── .gitignore │ ├── README.md │ ├── draw.calc │ └── draw.html ├── src │ ├── Calc.hs │ └── Calc │ │ ├── Build.hs │ │ ├── ExprUtils.hs │ │ ├── Linearity.hs │ │ ├── Linearity │ │ ├── Error.hs │ │ ├── Types.hs │ │ └── Validate.hs │ │ ├── Parser.hs │ │ ├── Parser │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── Identifier.hs │ │ ├── Import.hs │ │ ├── Module.hs │ │ ├── Pattern.hs │ │ ├── Primitives.hs │ │ ├── Shared.hs │ │ ├── Type.hs │ │ └── Types.hs │ │ ├── PrettyPrint.hs │ │ ├── Repl.hs │ │ ├── SourceSpan.hs │ │ ├── TypeUtils.hs │ │ ├── Typecheck.hs │ │ ├── Typecheck │ │ ├── Elaborate.hs │ │ ├── Error.hs │ │ ├── Generalise.hs │ │ ├── Helpers.hs │ │ ├── Substitute.hs │ │ └── Types.hs │ │ ├── Types.hs │ │ ├── Types │ │ ├── Annotation.hs │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── FunctionName.hs │ │ ├── Identifier.hs │ │ ├── Import.hs │ │ ├── Module.hs │ │ ├── Op.hs │ │ ├── Pattern.hs │ │ ├── Prim.hs │ │ ├── Type.hs │ │ └── TypeVar.hs │ │ ├── Utils.hs │ │ ├── Wasm.hs │ │ └── Wasm │ │ ├── Allocator.hs │ │ ├── FromExpr.hs │ │ ├── Helpers.hs │ │ ├── Patterns.hs │ │ ├── Run.hs │ │ ├── ToWasm.hs │ │ ├── Types.hs │ │ └── WriteModule.hs ├── static │ └── bump-allocator.wat ├── test │ ├── Main.hs │ ├── Test │ │ ├── Helpers.hs │ │ ├── Linearity │ │ │ └── LinearitySpec.hs │ │ ├── Parser │ │ │ └── ParserSpec.hs │ │ ├── PrettyPrint │ │ │ └── PrettyPrintSpec.hs │ │ ├── RunNode.hs │ │ ├── Typecheck │ │ │ └── TypecheckSpec.hs │ │ └── Wasm │ │ │ └── WasmSpec.hs │ ├── js │ │ └── test.mjs │ └── static │ │ ├── bigfunction.calc │ │ └── drawing.calc └── wasm-calc7.cabal ├── wasm-calc8 ├── .gitignore ├── CHANGELOG.md ├── app │ └── Main.hs ├── demo │ ├── .gitignore │ ├── README.md │ ├── draw.calc │ └── draw.html ├── src │ ├── Calc.hs │ └── Calc │ │ ├── Build.hs │ │ ├── ExprUtils.hs │ │ ├── Linearity.hs │ │ ├── Linearity │ │ ├── Error.hs │ │ ├── Types.hs │ │ └── Validate.hs │ │ ├── Parser.hs │ │ ├── Parser │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── Identifier.hs │ │ ├── Import.hs │ │ ├── Module.hs │ │ ├── Pattern.hs │ │ ├── Primitives.hs │ │ ├── Shared.hs │ │ ├── Type.hs │ │ └── Types.hs │ │ ├── PrettyPrint.hs │ │ ├── Repl.hs │ │ ├── SourceSpan.hs │ │ ├── TypeUtils.hs │ │ ├── Typecheck.hs │ │ ├── Typecheck │ │ ├── Elaborate.hs │ │ ├── Error.hs │ │ ├── Generalise.hs │ │ ├── Helpers.hs │ │ ├── Infer.hs │ │ ├── Substitute.hs │ │ ├── Types.hs │ │ └── Unify.hs │ │ ├── Types.hs │ │ ├── Types │ │ ├── Annotation.hs │ │ ├── Expr.hs │ │ ├── Function.hs │ │ ├── FunctionName.hs │ │ ├── Global.hs │ │ ├── Identifier.hs │ │ ├── Import.hs │ │ ├── Memory.hs │ │ ├── Module.hs │ │ ├── Op.hs │ │ ├── Pattern.hs │ │ ├── Prim.hs │ │ ├── Type.hs │ │ └── TypeVar.hs │ │ ├── Utils.hs │ │ ├── Wasm.hs │ │ └── Wasm │ │ ├── Allocator.hs │ │ ├── FromExpr │ │ ├── Expr.hs │ │ ├── Helpers.hs │ │ ├── Patterns.hs │ │ └── Types.hs │ │ ├── Run.hs │ │ ├── ToWasm │ │ ├── Expr.hs │ │ ├── Helpers.hs │ │ ├── Module.hs │ │ └── Types.hs │ │ └── WriteModule.hs ├── static │ ├── bump-allocator.wat │ └── malloc.wat ├── test │ ├── Main.hs │ ├── Test │ │ ├── Helpers.hs │ │ ├── Linearity │ │ │ └── LinearitySpec.hs │ │ ├── Parser │ │ │ └── ParserSpec.hs │ │ ├── PrettyPrint │ │ │ └── PrettyPrintSpec.hs │ │ ├── RunNode.hs │ │ ├── Typecheck │ │ │ └── TypecheckSpec.hs │ │ └── Wasm │ │ │ └── WasmSpec.hs │ ├── js │ │ └── test.mjs │ └── static │ │ ├── bigfunction.calc │ │ └── drawing.calc └── wasm-calc8.cabal └── wasm-calc9 ├── .gitignore ├── CHANGELOG.md ├── app └── Main.hs ├── src ├── Calc.hs └── Calc │ ├── Ability │ ├── Check.hs │ └── Error.hs │ ├── Build.hs │ ├── Dependencies.hs │ ├── ExprUtils.hs │ ├── Linearity.hs │ ├── Linearity │ ├── Error.hs │ ├── Types.hs │ └── Validate.hs │ ├── Parser.hs │ ├── Parser │ ├── Expr.hs │ ├── Function.hs │ ├── Identifier.hs │ ├── Import.hs │ ├── Module.hs │ ├── Pattern.hs │ ├── Primitives.hs │ ├── Shared.hs │ ├── Type.hs │ └── Types.hs │ ├── PrettyPrint.hs │ ├── Repl.hs │ ├── SourceSpan.hs │ ├── Test.hs │ ├── TypeUtils.hs │ ├── Typecheck.hs │ ├── Typecheck │ ├── Elaborate.hs │ ├── Error.hs │ ├── Generalise.hs │ ├── Helpers.hs │ ├── Infer.hs │ ├── Substitute.hs │ ├── Types.hs │ └── Unify.hs │ ├── Types.hs │ ├── Types │ ├── Ability.hs │ ├── Annotation.hs │ ├── Expr.hs │ ├── Function.hs │ ├── FunctionName.hs │ ├── Global.hs │ ├── Identifier.hs │ ├── Import.hs │ ├── Memory.hs │ ├── Module.hs │ ├── ModuleAnnotations.hs │ ├── Op.hs │ ├── Pattern.hs │ ├── Prim.hs │ ├── Test.hs │ ├── Type.hs │ └── TypeVar.hs │ ├── Utils.hs │ ├── Wasm.hs │ └── Wasm │ ├── Allocator.hs │ ├── FromExpr.hs │ ├── FromExpr │ ├── Drops.hs │ ├── Expr.hs │ ├── Helpers.hs │ ├── Module.hs │ ├── Patterns.hs │ └── Types.hs │ ├── Run.hs │ ├── ToWasm.hs │ ├── ToWasm │ ├── Expr.hs │ ├── Helpers.hs │ ├── Module.hs │ └── Types.hs │ └── WriteModule.hs ├── static ├── .gitignore ├── malloc.calc └── malloc.wasm ├── test ├── Main.hs ├── Test │ ├── Ability │ │ └── AbilitySpec.hs │ ├── Helpers.hs │ ├── Linearity │ │ └── LinearitySpec.hs │ ├── Parser │ │ └── ParserSpec.hs │ ├── PrettyPrint │ │ └── PrettyPrintSpec.hs │ ├── RunNode.hs │ ├── Typecheck │ │ └── TypecheckSpec.hs │ └── Wasm │ │ ├── FromWasmSpec.hs │ │ └── WasmSpec.hs ├── js │ └── test.mjs └── static │ ├── bigfunction.calc │ ├── drawing.calc │ └── noalloc.calc └── wasm-calc9.cabal /.envrc: -------------------------------------------------------------------------------- 1 | use flake . --impure -j auto --print-build-logs 2 | -------------------------------------------------------------------------------- /.github/workflows/lint-haskell.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/.github/workflows/lint-haskell.yml -------------------------------------------------------------------------------- /.github/workflows/wasm-calc-haskell.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/.github/workflows/wasm-calc-haskell.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/.gitignore -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/README.md -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/cabal.project -------------------------------------------------------------------------------- /cabal.project.freeze: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/cabal.project.freeze -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/flake.nix -------------------------------------------------------------------------------- /malloc.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/malloc.wasm -------------------------------------------------------------------------------- /renovate.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/renovate.json -------------------------------------------------------------------------------- /swagger.config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/swagger.config.json -------------------------------------------------------------------------------- /wasm-calc1/.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle 2 | .direnv 3 | -------------------------------------------------------------------------------- /wasm-calc1/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/CHANGELOG.md -------------------------------------------------------------------------------- /wasm-calc1/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/app/Main.hs -------------------------------------------------------------------------------- /wasm-calc1/src/Calc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/src/Calc.hs -------------------------------------------------------------------------------- /wasm-calc1/src/Calc/ExprUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/src/Calc/ExprUtils.hs -------------------------------------------------------------------------------- /wasm-calc1/src/Calc/Interpreter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/src/Calc/Interpreter.hs -------------------------------------------------------------------------------- /wasm-calc1/src/Calc/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/src/Calc/Parser.hs -------------------------------------------------------------------------------- /wasm-calc1/src/Calc/Parser/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/src/Calc/Parser/Expr.hs -------------------------------------------------------------------------------- /wasm-calc1/src/Calc/Parser/Primitives.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/src/Calc/Parser/Primitives.hs -------------------------------------------------------------------------------- /wasm-calc1/src/Calc/Parser/Shared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/src/Calc/Parser/Shared.hs -------------------------------------------------------------------------------- /wasm-calc1/src/Calc/Parser/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/src/Calc/Parser/Types.hs -------------------------------------------------------------------------------- /wasm-calc1/src/Calc/Repl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/src/Calc/Repl.hs -------------------------------------------------------------------------------- /wasm-calc1/src/Calc/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/src/Calc/Types.hs -------------------------------------------------------------------------------- /wasm-calc1/src/Calc/Types/Annotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/src/Calc/Types/Annotation.hs -------------------------------------------------------------------------------- /wasm-calc1/src/Calc/Types/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/src/Calc/Types/Expr.hs -------------------------------------------------------------------------------- /wasm-calc1/src/Calc/Types/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/src/Calc/Types/Prim.hs -------------------------------------------------------------------------------- /wasm-calc1/src/Calc/Wasm/FromExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/src/Calc/Wasm/FromExpr.hs -------------------------------------------------------------------------------- /wasm-calc1/src/Calc/Wasm/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/src/Calc/Wasm/Run.hs -------------------------------------------------------------------------------- /wasm-calc1/src/Calc/Wasm/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/src/Calc/Wasm/Types.hs -------------------------------------------------------------------------------- /wasm-calc1/test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/test/Main.hs -------------------------------------------------------------------------------- /wasm-calc1/test/Test/Parser/ParserSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/test/Test/Parser/ParserSpec.hs -------------------------------------------------------------------------------- /wasm-calc1/test/Test/Wasm/WasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/test/Test/Wasm/WasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc1/wasm-calc1.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc1/wasm-calc1.cabal -------------------------------------------------------------------------------- /wasm-calc10/.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle 2 | .direnv 3 | -------------------------------------------------------------------------------- /wasm-calc10/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/CHANGELOG.md -------------------------------------------------------------------------------- /wasm-calc10/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/app/Main.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Ability/Check.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Ability/Check.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Ability/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Ability/Error.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Build.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Build.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Dependencies.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Dependencies.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/ExprUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/ExprUtils.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Linearity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Linearity.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Linearity/Decorate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Linearity/Decorate.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Linearity/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Linearity/Error.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Linearity/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Linearity/Types.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Linearity/Validate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Linearity/Validate.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Module.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Parser.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Parser/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Parser/Expr.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Parser/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Parser/Function.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Parser/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Parser/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Parser/Import.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Parser/Import.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Parser/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Parser/Module.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Parser/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Parser/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Parser/Primitives.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Parser/Primitives.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Parser/Shared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Parser/Shared.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Parser/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Parser/Type.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Parser/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Parser/Types.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/PrettyPrint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/PrettyPrint.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Repl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Repl.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/SourceSpan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/SourceSpan.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Test.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/TypeUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/TypeUtils.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Typecheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Typecheck.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Typecheck/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Typecheck/Error.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Typecheck/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Typecheck/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Typecheck/Infer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Typecheck/Infer.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Typecheck/Patterns.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Typecheck/Patterns.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Typecheck/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Typecheck/Types.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Typecheck/Unify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Typecheck/Unify.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types/Ability.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types/Ability.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types/Annotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types/Annotation.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types/Expr.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types/Function.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types/FunctionName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types/FunctionName.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types/Global.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types/Global.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types/Import.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types/Import.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types/Memory.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types/Memory.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types/Module.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types/Op.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types/Op.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types/Prim.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types/Test.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types/Type.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Types/TypeVar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Types/TypeVar.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Utils.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Wasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Wasm.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Wasm/Allocator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Wasm/Allocator.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Wasm/FromExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Wasm/FromExpr.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Wasm/FromExpr/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Wasm/FromExpr/Expr.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Wasm/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Wasm/Run.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Wasm/ToWasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Wasm/ToWasm.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Wasm/ToWasm/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Wasm/ToWasm/Expr.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Wasm/ToWasm/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Wasm/ToWasm/Module.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Wasm/ToWasm/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Wasm/ToWasm/Types.hs -------------------------------------------------------------------------------- /wasm-calc10/src/Calc/Wasm/WriteModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/src/Calc/Wasm/WriteModule.hs -------------------------------------------------------------------------------- /wasm-calc10/static/.gitignore: -------------------------------------------------------------------------------- 1 | # we don't want to commit this 2 | malloc-new.wasm 3 | -------------------------------------------------------------------------------- /wasm-calc10/static/malloc.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/static/malloc.calc -------------------------------------------------------------------------------- /wasm-calc10/static/malloc.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/static/malloc.wasm -------------------------------------------------------------------------------- /wasm-calc10/test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/test/Main.hs -------------------------------------------------------------------------------- /wasm-calc10/test/Test/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/test/Test/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc10/test/Test/Parser/ParserSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/test/Test/Parser/ParserSpec.hs -------------------------------------------------------------------------------- /wasm-calc10/test/Test/RunNode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/test/Test/RunNode.hs -------------------------------------------------------------------------------- /wasm-calc10/test/Test/Wasm/FromWasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/test/Test/Wasm/FromWasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc10/test/Test/Wasm/WasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/test/Test/Wasm/WasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc10/test/js/test.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/test/js/test.mjs -------------------------------------------------------------------------------- /wasm-calc10/test/static/bigfunction.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/test/static/bigfunction.calc -------------------------------------------------------------------------------- /wasm-calc10/test/static/drawing.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/test/static/drawing.calc -------------------------------------------------------------------------------- /wasm-calc10/test/static/noalloc.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/test/static/noalloc.calc -------------------------------------------------------------------------------- /wasm-calc10/wasm-calc10.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc10/wasm-calc10.cabal -------------------------------------------------------------------------------- /wasm-calc11/.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle 2 | .direnv 3 | -------------------------------------------------------------------------------- /wasm-calc11/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/CHANGELOG.md -------------------------------------------------------------------------------- /wasm-calc11/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/app/Main.hs -------------------------------------------------------------------------------- /wasm-calc11/demo/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/demo/.gitignore -------------------------------------------------------------------------------- /wasm-calc11/demo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/demo/README.md -------------------------------------------------------------------------------- /wasm-calc11/demo/draw.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/demo/draw.calc -------------------------------------------------------------------------------- /wasm-calc11/demo/draw.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/demo/draw.html -------------------------------------------------------------------------------- /wasm-calc11/src/Calc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Ability/Check.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Ability/Check.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Ability/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Ability/Error.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Build.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Build.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Build/Format.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Build/Format.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Build/Print.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Build/Print.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Build/Steps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Build/Steps.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Dependencies.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Dependencies.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/ExprUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/ExprUtils.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Linearity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Linearity.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Linearity/Decorate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Linearity/Decorate.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Linearity/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Linearity/Error.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Linearity/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Linearity/Types.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Linearity/Validate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Linearity/Validate.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Module.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Parser.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Parser/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Parser/Data.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Parser/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Parser/Expr.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Parser/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Parser/Function.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Parser/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Parser/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Parser/Import.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Parser/Import.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Parser/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Parser/Module.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Parser/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Parser/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Parser/Primitives.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Parser/Primitives.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Parser/Shared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Parser/Shared.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Parser/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Parser/Type.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Parser/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Parser/Types.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/PrettyPrint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/PrettyPrint.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Repl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Repl.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/SourceSpan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/SourceSpan.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Test.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/TypeUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/TypeUtils.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Typecheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Typecheck.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Typecheck/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Typecheck/Error.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Typecheck/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Typecheck/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Typecheck/Infer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Typecheck/Infer.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Typecheck/Patterns.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Typecheck/Patterns.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Typecheck/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Typecheck/Types.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Typecheck/Unify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Typecheck/Unify.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/Ability.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/Ability.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/Annotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/Annotation.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/Constructor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/Constructor.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/Data.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/DataName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/DataName.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/Expr.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/Function.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/FunctionName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/FunctionName.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/Global.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/Global.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/Import.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/Import.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/Memory.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/Memory.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/Module.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/Op.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/Op.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/Prim.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/Test.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/Type.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Types/TypeVar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Types/TypeVar.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Utils.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Wasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Wasm.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Wasm/Allocator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Wasm/Allocator.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Wasm/FromExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Wasm/FromExpr.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Wasm/FromExpr/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Wasm/FromExpr/Expr.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Wasm/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Wasm/Run.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Wasm/ToWasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Wasm/ToWasm.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Wasm/ToWasm/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Wasm/ToWasm/Expr.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Wasm/ToWasm/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Wasm/ToWasm/Module.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Wasm/ToWasm/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Wasm/ToWasm/Types.hs -------------------------------------------------------------------------------- /wasm-calc11/src/Calc/Wasm/WriteModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/src/Calc/Wasm/WriteModule.hs -------------------------------------------------------------------------------- /wasm-calc11/static/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/static/.gitignore -------------------------------------------------------------------------------- /wasm-calc11/static/malloc-new.wat: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /wasm-calc11/static/malloc-old.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/static/malloc-old.wasm -------------------------------------------------------------------------------- /wasm-calc11/static/malloc.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/static/malloc.calc -------------------------------------------------------------------------------- /wasm-calc11/static/malloc.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/static/malloc.wasm -------------------------------------------------------------------------------- /wasm-calc11/test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/test/Main.hs -------------------------------------------------------------------------------- /wasm-calc11/test/Test/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/test/Test/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc11/test/Test/Parser/ParserSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/test/Test/Parser/ParserSpec.hs -------------------------------------------------------------------------------- /wasm-calc11/test/Test/RunNode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/test/Test/RunNode.hs -------------------------------------------------------------------------------- /wasm-calc11/test/Test/Wasm/FromWasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/test/Test/Wasm/FromWasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc11/test/Test/Wasm/WasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/test/Test/Wasm/WasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc11/test/js/test.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/test/js/test.mjs -------------------------------------------------------------------------------- /wasm-calc11/test/static/bigfunction.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/test/static/bigfunction.calc -------------------------------------------------------------------------------- /wasm-calc11/test/static/datatypes.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/test/static/datatypes.calc -------------------------------------------------------------------------------- /wasm-calc11/test/static/drawing.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/test/static/drawing.calc -------------------------------------------------------------------------------- /wasm-calc11/test/static/noalloc.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/test/static/noalloc.calc -------------------------------------------------------------------------------- /wasm-calc11/test/static/typecheck.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/test/static/typecheck.calc -------------------------------------------------------------------------------- /wasm-calc11/wasm-calc11.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc11/wasm-calc11.cabal -------------------------------------------------------------------------------- /wasm-calc12/.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle 2 | .direnv 3 | -------------------------------------------------------------------------------- /wasm-calc12/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/CHANGELOG.md -------------------------------------------------------------------------------- /wasm-calc12/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/app/Main.hs -------------------------------------------------------------------------------- /wasm-calc12/demo/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/demo/.gitignore -------------------------------------------------------------------------------- /wasm-calc12/demo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/demo/README.md -------------------------------------------------------------------------------- /wasm-calc12/demo/draw.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/demo/draw.calc -------------------------------------------------------------------------------- /wasm-calc12/demo/draw.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/demo/draw.html -------------------------------------------------------------------------------- /wasm-calc12/src/Calc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Ability/Check.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Ability/Check.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Ability/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Ability/Error.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Build.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Build.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Build/Format.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Build/Format.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Build/Print.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Build/Print.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Build/Steps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Build/Steps.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Dependencies.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Dependencies.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/ExprUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/ExprUtils.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Linearity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Linearity.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Linearity/Decorate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Linearity/Decorate.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Linearity/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Linearity/Error.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Linearity/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Linearity/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Linearity/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Linearity/Types.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Linearity/Validate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Linearity/Validate.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Module.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Parser.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Parser/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Parser/Data.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Parser/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Parser/Expr.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Parser/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Parser/Function.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Parser/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Parser/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Parser/Import.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Parser/Import.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Parser/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Parser/Module.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Parser/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Parser/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Parser/Primitives.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Parser/Primitives.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Parser/Shared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Parser/Shared.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Parser/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Parser/Type.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Parser/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Parser/Types.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/PrettyPrint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/PrettyPrint.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Repl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Repl.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/SourceSpan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/SourceSpan.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Test.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/TypeUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/TypeUtils.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Typecheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Typecheck.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Typecheck/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Typecheck/Error.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Typecheck/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Typecheck/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Typecheck/Infer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Typecheck/Infer.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Typecheck/Patterns.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Typecheck/Patterns.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Typecheck/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Typecheck/Types.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Typecheck/Unify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Typecheck/Unify.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/Ability.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/Ability.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/Annotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/Annotation.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/Constructor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/Constructor.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/Data.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/DataName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/DataName.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/Expr.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/Function.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/FunctionName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/FunctionName.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/Global.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/Global.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/Import.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/Import.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/Memory.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/Memory.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/Module.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/Op.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/Op.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/Prim.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/Test.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/Type.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Types/TypeVar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Types/TypeVar.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Utils.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Wasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Wasm.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Wasm/Allocator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Wasm/Allocator.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Wasm/FromExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Wasm/FromExpr.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Wasm/FromExpr/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Wasm/FromExpr/Expr.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Wasm/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Wasm/Run.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Wasm/ToWasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Wasm/ToWasm.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Wasm/ToWasm/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Wasm/ToWasm/Expr.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Wasm/ToWasm/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Wasm/ToWasm/Module.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Wasm/ToWasm/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Wasm/ToWasm/Types.hs -------------------------------------------------------------------------------- /wasm-calc12/src/Calc/Wasm/WriteModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/src/Calc/Wasm/WriteModule.hs -------------------------------------------------------------------------------- /wasm-calc12/static/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/static/.gitignore -------------------------------------------------------------------------------- /wasm-calc12/static/malloc-new.wat: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /wasm-calc12/static/malloc-old.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/static/malloc-old.wasm -------------------------------------------------------------------------------- /wasm-calc12/static/malloc.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/static/malloc.calc -------------------------------------------------------------------------------- /wasm-calc12/static/malloc.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/static/malloc.wasm -------------------------------------------------------------------------------- /wasm-calc12/test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/Main.hs -------------------------------------------------------------------------------- /wasm-calc12/test/Test/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/Test/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc12/test/Test/Parser/ParserSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/Test/Parser/ParserSpec.hs -------------------------------------------------------------------------------- /wasm-calc12/test/Test/RunNode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/Test/RunNode.hs -------------------------------------------------------------------------------- /wasm-calc12/test/Test/Wasm/FromWasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/Test/Wasm/FromWasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc12/test/Test/Wasm/WasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/Test/Wasm/WasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc12/test/js/test.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/js/test.mjs -------------------------------------------------------------------------------- /wasm-calc12/test/static/bigfunction.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/static/bigfunction.calc -------------------------------------------------------------------------------- /wasm-calc12/test/static/datatypes.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/static/datatypes.calc -------------------------------------------------------------------------------- /wasm-calc12/test/static/drawing.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/static/drawing.calc -------------------------------------------------------------------------------- /wasm-calc12/test/static/lambda.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/static/lambda.calc -------------------------------------------------------------------------------- /wasm-calc12/test/static/lambda2.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/static/lambda2.calc -------------------------------------------------------------------------------- /wasm-calc12/test/static/lambda3.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/static/lambda3.calc -------------------------------------------------------------------------------- /wasm-calc12/test/static/lambda4.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/static/lambda4.calc -------------------------------------------------------------------------------- /wasm-calc12/test/static/map.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/static/map.calc -------------------------------------------------------------------------------- /wasm-calc12/test/static/nice.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/static/nice.calc -------------------------------------------------------------------------------- /wasm-calc12/test/static/noalloc.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/test/static/noalloc.calc -------------------------------------------------------------------------------- /wasm-calc12/wasm-calc12.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc12/wasm-calc12.cabal -------------------------------------------------------------------------------- /wasm-calc13/.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle 2 | .direnv 3 | -------------------------------------------------------------------------------- /wasm-calc13/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/CHANGELOG.md -------------------------------------------------------------------------------- /wasm-calc13/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/app/Main.hs -------------------------------------------------------------------------------- /wasm-calc13/demo/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/demo/.gitignore -------------------------------------------------------------------------------- /wasm-calc13/demo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/demo/README.md -------------------------------------------------------------------------------- /wasm-calc13/demo/draw.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/demo/draw.calc -------------------------------------------------------------------------------- /wasm-calc13/demo/draw.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/demo/draw.html -------------------------------------------------------------------------------- /wasm-calc13/src/Calc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Ability/Check.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Ability/Check.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Ability/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Ability/Error.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Build.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Build.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Build/Format.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Build/Format.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Build/Print.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Build/Print.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Build/Steps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Build/Steps.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Dependencies.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Dependencies.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/ExprUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/ExprUtils.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Linearity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Linearity.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Linearity/Decorate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Linearity/Decorate.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Linearity/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Linearity/Error.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Linearity/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Linearity/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Linearity/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Linearity/Types.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Linearity/Validate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Linearity/Validate.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Module.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Parser.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Parser/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Parser/Data.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Parser/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Parser/Expr.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Parser/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Parser/Function.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Parser/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Parser/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Parser/Import.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Parser/Import.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Parser/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Parser/Module.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Parser/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Parser/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Parser/Primitives.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Parser/Primitives.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Parser/Shared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Parser/Shared.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Parser/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Parser/Type.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Parser/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Parser/Types.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/PrettyPrint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/PrettyPrint.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Repl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Repl.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/SourceSpan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/SourceSpan.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Test.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/TypeUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/TypeUtils.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Typecheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Typecheck.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Typecheck/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Typecheck/Error.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Typecheck/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Typecheck/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Typecheck/Infer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Typecheck/Infer.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Typecheck/Patterns.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Typecheck/Patterns.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Typecheck/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Typecheck/Types.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Typecheck/Unify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Typecheck/Unify.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/Ability.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/Ability.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/Annotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/Annotation.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/Constructor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/Constructor.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/Data.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/DataName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/DataName.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/Expr.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/Function.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/FunctionName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/FunctionName.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/Global.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/Global.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/Import.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/Import.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/Memory.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/Memory.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/Module.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/Op.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/Op.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/Prim.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/Test.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/Type.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Types/TypeVar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Types/TypeVar.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Utils.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Wasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Wasm.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Wasm/Allocator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Wasm/Allocator.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Wasm/FromExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Wasm/FromExpr.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Wasm/FromExpr/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Wasm/FromExpr/Expr.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Wasm/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Wasm/Run.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Wasm/ToWasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Wasm/ToWasm.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Wasm/ToWasm/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Wasm/ToWasm/Expr.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Wasm/ToWasm/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Wasm/ToWasm/Module.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Wasm/ToWasm/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Wasm/ToWasm/Types.hs -------------------------------------------------------------------------------- /wasm-calc13/src/Calc/Wasm/WriteModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/src/Calc/Wasm/WriteModule.hs -------------------------------------------------------------------------------- /wasm-calc13/static/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/static/.gitignore -------------------------------------------------------------------------------- /wasm-calc13/static/malloc-new.wat: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /wasm-calc13/static/malloc-old.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/static/malloc-old.wasm -------------------------------------------------------------------------------- /wasm-calc13/static/malloc.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/static/malloc.calc -------------------------------------------------------------------------------- /wasm-calc13/static/malloc.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/static/malloc.wasm -------------------------------------------------------------------------------- /wasm-calc13/test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/Main.hs -------------------------------------------------------------------------------- /wasm-calc13/test/Test/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/Test/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc13/test/Test/Parser/ParserSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/Test/Parser/ParserSpec.hs -------------------------------------------------------------------------------- /wasm-calc13/test/Test/RunNode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/Test/RunNode.hs -------------------------------------------------------------------------------- /wasm-calc13/test/Test/Wasm/FromWasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/Test/Wasm/FromWasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc13/test/Test/Wasm/WasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/Test/Wasm/WasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc13/test/js/test.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/js/test.mjs -------------------------------------------------------------------------------- /wasm-calc13/test/static/bigfunction.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/static/bigfunction.calc -------------------------------------------------------------------------------- /wasm-calc13/test/static/datatypes.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/static/datatypes.calc -------------------------------------------------------------------------------- /wasm-calc13/test/static/drawing.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/static/drawing.calc -------------------------------------------------------------------------------- /wasm-calc13/test/static/lambda.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/static/lambda.calc -------------------------------------------------------------------------------- /wasm-calc13/test/static/lambda2.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/static/lambda2.calc -------------------------------------------------------------------------------- /wasm-calc13/test/static/lambda3.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/static/lambda3.calc -------------------------------------------------------------------------------- /wasm-calc13/test/static/lambda4.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/static/lambda4.calc -------------------------------------------------------------------------------- /wasm-calc13/test/static/map.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/static/map.calc -------------------------------------------------------------------------------- /wasm-calc13/test/static/nice.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/static/nice.calc -------------------------------------------------------------------------------- /wasm-calc13/test/static/noalloc.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/test/static/noalloc.calc -------------------------------------------------------------------------------- /wasm-calc13/wasm-calc13.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc13/wasm-calc13.cabal -------------------------------------------------------------------------------- /wasm-calc2/.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle 2 | .direnv 3 | -------------------------------------------------------------------------------- /wasm-calc2/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/CHANGELOG.md -------------------------------------------------------------------------------- /wasm-calc2/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/app/Main.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/ExprUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/ExprUtils.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Interpreter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Interpreter.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Parser.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Parser/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Parser/Expr.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Parser/Primitives.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Parser/Primitives.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Parser/Shared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Parser/Shared.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Parser/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Parser/Type.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Parser/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Parser/Types.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Repl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Repl.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/SourceSpan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/SourceSpan.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/TypeUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/TypeUtils.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Typecheck/Elaborate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Typecheck/Elaborate.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Typecheck/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Typecheck/Error.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Types.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Types/Annotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Types/Annotation.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Types/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Types/Expr.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Types/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Types/Prim.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Types/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Types/Type.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Wasm/FromExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Wasm/FromExpr.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Wasm/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Wasm/Run.hs -------------------------------------------------------------------------------- /wasm-calc2/src/Calc/Wasm/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/src/Calc/Wasm/Types.hs -------------------------------------------------------------------------------- /wasm-calc2/test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/test/Main.hs -------------------------------------------------------------------------------- /wasm-calc2/test/Test/Parser/ParserSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/test/Test/Parser/ParserSpec.hs -------------------------------------------------------------------------------- /wasm-calc2/test/Test/Wasm/WasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/test/Test/Wasm/WasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc2/wasm-calc2.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc2/wasm-calc2.cabal -------------------------------------------------------------------------------- /wasm-calc3/.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle 2 | .direnv 3 | -------------------------------------------------------------------------------- /wasm-calc3/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/CHANGELOG.md -------------------------------------------------------------------------------- /wasm-calc3/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/app/Main.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/ExprUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/ExprUtils.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Interpreter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Interpreter.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Parser.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Parser/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Parser/Expr.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Parser/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Parser/Function.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Parser/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Parser/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Parser/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Parser/Module.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Parser/Primitives.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Parser/Primitives.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Parser/Shared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Parser/Shared.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Parser/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Parser/Type.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Parser/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Parser/Types.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Repl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Repl.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/SourceSpan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/SourceSpan.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/TypeUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/TypeUtils.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Typecheck/Elaborate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Typecheck/Elaborate.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Typecheck/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Typecheck/Error.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Typecheck/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Typecheck/Types.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Types.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Types/Annotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Types/Annotation.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Types/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Types/Expr.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Types/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Types/Function.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Types/FunctionName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Types/FunctionName.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Types/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Types/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Types/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Types/Module.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Types/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Types/Prim.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Types/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Types/Type.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Wasm/FromExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Wasm/FromExpr.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Wasm/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Wasm/Run.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Wasm/ToWasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Wasm/ToWasm.hs -------------------------------------------------------------------------------- /wasm-calc3/src/Calc/Wasm/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/src/Calc/Wasm/Types.hs -------------------------------------------------------------------------------- /wasm-calc3/static/runtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/static/runtime.c -------------------------------------------------------------------------------- /wasm-calc3/test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/test/Main.hs -------------------------------------------------------------------------------- /wasm-calc3/test/Test/Parser/ParserSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/test/Test/Parser/ParserSpec.hs -------------------------------------------------------------------------------- /wasm-calc3/test/Test/Wasm/WasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/test/Test/Wasm/WasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc3/wasm-calc3.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc3/wasm-calc3.cabal -------------------------------------------------------------------------------- /wasm-calc4/.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle 2 | .direnv 3 | -------------------------------------------------------------------------------- /wasm-calc4/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/CHANGELOG.md -------------------------------------------------------------------------------- /wasm-calc4/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/app/Main.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/ExprUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/ExprUtils.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Interpreter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Interpreter.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Parser.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Parser/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Parser/Expr.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Parser/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Parser/Function.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Parser/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Parser/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Parser/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Parser/Module.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Parser/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Parser/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Parser/Primitives.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Parser/Primitives.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Parser/Shared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Parser/Shared.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Parser/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Parser/Type.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Parser/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Parser/Types.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Repl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Repl.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/SourceSpan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/SourceSpan.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/TypeUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/TypeUtils.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Typecheck/Elaborate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Typecheck/Elaborate.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Typecheck/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Typecheck/Error.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Typecheck/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Typecheck/Types.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Types.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Types/Annotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Types/Annotation.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Types/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Types/Expr.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Types/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Types/Function.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Types/FunctionName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Types/FunctionName.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Types/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Types/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Types/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Types/Module.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Types/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Types/Prim.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Types/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Types/Type.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Utils.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Wasm/Allocator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Wasm/Allocator.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Wasm/FromExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Wasm/FromExpr.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Wasm/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Wasm/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Wasm/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Wasm/Run.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Wasm/ToWasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Wasm/ToWasm.hs -------------------------------------------------------------------------------- /wasm-calc4/src/Calc/Wasm/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/src/Calc/Wasm/Types.hs -------------------------------------------------------------------------------- /wasm-calc4/static/bump-allocator.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/static/bump-allocator.wat -------------------------------------------------------------------------------- /wasm-calc4/test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/test/Main.hs -------------------------------------------------------------------------------- /wasm-calc4/test/Test/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/test/Test/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc4/test/Test/Parser/ParserSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/test/Test/Parser/ParserSpec.hs -------------------------------------------------------------------------------- /wasm-calc4/test/Test/Wasm/WasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/test/Test/Wasm/WasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc4/wasm-calc4.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc4/wasm-calc4.cabal -------------------------------------------------------------------------------- /wasm-calc5/.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle 2 | .direnv 3 | -------------------------------------------------------------------------------- /wasm-calc5/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/CHANGELOG.md -------------------------------------------------------------------------------- /wasm-calc5/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/app/Main.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/ExprUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/ExprUtils.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Interpreter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Interpreter.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Parser.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Parser/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Parser/Expr.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Parser/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Parser/Function.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Parser/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Parser/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Parser/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Parser/Module.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Parser/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Parser/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Parser/Primitives.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Parser/Primitives.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Parser/Shared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Parser/Shared.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Parser/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Parser/Type.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Parser/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Parser/Types.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Repl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Repl.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/SourceSpan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/SourceSpan.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/TypeUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/TypeUtils.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Typecheck/Elaborate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Typecheck/Elaborate.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Typecheck/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Typecheck/Error.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Typecheck/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Typecheck/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Typecheck/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Typecheck/Types.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Types.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Types/Annotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Types/Annotation.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Types/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Types/Expr.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Types/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Types/Function.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Types/FunctionName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Types/FunctionName.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Types/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Types/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Types/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Types/Module.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Types/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Types/Prim.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Types/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Types/Type.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Types/TypeVar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Types/TypeVar.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Utils.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Wasm/Allocator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Wasm/Allocator.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Wasm/FromExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Wasm/FromExpr.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Wasm/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Wasm/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Wasm/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Wasm/Run.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Wasm/ToWasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Wasm/ToWasm.hs -------------------------------------------------------------------------------- /wasm-calc5/src/Calc/Wasm/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/src/Calc/Wasm/Types.hs -------------------------------------------------------------------------------- /wasm-calc5/static/bump-allocator.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/static/bump-allocator.wat -------------------------------------------------------------------------------- /wasm-calc5/test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/test/Main.hs -------------------------------------------------------------------------------- /wasm-calc5/test/Test/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/test/Test/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc5/test/Test/Parser/ParserSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/test/Test/Parser/ParserSpec.hs -------------------------------------------------------------------------------- /wasm-calc5/test/Test/Wasm/WasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/test/Test/Wasm/WasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc5/wasm-calc5.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc5/wasm-calc5.cabal -------------------------------------------------------------------------------- /wasm-calc6/.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle 2 | .direnv 3 | -------------------------------------------------------------------------------- /wasm-calc6/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/CHANGELOG.md -------------------------------------------------------------------------------- /wasm-calc6/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/app/Main.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/ExprUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/ExprUtils.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Interpreter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Interpreter.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Linearity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Linearity.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Linearity/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Linearity/Error.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Linearity/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Linearity/Types.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Linearity/Validate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Linearity/Validate.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Parser.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Parser/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Parser/Expr.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Parser/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Parser/Function.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Parser/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Parser/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Parser/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Parser/Module.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Parser/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Parser/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Parser/Primitives.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Parser/Primitives.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Parser/Shared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Parser/Shared.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Parser/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Parser/Type.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Parser/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Parser/Types.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Repl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Repl.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/SourceSpan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/SourceSpan.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/TypeUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/TypeUtils.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Typecheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Typecheck.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Typecheck/Elaborate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Typecheck/Elaborate.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Typecheck/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Typecheck/Error.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Typecheck/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Typecheck/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Typecheck/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Typecheck/Types.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Types.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Types/Annotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Types/Annotation.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Types/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Types/Expr.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Types/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Types/Function.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Types/FunctionName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Types/FunctionName.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Types/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Types/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Types/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Types/Module.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Types/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Types/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Types/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Types/Prim.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Types/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Types/Type.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Types/TypeVar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Types/TypeVar.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Utils.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Wasm/Allocator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Wasm/Allocator.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Wasm/FromExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Wasm/FromExpr.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Wasm/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Wasm/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Wasm/Patterns.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Wasm/Patterns.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Wasm/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Wasm/Run.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Wasm/ToWasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Wasm/ToWasm.hs -------------------------------------------------------------------------------- /wasm-calc6/src/Calc/Wasm/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/src/Calc/Wasm/Types.hs -------------------------------------------------------------------------------- /wasm-calc6/static/bump-allocator.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/static/bump-allocator.wat -------------------------------------------------------------------------------- /wasm-calc6/test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/test/Main.hs -------------------------------------------------------------------------------- /wasm-calc6/test/Test/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/test/Test/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc6/test/Test/Parser/ParserSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/test/Test/Parser/ParserSpec.hs -------------------------------------------------------------------------------- /wasm-calc6/test/Test/Wasm/WasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/test/Test/Wasm/WasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc6/wasm-calc6.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc6/wasm-calc6.cabal -------------------------------------------------------------------------------- /wasm-calc7/.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle 2 | .direnv 3 | -------------------------------------------------------------------------------- /wasm-calc7/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/CHANGELOG.md -------------------------------------------------------------------------------- /wasm-calc7/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/app/Main.hs -------------------------------------------------------------------------------- /wasm-calc7/demo/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/demo/.gitignore -------------------------------------------------------------------------------- /wasm-calc7/demo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/demo/README.md -------------------------------------------------------------------------------- /wasm-calc7/demo/draw.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/demo/draw.calc -------------------------------------------------------------------------------- /wasm-calc7/demo/draw.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/demo/draw.html -------------------------------------------------------------------------------- /wasm-calc7/src/Calc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Build.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Build.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/ExprUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/ExprUtils.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Linearity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Linearity.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Linearity/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Linearity/Error.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Linearity/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Linearity/Types.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Linearity/Validate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Linearity/Validate.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Parser.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Parser/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Parser/Expr.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Parser/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Parser/Function.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Parser/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Parser/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Parser/Import.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Parser/Import.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Parser/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Parser/Module.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Parser/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Parser/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Parser/Primitives.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Parser/Primitives.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Parser/Shared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Parser/Shared.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Parser/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Parser/Type.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Parser/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Parser/Types.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/PrettyPrint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/PrettyPrint.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Repl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Repl.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/SourceSpan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/SourceSpan.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/TypeUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/TypeUtils.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Typecheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Typecheck.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Typecheck/Elaborate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Typecheck/Elaborate.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Typecheck/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Typecheck/Error.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Typecheck/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Typecheck/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Typecheck/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Typecheck/Types.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Types.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Types/Annotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Types/Annotation.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Types/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Types/Expr.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Types/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Types/Function.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Types/FunctionName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Types/FunctionName.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Types/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Types/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Types/Import.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Types/Import.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Types/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Types/Module.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Types/Op.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Types/Op.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Types/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Types/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Types/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Types/Prim.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Types/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Types/Type.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Types/TypeVar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Types/TypeVar.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Utils.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Wasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Wasm.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Wasm/Allocator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Wasm/Allocator.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Wasm/FromExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Wasm/FromExpr.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Wasm/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Wasm/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Wasm/Patterns.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Wasm/Patterns.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Wasm/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Wasm/Run.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Wasm/ToWasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Wasm/ToWasm.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Wasm/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Wasm/Types.hs -------------------------------------------------------------------------------- /wasm-calc7/src/Calc/Wasm/WriteModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/src/Calc/Wasm/WriteModule.hs -------------------------------------------------------------------------------- /wasm-calc7/static/bump-allocator.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/static/bump-allocator.wat -------------------------------------------------------------------------------- /wasm-calc7/test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/test/Main.hs -------------------------------------------------------------------------------- /wasm-calc7/test/Test/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/test/Test/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc7/test/Test/Parser/ParserSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/test/Test/Parser/ParserSpec.hs -------------------------------------------------------------------------------- /wasm-calc7/test/Test/RunNode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/test/Test/RunNode.hs -------------------------------------------------------------------------------- /wasm-calc7/test/Test/Wasm/WasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/test/Test/Wasm/WasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc7/test/js/test.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/test/js/test.mjs -------------------------------------------------------------------------------- /wasm-calc7/test/static/bigfunction.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/test/static/bigfunction.calc -------------------------------------------------------------------------------- /wasm-calc7/test/static/drawing.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/test/static/drawing.calc -------------------------------------------------------------------------------- /wasm-calc7/wasm-calc7.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc7/wasm-calc7.cabal -------------------------------------------------------------------------------- /wasm-calc8/.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle 2 | .direnv 3 | -------------------------------------------------------------------------------- /wasm-calc8/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/CHANGELOG.md -------------------------------------------------------------------------------- /wasm-calc8/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/app/Main.hs -------------------------------------------------------------------------------- /wasm-calc8/demo/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/demo/.gitignore -------------------------------------------------------------------------------- /wasm-calc8/demo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/demo/README.md -------------------------------------------------------------------------------- /wasm-calc8/demo/draw.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/demo/draw.calc -------------------------------------------------------------------------------- /wasm-calc8/demo/draw.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/demo/draw.html -------------------------------------------------------------------------------- /wasm-calc8/src/Calc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Build.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Build.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/ExprUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/ExprUtils.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Linearity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Linearity.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Linearity/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Linearity/Error.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Linearity/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Linearity/Types.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Linearity/Validate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Linearity/Validate.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Parser.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Parser/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Parser/Expr.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Parser/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Parser/Function.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Parser/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Parser/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Parser/Import.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Parser/Import.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Parser/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Parser/Module.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Parser/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Parser/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Parser/Primitives.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Parser/Primitives.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Parser/Shared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Parser/Shared.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Parser/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Parser/Type.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Parser/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Parser/Types.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/PrettyPrint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/PrettyPrint.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Repl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Repl.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/SourceSpan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/SourceSpan.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/TypeUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/TypeUtils.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Typecheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Typecheck.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Typecheck/Elaborate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Typecheck/Elaborate.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Typecheck/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Typecheck/Error.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Typecheck/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Typecheck/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Typecheck/Infer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Typecheck/Infer.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Typecheck/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Typecheck/Types.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Typecheck/Unify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Typecheck/Unify.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Types.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Types/Annotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Types/Annotation.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Types/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Types/Expr.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Types/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Types/Function.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Types/FunctionName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Types/FunctionName.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Types/Global.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Types/Global.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Types/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Types/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Types/Import.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Types/Import.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Types/Memory.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Types/Memory.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Types/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Types/Module.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Types/Op.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Types/Op.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Types/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Types/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Types/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Types/Prim.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Types/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Types/Type.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Types/TypeVar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Types/TypeVar.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Utils.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Wasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Wasm.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Wasm/Allocator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Wasm/Allocator.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Wasm/FromExpr/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Wasm/FromExpr/Expr.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Wasm/FromExpr/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Wasm/FromExpr/Types.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Wasm/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Wasm/Run.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Wasm/ToWasm/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Wasm/ToWasm/Expr.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Wasm/ToWasm/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Wasm/ToWasm/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Wasm/ToWasm/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Wasm/ToWasm/Module.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Wasm/ToWasm/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Wasm/ToWasm/Types.hs -------------------------------------------------------------------------------- /wasm-calc8/src/Calc/Wasm/WriteModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/src/Calc/Wasm/WriteModule.hs -------------------------------------------------------------------------------- /wasm-calc8/static/bump-allocator.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/static/bump-allocator.wat -------------------------------------------------------------------------------- /wasm-calc8/static/malloc.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/static/malloc.wat -------------------------------------------------------------------------------- /wasm-calc8/test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/test/Main.hs -------------------------------------------------------------------------------- /wasm-calc8/test/Test/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/test/Test/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc8/test/Test/Parser/ParserSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/test/Test/Parser/ParserSpec.hs -------------------------------------------------------------------------------- /wasm-calc8/test/Test/RunNode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/test/Test/RunNode.hs -------------------------------------------------------------------------------- /wasm-calc8/test/Test/Wasm/WasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/test/Test/Wasm/WasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc8/test/js/test.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/test/js/test.mjs -------------------------------------------------------------------------------- /wasm-calc8/test/static/bigfunction.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/test/static/bigfunction.calc -------------------------------------------------------------------------------- /wasm-calc8/test/static/drawing.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/test/static/drawing.calc -------------------------------------------------------------------------------- /wasm-calc8/wasm-calc8.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc8/wasm-calc8.cabal -------------------------------------------------------------------------------- /wasm-calc9/.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle 2 | .direnv 3 | -------------------------------------------------------------------------------- /wasm-calc9/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/CHANGELOG.md -------------------------------------------------------------------------------- /wasm-calc9/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/app/Main.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Ability/Check.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Ability/Check.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Ability/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Ability/Error.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Build.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Build.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Dependencies.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Dependencies.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/ExprUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/ExprUtils.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Linearity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Linearity.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Linearity/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Linearity/Error.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Linearity/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Linearity/Types.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Linearity/Validate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Linearity/Validate.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Parser.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Parser/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Parser/Expr.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Parser/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Parser/Function.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Parser/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Parser/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Parser/Import.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Parser/Import.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Parser/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Parser/Module.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Parser/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Parser/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Parser/Primitives.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Parser/Primitives.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Parser/Shared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Parser/Shared.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Parser/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Parser/Type.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Parser/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Parser/Types.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/PrettyPrint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/PrettyPrint.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Repl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Repl.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/SourceSpan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/SourceSpan.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Test.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/TypeUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/TypeUtils.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Typecheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Typecheck.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Typecheck/Elaborate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Typecheck/Elaborate.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Typecheck/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Typecheck/Error.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Typecheck/Infer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Typecheck/Infer.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Typecheck/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Typecheck/Types.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Typecheck/Unify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Typecheck/Unify.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Types.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Types/Ability.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Types/Ability.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Types/Annotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Types/Annotation.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Types/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Types/Expr.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Types/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Types/Function.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Types/Global.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Types/Global.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Types/Identifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Types/Identifier.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Types/Import.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Types/Import.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Types/Memory.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Types/Memory.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Types/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Types/Module.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Types/Op.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Types/Op.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Types/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Types/Pattern.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Types/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Types/Prim.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Types/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Types/Test.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Types/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Types/Type.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Types/TypeVar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Types/TypeVar.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Utils.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Wasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Wasm.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Wasm/Allocator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Wasm/Allocator.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Wasm/FromExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Wasm/FromExpr.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Wasm/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Wasm/Run.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Wasm/ToWasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Wasm/ToWasm.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Wasm/ToWasm/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Wasm/ToWasm/Expr.hs -------------------------------------------------------------------------------- /wasm-calc9/src/Calc/Wasm/WriteModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/src/Calc/Wasm/WriteModule.hs -------------------------------------------------------------------------------- /wasm-calc9/static/.gitignore: -------------------------------------------------------------------------------- 1 | # we don't want to commit this 2 | malloc-new.wasm 3 | -------------------------------------------------------------------------------- /wasm-calc9/static/malloc.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/static/malloc.calc -------------------------------------------------------------------------------- /wasm-calc9/static/malloc.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/static/malloc.wasm -------------------------------------------------------------------------------- /wasm-calc9/test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/test/Main.hs -------------------------------------------------------------------------------- /wasm-calc9/test/Test/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/test/Test/Helpers.hs -------------------------------------------------------------------------------- /wasm-calc9/test/Test/RunNode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/test/Test/RunNode.hs -------------------------------------------------------------------------------- /wasm-calc9/test/Test/Wasm/WasmSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/test/Test/Wasm/WasmSpec.hs -------------------------------------------------------------------------------- /wasm-calc9/test/js/test.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/test/js/test.mjs -------------------------------------------------------------------------------- /wasm-calc9/test/static/bigfunction.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/test/static/bigfunction.calc -------------------------------------------------------------------------------- /wasm-calc9/test/static/drawing.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/test/static/drawing.calc -------------------------------------------------------------------------------- /wasm-calc9/test/static/noalloc.calc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/test/static/noalloc.calc -------------------------------------------------------------------------------- /wasm-calc9/wasm-calc9.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danieljharvey/wasm-calc/HEAD/wasm-calc9/wasm-calc9.cabal --------------------------------------------------------------------------------