├── .gitignore ├── CHANGELOG.md ├── LICENSE ├── README.md ├── Setup.hs ├── cbpv.cabal ├── examples └── ex1.cbpv ├── exe └── Main.hs └── src ├── Compiler.hs ├── Parser.hs ├── Printer.hs ├── Semantics.hs ├── Syntax.hs └── Typecheck.hs /.gitignore: -------------------------------------------------------------------------------- 1 | dist/ 2 | dist-newstyle/ 3 | .ghc.* 4 | -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LightAndLight/cbpv/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LightAndLight/cbpv/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LightAndLight/cbpv/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /cbpv.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LightAndLight/cbpv/HEAD/cbpv.cabal -------------------------------------------------------------------------------- /examples/ex1.cbpv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LightAndLight/cbpv/HEAD/examples/ex1.cbpv -------------------------------------------------------------------------------- /exe/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LightAndLight/cbpv/HEAD/exe/Main.hs -------------------------------------------------------------------------------- /src/Compiler.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LightAndLight/cbpv/HEAD/src/Compiler.hs -------------------------------------------------------------------------------- /src/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LightAndLight/cbpv/HEAD/src/Parser.hs -------------------------------------------------------------------------------- /src/Printer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LightAndLight/cbpv/HEAD/src/Printer.hs -------------------------------------------------------------------------------- /src/Semantics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LightAndLight/cbpv/HEAD/src/Semantics.hs -------------------------------------------------------------------------------- /src/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LightAndLight/cbpv/HEAD/src/Syntax.hs -------------------------------------------------------------------------------- /src/Typecheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LightAndLight/cbpv/HEAD/src/Typecheck.hs --------------------------------------------------------------------------------