├── .ctags ├── .gitattributes ├── .gitignore ├── .hlint.yaml ├── .stylish-haskell.yaml ├── ABI.md ├── ABI ├── abi.pdf └── arm.txt ├── CHANGELOG.md ├── LICENSE ├── Makefile ├── README.md ├── TODO.md ├── bash ├── bench ├── bench-kc ├── cross └── profile-install ├── bench └── Bench.hs ├── benchmarks ├── Splitmix.hs ├── splitmix.rs └── splitmix64.c ├── cabal.project ├── docs ├── index.html ├── manual.html ├── manual.md └── manual.pdf ├── examples ├── factorial.kmp ├── hamming.kmp ├── os.kmp ├── splitmix.kmp └── vierergruppe.kmp ├── golden ├── CDecl.hs ├── Golden.hs └── Harness.hs ├── kempe.cabal ├── lib ├── bool.kmp ├── either.kmp ├── gaussian.kmp ├── libc.kmp ├── maybe.kmp ├── numbertheory.kmp ├── order.kmp ├── rational.kmp ├── these.kmp └── tuple.kmp ├── prelude ├── arith.kmp └── fn.kmp ├── run └── Main.hs ├── src ├── Data │ ├── Copointed.hs │ ├── Foldable │ │ └── Ext.hs │ └── Tuple │ │ └── Ext.hs ├── Kempe │ ├── AST.hs │ ├── AST │ │ └── Size.hs │ ├── Asm │ │ ├── Arm │ │ │ ├── ControlFlow.hs │ │ │ ├── Linear.hs │ │ │ ├── Opt.hs │ │ │ ├── Trans.hs │ │ │ └── Type.hs │ │ ├── Liveness.hs │ │ ├── Pretty.hs │ │ ├── Type.hs │ │ └── X86 │ │ │ ├── BasicBlock.hs │ │ │ ├── ControlFlow.hs │ │ │ ├── Linear.hs │ │ │ ├── Trans.hs │ │ │ └── Type.hs │ ├── CGen.hs │ ├── Check │ │ ├── Lint.hs │ │ ├── Pattern.hs │ │ ├── Restrict.hs │ │ └── TopLevel.hs │ ├── Debug.hs │ ├── Error.hs │ ├── Error │ │ └── Warning.hs │ ├── File.hs │ ├── IR.hs │ ├── IR │ │ ├── Monad.hs │ │ ├── Opt.hs │ │ └── Type.hs │ ├── Inline.hs │ ├── Lexer.x │ ├── Module.hs │ ├── Monomorphize.hs │ ├── Name.hs │ ├── Parser.y │ ├── Pipeline.hs │ ├── Proc │ │ ├── As.hs │ │ └── Nasm.hs │ ├── Shuttle.hs │ ├── TyAssign.hs │ └── Unique.hs ├── Language │ └── C │ │ └── AST.hs └── Prettyprinter │ ├── Debug.hs │ └── Ext.hs ├── test ├── Abi.hs ├── Backend.hs ├── Parser.hs ├── Spec.hs ├── Type.hs ├── data │ ├── abi.kmp │ ├── badCodegen.kmp │ ├── ccall.kmp │ ├── diamond │ │ ├── a.kmp │ │ ├── b.kmp │ │ ├── c.kmp │ │ └── d.kmp │ ├── export.kmp │ ├── lex.kmp │ ├── maybeC.kmp │ ├── mod.kmp │ ├── multiConstruct.kmp │ ├── mutual.kmp │ ├── regAlloc.kmp │ ├── transitive.kmp │ └── ty.kmp ├── err │ ├── badWildcard.kmp │ ├── kind.kmp │ ├── merge.kmp │ ├── patternMatch.kmp │ ├── questionable.kmp │ ├── stupid.kmp │ ├── swapBinOp.kmp │ └── typecheck.kmp ├── examples │ ├── bool.kmp │ ├── const.kmp │ ├── hamming.kmp │ └── splitmix.kmp ├── golden │ ├── a.ir │ ├── abi.ir │ ├── bool.out │ ├── const.out │ ├── factorial.out │ ├── gaussian.ir │ ├── hamming.out │ ├── id.out │ ├── mod.out │ ├── numbertheory.out │ └── splitmix.out ├── harness │ ├── bool.c │ ├── const.c │ ├── factorial.c │ ├── hamming.c │ ├── id.c │ ├── mod.c │ ├── numbertheory.c │ └── splitmix.c └── include │ ├── num.h │ └── splitmix.h ├── tex ├── types.pdf └── types.tex └── vim ├── ftdetect └── kempe.vim ├── ftplugin └── kempe.vim ├── syntax └── kempe.vim └── syntax_checkers └── kempe └── kc.vim /.ctags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/.ctags -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/.gitignore -------------------------------------------------------------------------------- /.hlint.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/.hlint.yaml -------------------------------------------------------------------------------- /.stylish-haskell.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/.stylish-haskell.yaml -------------------------------------------------------------------------------- /ABI.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/ABI.md -------------------------------------------------------------------------------- /ABI/abi.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/ABI/abi.pdf -------------------------------------------------------------------------------- /ABI/arm.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/ABI/arm.txt -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/README.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/TODO.md -------------------------------------------------------------------------------- /bash/bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/bash/bench -------------------------------------------------------------------------------- /bash/bench-kc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/bash/bench-kc -------------------------------------------------------------------------------- /bash/cross: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/bash/cross -------------------------------------------------------------------------------- /bash/profile-install: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/bash/profile-install -------------------------------------------------------------------------------- /bench/Bench.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/bench/Bench.hs -------------------------------------------------------------------------------- /benchmarks/Splitmix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/benchmarks/Splitmix.hs -------------------------------------------------------------------------------- /benchmarks/splitmix.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/benchmarks/splitmix.rs -------------------------------------------------------------------------------- /benchmarks/splitmix64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/benchmarks/splitmix64.c -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/cabal.project -------------------------------------------------------------------------------- /docs/index.html: -------------------------------------------------------------------------------- 1 | manual.html -------------------------------------------------------------------------------- /docs/manual.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/docs/manual.html -------------------------------------------------------------------------------- /docs/manual.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/docs/manual.md -------------------------------------------------------------------------------- /docs/manual.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/docs/manual.pdf -------------------------------------------------------------------------------- /examples/factorial.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/examples/factorial.kmp -------------------------------------------------------------------------------- /examples/hamming.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/examples/hamming.kmp -------------------------------------------------------------------------------- /examples/os.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/examples/os.kmp -------------------------------------------------------------------------------- /examples/splitmix.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/examples/splitmix.kmp -------------------------------------------------------------------------------- /examples/vierergruppe.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/examples/vierergruppe.kmp -------------------------------------------------------------------------------- /golden/CDecl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/golden/CDecl.hs -------------------------------------------------------------------------------- /golden/Golden.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/golden/Golden.hs -------------------------------------------------------------------------------- /golden/Harness.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/golden/Harness.hs -------------------------------------------------------------------------------- /kempe.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/kempe.cabal -------------------------------------------------------------------------------- /lib/bool.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/lib/bool.kmp -------------------------------------------------------------------------------- /lib/either.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/lib/either.kmp -------------------------------------------------------------------------------- /lib/gaussian.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/lib/gaussian.kmp -------------------------------------------------------------------------------- /lib/libc.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/lib/libc.kmp -------------------------------------------------------------------------------- /lib/maybe.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/lib/maybe.kmp -------------------------------------------------------------------------------- /lib/numbertheory.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/lib/numbertheory.kmp -------------------------------------------------------------------------------- /lib/order.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/lib/order.kmp -------------------------------------------------------------------------------- /lib/rational.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/lib/rational.kmp -------------------------------------------------------------------------------- /lib/these.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/lib/these.kmp -------------------------------------------------------------------------------- /lib/tuple.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/lib/tuple.kmp -------------------------------------------------------------------------------- /prelude/arith.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/prelude/arith.kmp -------------------------------------------------------------------------------- /prelude/fn.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/prelude/fn.kmp -------------------------------------------------------------------------------- /run/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/run/Main.hs -------------------------------------------------------------------------------- /src/Data/Copointed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Data/Copointed.hs -------------------------------------------------------------------------------- /src/Data/Foldable/Ext.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Data/Foldable/Ext.hs -------------------------------------------------------------------------------- /src/Data/Tuple/Ext.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Data/Tuple/Ext.hs -------------------------------------------------------------------------------- /src/Kempe/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/AST.hs -------------------------------------------------------------------------------- /src/Kempe/AST/Size.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/AST/Size.hs -------------------------------------------------------------------------------- /src/Kempe/Asm/Arm/ControlFlow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Asm/Arm/ControlFlow.hs -------------------------------------------------------------------------------- /src/Kempe/Asm/Arm/Linear.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Asm/Arm/Linear.hs -------------------------------------------------------------------------------- /src/Kempe/Asm/Arm/Opt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Asm/Arm/Opt.hs -------------------------------------------------------------------------------- /src/Kempe/Asm/Arm/Trans.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Asm/Arm/Trans.hs -------------------------------------------------------------------------------- /src/Kempe/Asm/Arm/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Asm/Arm/Type.hs -------------------------------------------------------------------------------- /src/Kempe/Asm/Liveness.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Asm/Liveness.hs -------------------------------------------------------------------------------- /src/Kempe/Asm/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Asm/Pretty.hs -------------------------------------------------------------------------------- /src/Kempe/Asm/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Asm/Type.hs -------------------------------------------------------------------------------- /src/Kempe/Asm/X86/BasicBlock.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Asm/X86/BasicBlock.hs -------------------------------------------------------------------------------- /src/Kempe/Asm/X86/ControlFlow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Asm/X86/ControlFlow.hs -------------------------------------------------------------------------------- /src/Kempe/Asm/X86/Linear.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Asm/X86/Linear.hs -------------------------------------------------------------------------------- /src/Kempe/Asm/X86/Trans.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Asm/X86/Trans.hs -------------------------------------------------------------------------------- /src/Kempe/Asm/X86/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Asm/X86/Type.hs -------------------------------------------------------------------------------- /src/Kempe/CGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/CGen.hs -------------------------------------------------------------------------------- /src/Kempe/Check/Lint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Check/Lint.hs -------------------------------------------------------------------------------- /src/Kempe/Check/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Check/Pattern.hs -------------------------------------------------------------------------------- /src/Kempe/Check/Restrict.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Check/Restrict.hs -------------------------------------------------------------------------------- /src/Kempe/Check/TopLevel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Check/TopLevel.hs -------------------------------------------------------------------------------- /src/Kempe/Debug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Debug.hs -------------------------------------------------------------------------------- /src/Kempe/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Error.hs -------------------------------------------------------------------------------- /src/Kempe/Error/Warning.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Error/Warning.hs -------------------------------------------------------------------------------- /src/Kempe/File.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/File.hs -------------------------------------------------------------------------------- /src/Kempe/IR.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/IR.hs -------------------------------------------------------------------------------- /src/Kempe/IR/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/IR/Monad.hs -------------------------------------------------------------------------------- /src/Kempe/IR/Opt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/IR/Opt.hs -------------------------------------------------------------------------------- /src/Kempe/IR/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/IR/Type.hs -------------------------------------------------------------------------------- /src/Kempe/Inline.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Inline.hs -------------------------------------------------------------------------------- /src/Kempe/Lexer.x: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Lexer.x -------------------------------------------------------------------------------- /src/Kempe/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Module.hs -------------------------------------------------------------------------------- /src/Kempe/Monomorphize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Monomorphize.hs -------------------------------------------------------------------------------- /src/Kempe/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Name.hs -------------------------------------------------------------------------------- /src/Kempe/Parser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Parser.y -------------------------------------------------------------------------------- /src/Kempe/Pipeline.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Pipeline.hs -------------------------------------------------------------------------------- /src/Kempe/Proc/As.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Proc/As.hs -------------------------------------------------------------------------------- /src/Kempe/Proc/Nasm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Proc/Nasm.hs -------------------------------------------------------------------------------- /src/Kempe/Shuttle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Shuttle.hs -------------------------------------------------------------------------------- /src/Kempe/TyAssign.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/TyAssign.hs -------------------------------------------------------------------------------- /src/Kempe/Unique.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Kempe/Unique.hs -------------------------------------------------------------------------------- /src/Language/C/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Language/C/AST.hs -------------------------------------------------------------------------------- /src/Prettyprinter/Debug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Prettyprinter/Debug.hs -------------------------------------------------------------------------------- /src/Prettyprinter/Ext.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/src/Prettyprinter/Ext.hs -------------------------------------------------------------------------------- /test/Abi.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/Abi.hs -------------------------------------------------------------------------------- /test/Backend.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/Backend.hs -------------------------------------------------------------------------------- /test/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/Parser.hs -------------------------------------------------------------------------------- /test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/Spec.hs -------------------------------------------------------------------------------- /test/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/Type.hs -------------------------------------------------------------------------------- /test/data/abi.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/data/abi.kmp -------------------------------------------------------------------------------- /test/data/badCodegen.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/data/badCodegen.kmp -------------------------------------------------------------------------------- /test/data/ccall.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/data/ccall.kmp -------------------------------------------------------------------------------- /test/data/diamond/a.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/data/diamond/a.kmp -------------------------------------------------------------------------------- /test/data/diamond/b.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/data/diamond/b.kmp -------------------------------------------------------------------------------- /test/data/diamond/c.kmp: -------------------------------------------------------------------------------- 1 | import "test/data/diamond/d.kmp" 2 | 3 | res : -- Int 4 | =: [ rand 1 + ] 5 | -------------------------------------------------------------------------------- /test/data/diamond/d.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/data/diamond/d.kmp -------------------------------------------------------------------------------- /test/data/export.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/data/export.kmp -------------------------------------------------------------------------------- /test/data/lex.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/data/lex.kmp -------------------------------------------------------------------------------- /test/data/maybeC.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/data/maybeC.kmp -------------------------------------------------------------------------------- /test/data/mod.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/data/mod.kmp -------------------------------------------------------------------------------- /test/data/multiConstruct.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/data/multiConstruct.kmp -------------------------------------------------------------------------------- /test/data/mutual.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/data/mutual.kmp -------------------------------------------------------------------------------- /test/data/regAlloc.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/data/regAlloc.kmp -------------------------------------------------------------------------------- /test/data/transitive.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/data/transitive.kmp -------------------------------------------------------------------------------- /test/data/ty.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/data/ty.kmp -------------------------------------------------------------------------------- /test/err/badWildcard.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/err/badWildcard.kmp -------------------------------------------------------------------------------- /test/err/kind.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/err/kind.kmp -------------------------------------------------------------------------------- /test/err/merge.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/err/merge.kmp -------------------------------------------------------------------------------- /test/err/patternMatch.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/err/patternMatch.kmp -------------------------------------------------------------------------------- /test/err/questionable.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/err/questionable.kmp -------------------------------------------------------------------------------- /test/err/stupid.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/err/stupid.kmp -------------------------------------------------------------------------------- /test/err/swapBinOp.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/err/swapBinOp.kmp -------------------------------------------------------------------------------- /test/err/typecheck.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/err/typecheck.kmp -------------------------------------------------------------------------------- /test/examples/bool.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/examples/bool.kmp -------------------------------------------------------------------------------- /test/examples/const.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/examples/const.kmp -------------------------------------------------------------------------------- /test/examples/hamming.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/examples/hamming.kmp -------------------------------------------------------------------------------- /test/examples/splitmix.kmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/examples/splitmix.kmp -------------------------------------------------------------------------------- /test/golden/a.ir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/golden/a.ir -------------------------------------------------------------------------------- /test/golden/abi.ir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/golden/abi.ir -------------------------------------------------------------------------------- /test/golden/bool.out: -------------------------------------------------------------------------------- 1 | 0 2 | 1 3 | 0 -------------------------------------------------------------------------------- /test/golden/const.out: -------------------------------------------------------------------------------- 1 | 3 -------------------------------------------------------------------------------- /test/golden/factorial.out: -------------------------------------------------------------------------------- 1 | 6 2 | 6 -------------------------------------------------------------------------------- /test/golden/gaussian.ir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/golden/gaussian.ir -------------------------------------------------------------------------------- /test/golden/hamming.out: -------------------------------------------------------------------------------- 1 | 2 -------------------------------------------------------------------------------- /test/golden/id.out: -------------------------------------------------------------------------------- 1 | 4 2 | 4 3 | 4 4 | -------------------------------------------------------------------------------- /test/golden/mod.out: -------------------------------------------------------------------------------- 1 | -1 2 | -------------------------------------------------------------------------------- /test/golden/numbertheory.out: -------------------------------------------------------------------------------- 1 | 1 2 | 0 3 | 7 -------------------------------------------------------------------------------- /test/golden/splitmix.out: -------------------------------------------------------------------------------- 1 | 3631356771 -------------------------------------------------------------------------------- /test/harness/bool.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/harness/bool.c -------------------------------------------------------------------------------- /test/harness/const.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/harness/const.c -------------------------------------------------------------------------------- /test/harness/factorial.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/harness/factorial.c -------------------------------------------------------------------------------- /test/harness/hamming.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/harness/hamming.c -------------------------------------------------------------------------------- /test/harness/id.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/harness/id.c -------------------------------------------------------------------------------- /test/harness/mod.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/harness/mod.c -------------------------------------------------------------------------------- /test/harness/numbertheory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/harness/numbertheory.c -------------------------------------------------------------------------------- /test/harness/splitmix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/harness/splitmix.c -------------------------------------------------------------------------------- /test/include/num.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/include/num.h -------------------------------------------------------------------------------- /test/include/splitmix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/test/include/splitmix.h -------------------------------------------------------------------------------- /tex/types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/tex/types.pdf -------------------------------------------------------------------------------- /tex/types.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/tex/types.tex -------------------------------------------------------------------------------- /vim/ftdetect/kempe.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/vim/ftdetect/kempe.vim -------------------------------------------------------------------------------- /vim/ftplugin/kempe.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/vim/ftplugin/kempe.vim -------------------------------------------------------------------------------- /vim/syntax/kempe.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/vim/syntax/kempe.vim -------------------------------------------------------------------------------- /vim/syntax_checkers/kempe/kc.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/kempe/HEAD/vim/syntax_checkers/kempe/kc.vim --------------------------------------------------------------------------------