├── .gitignore ├── .travis.yml ├── CoreLang.cabal ├── LICENSE ├── README.md ├── Setup.hs ├── Test121.cor ├── examples ├── add.cor ├── b111.cor ├── b112.cor ├── b113.cor ├── b121.cor ├── b131.cor ├── b21.cor ├── b22.cor ├── b23.cor ├── case.cor ├── ex2_5.cor ├── map.cor └── pack.cor ├── hie.yaml ├── src ├── Lex.hs ├── Main.hs ├── Parser.hs ├── ParserBase.hs ├── PrettyPrintBase.hs ├── PrettyPrintSyntax.hs ├── Syntax.hs ├── Template.hs ├── Tests.txt └── Utils │ ├── Assoc.hs │ └── Heap.hs ├── stack.yaml └── tests ├── Test.hs └── TestParserBase.hs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/.travis.yml -------------------------------------------------------------------------------- /CoreLang.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/CoreLang.cabal -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | This code is public domain 2 | NO WARRANTY !! 3 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /Test121.cor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/Test121.cor -------------------------------------------------------------------------------- /examples/add.cor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/examples/add.cor -------------------------------------------------------------------------------- /examples/b111.cor: -------------------------------------------------------------------------------- 1 | main = I 3 2 | -------------------------------------------------------------------------------- /examples/b112.cor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/examples/b112.cor -------------------------------------------------------------------------------- /examples/b113.cor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/examples/b113.cor -------------------------------------------------------------------------------- /examples/b121.cor: -------------------------------------------------------------------------------- 1 | main = twice (I I I) 3 2 | -------------------------------------------------------------------------------- /examples/b131.cor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/examples/b131.cor -------------------------------------------------------------------------------- /examples/b21.cor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/examples/b21.cor -------------------------------------------------------------------------------- /examples/b22.cor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/examples/b22.cor -------------------------------------------------------------------------------- /examples/b23.cor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/examples/b23.cor -------------------------------------------------------------------------------- /examples/case.cor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/examples/case.cor -------------------------------------------------------------------------------- /examples/ex2_5.cor: -------------------------------------------------------------------------------- 1 | main = K1 1 -------------------------------------------------------------------------------- /examples/map.cor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/examples/map.cor -------------------------------------------------------------------------------- /examples/pack.cor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/examples/pack.cor -------------------------------------------------------------------------------- /hie.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/hie.yaml -------------------------------------------------------------------------------- /src/Lex.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/src/Lex.hs -------------------------------------------------------------------------------- /src/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/src/Main.hs -------------------------------------------------------------------------------- /src/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/src/Parser.hs -------------------------------------------------------------------------------- /src/ParserBase.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/src/ParserBase.hs -------------------------------------------------------------------------------- /src/PrettyPrintBase.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/src/PrettyPrintBase.hs -------------------------------------------------------------------------------- /src/PrettyPrintSyntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/src/PrettyPrintSyntax.hs -------------------------------------------------------------------------------- /src/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/src/Syntax.hs -------------------------------------------------------------------------------- /src/Template.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/src/Template.hs -------------------------------------------------------------------------------- /src/Tests.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/src/Tests.txt -------------------------------------------------------------------------------- /src/Utils/Assoc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/src/Utils/Assoc.hs -------------------------------------------------------------------------------- /src/Utils/Heap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/src/Utils/Heap.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/stack.yaml -------------------------------------------------------------------------------- /tests/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/tests/Test.hs -------------------------------------------------------------------------------- /tests/TestParserBase.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hansroland/CoreLang/HEAD/tests/TestParserBase.hs --------------------------------------------------------------------------------