├── .github └── workflows │ └── ci.yml ├── .gitignore ├── CHANGELOG.md ├── README.md ├── eec-core └── src │ └── main │ └── scala │ └── mesa │ └── eec │ ├── Macros.scala │ ├── Parsers.scala │ ├── Trees.scala │ ├── TypeTraverser.scala │ ├── eec.worksheet.sc │ └── package.scala ├── mesa ├── DataTypes.hs ├── Example.hs ├── Isomorphisms.hs ├── Prelude.hs ├── Try.hs ├── build.sbt └── src │ ├── main │ ├── antlr4 │ │ └── Mesa.g4 │ └── scala │ │ └── mesa │ │ ├── Main.scala │ │ ├── compiler │ │ ├── ast │ │ │ ├── Trees.scala │ │ │ └── constants.scala │ │ ├── core │ │ │ ├── Constants.scala │ │ │ ├── ContextErrors.scala │ │ │ ├── Contexts.scala │ │ │ ├── Meta.scala │ │ │ ├── Modifiers.scala │ │ │ └── Names.scala │ │ ├── error │ │ │ └── CompilerErrors.scala │ │ ├── parsing │ │ │ ├── EntryPoint.scala │ │ │ └── Parsers.scala │ │ └── types │ │ │ ├── NamerErrors.scala │ │ │ ├── Namers.scala │ │ │ ├── Prelude.scala │ │ │ ├── TyperErrors.scala │ │ │ ├── Typers.scala │ │ │ └── Types.scala │ │ └── repl │ │ ├── Commands.scala │ │ └── Repl.scala │ └── test │ └── scala │ └── mesa │ └── compiler │ └── types │ ├── ExprBootstraps.scala │ ├── ExprTest.scala │ ├── StatBootstraps.scala │ ├── StatTest.scala │ └── bootstraps.scala ├── project ├── Common.scala ├── build.properties ├── metals.sbt ├── plugins.sbt └── project │ └── metals.sbt └── util └── src └── main └── scala └── mesa └── util ├── Define.scala ├── Read.scala ├── Show.scala ├── StackMachine.scala └── package.scala /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/README.md -------------------------------------------------------------------------------- /eec-core/src/main/scala/mesa/eec/Macros.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/eec-core/src/main/scala/mesa/eec/Macros.scala -------------------------------------------------------------------------------- /eec-core/src/main/scala/mesa/eec/Parsers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/eec-core/src/main/scala/mesa/eec/Parsers.scala -------------------------------------------------------------------------------- /eec-core/src/main/scala/mesa/eec/Trees.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/eec-core/src/main/scala/mesa/eec/Trees.scala -------------------------------------------------------------------------------- /eec-core/src/main/scala/mesa/eec/TypeTraverser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/eec-core/src/main/scala/mesa/eec/TypeTraverser.scala -------------------------------------------------------------------------------- /eec-core/src/main/scala/mesa/eec/eec.worksheet.sc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/eec-core/src/main/scala/mesa/eec/eec.worksheet.sc -------------------------------------------------------------------------------- /eec-core/src/main/scala/mesa/eec/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/eec-core/src/main/scala/mesa/eec/package.scala -------------------------------------------------------------------------------- /mesa/DataTypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/DataTypes.hs -------------------------------------------------------------------------------- /mesa/Example.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/Example.hs -------------------------------------------------------------------------------- /mesa/Isomorphisms.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/Isomorphisms.hs -------------------------------------------------------------------------------- /mesa/Prelude.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/Prelude.hs -------------------------------------------------------------------------------- /mesa/Try.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/Try.hs -------------------------------------------------------------------------------- /mesa/build.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/build.sbt -------------------------------------------------------------------------------- /mesa/src/main/antlr4/Mesa.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/antlr4/Mesa.g4 -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/Main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/Main.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/ast/Trees.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/ast/Trees.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/ast/constants.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/ast/constants.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/core/Constants.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/core/Constants.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/core/ContextErrors.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/core/ContextErrors.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/core/Contexts.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/core/Contexts.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/core/Meta.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/core/Meta.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/core/Modifiers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/core/Modifiers.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/core/Names.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/core/Names.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/error/CompilerErrors.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/error/CompilerErrors.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/parsing/EntryPoint.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/parsing/EntryPoint.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/parsing/Parsers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/parsing/Parsers.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/types/NamerErrors.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/types/NamerErrors.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/types/Namers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/types/Namers.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/types/Prelude.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/types/Prelude.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/types/TyperErrors.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/types/TyperErrors.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/types/Typers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/types/Typers.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/compiler/types/Types.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/compiler/types/Types.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/repl/Commands.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/repl/Commands.scala -------------------------------------------------------------------------------- /mesa/src/main/scala/mesa/repl/Repl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/main/scala/mesa/repl/Repl.scala -------------------------------------------------------------------------------- /mesa/src/test/scala/mesa/compiler/types/ExprBootstraps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/test/scala/mesa/compiler/types/ExprBootstraps.scala -------------------------------------------------------------------------------- /mesa/src/test/scala/mesa/compiler/types/ExprTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/test/scala/mesa/compiler/types/ExprTest.scala -------------------------------------------------------------------------------- /mesa/src/test/scala/mesa/compiler/types/StatBootstraps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/test/scala/mesa/compiler/types/StatBootstraps.scala -------------------------------------------------------------------------------- /mesa/src/test/scala/mesa/compiler/types/StatTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/test/scala/mesa/compiler/types/StatTest.scala -------------------------------------------------------------------------------- /mesa/src/test/scala/mesa/compiler/types/bootstraps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/mesa/src/test/scala/mesa/compiler/types/bootstraps.scala -------------------------------------------------------------------------------- /project/Common.scala: -------------------------------------------------------------------------------- 1 | object Common { 2 | val mesaVersion = "0.3.6-SNAPSHOT" 3 | } 4 | -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.11.2 2 | -------------------------------------------------------------------------------- /project/metals.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/project/metals.sbt -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /project/project/metals.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/project/project/metals.sbt -------------------------------------------------------------------------------- /util/src/main/scala/mesa/util/Define.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/util/src/main/scala/mesa/util/Define.scala -------------------------------------------------------------------------------- /util/src/main/scala/mesa/util/Read.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/util/src/main/scala/mesa/util/Read.scala -------------------------------------------------------------------------------- /util/src/main/scala/mesa/util/Show.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/util/src/main/scala/mesa/util/Show.scala -------------------------------------------------------------------------------- /util/src/main/scala/mesa/util/StackMachine.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/util/src/main/scala/mesa/util/StackMachine.scala -------------------------------------------------------------------------------- /util/src/main/scala/mesa/util/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bishabosha/Mesa/HEAD/util/src/main/scala/mesa/util/package.scala --------------------------------------------------------------------------------