├── .github └── FUNDING.yml ├── GHC-IR.md ├── Ideas.md ├── README.md ├── boq-grin-ghc-inst-count.png ├── cmm-info ├── external-stg-util ├── LICENSE ├── Setup.hs ├── app │ └── Main.hs ├── external-stg-util.cabal └── src │ └── Stg │ ├── Pretty.hs │ ├── Reconstruct.hs │ └── Util.hs ├── external-stg ├── GHC │ └── Prelude.hs ├── LICENSE ├── Stg │ ├── Convert.hs │ ├── Syntax.hs │ ├── ToStg.hs │ └── UnariseType.hs ├── data-con-from-type ├── external-stg.cabal └── stg-type-query-experiment ├── ghc-8.2.2-cleaned.patch ├── ghc-8.2.2.patch ├── ghc-8.6.2.patch ├── ghc-grin-benchmark ├── app │ ├── LICENSE │ ├── Main.hs │ ├── Util.hs │ ├── grin-test-app.cabal │ └── main_c_lib.c ├── basic │ ├── LICENSE │ ├── basic.cabal │ ├── basic00.hs │ ├── basic01.hs │ ├── basic02.hs │ ├── basic03.hs │ ├── basic04.hs │ ├── basic05.hs │ ├── basic06.hs │ └── clib.c ├── bench.sh ├── boq-custom │ ├── LICENSE │ ├── RTS.hs │ ├── boq-custom.cabal │ ├── clib.c │ ├── exp3_8.hs │ ├── info │ ├── nfib.hs │ ├── puzzle.hs │ ├── queens.hs │ ├── sieve.hs │ ├── sorting.hs │ ├── tak.hs │ ├── todo │ │ ├── awards.hs │ │ ├── boyer2.hs │ │ ├── cichelli.hs │ │ ├── clausify.hs │ │ ├── event.hs │ │ ├── ida.hs │ │ └── typecheck.hs │ ├── tsumupto.hs │ └── words.hs ├── boquist-grin-bench │ ├── LICENSE │ ├── README │ ├── boquist-grin-bench.cabal │ ├── comp.sh │ ├── hgc.mk │ ├── imaginary │ │ ├── exp3_8 │ │ │ ├── Jmakefile │ │ │ ├── Main.hs │ │ │ ├── Makefile │ │ │ ├── exp3_8.hs │ │ │ ├── exp3_8.stdout │ │ │ └── hgc.out │ │ └── tak │ │ │ ├── Changes │ │ │ ├── Jmakefile │ │ │ ├── Main.hs │ │ │ ├── Makefile │ │ │ ├── hgc.out │ │ │ ├── tak.hs │ │ │ └── tak.stdout │ ├── other │ │ ├── nfib │ │ │ ├── Makefile │ │ │ ├── hgc.out │ │ │ └── nfib.hs │ │ ├── puzzle │ │ │ ├── Makefile │ │ │ ├── hgc.out │ │ │ ├── prel.hs │ │ │ └── puzzle.hs │ │ ├── queens │ │ │ ├── Makefile │ │ │ ├── hgc.out │ │ │ ├── prel.hs │ │ │ └── queens.hs │ │ ├── sieve │ │ │ ├── Makefile │ │ │ ├── hgc.out │ │ │ ├── prel.hs │ │ │ └── sieve.hs │ │ ├── tsumupto │ │ │ ├── Makefile │ │ │ ├── hgc.out │ │ │ └── tsumupto.hs │ │ └── words │ │ │ ├── Makefile │ │ │ ├── hgc.out │ │ │ ├── prel.hs │ │ │ └── words.hs │ ├── results │ │ ├── errl.a1 │ │ ├── errl.a1r │ │ ├── errl.a2 │ │ ├── errl.a2r │ │ ├── errl.a3 │ │ ├── errl.a3r │ │ ├── errl.a4 │ │ ├── errl.a4r │ │ ├── errl.a5 │ │ ├── errl.a5r │ │ ├── errl.a6 │ │ ├── errl.a6r │ │ ├── errl.a7 │ │ ├── errl.a7r │ │ ├── errl.a8 │ │ ├── errl.a8r │ │ ├── errl.ax │ │ ├── errl.axr │ │ ├── errl.b1 │ │ ├── errl.b2 │ │ ├── errl.bother │ │ ├── errl.comp_ghc │ │ ├── errl.comp_hbc │ │ ├── errl.comp_hgc │ │ ├── errl.count_ghc │ │ ├── errl.count_hbc │ │ ├── errl.count_hgc │ │ ├── errl.counts_all │ │ ├── errl.evals │ │ ├── errl.g1 │ │ ├── errl.g2 │ │ ├── errl.g3 │ │ ├── errl.g4 │ │ ├── errl.gc1 │ │ ├── errl.gc2 │ │ ├── errl.gcse1 │ │ ├── errl.gcse2 │ │ ├── errl.gx │ │ ├── errl.gxr │ │ ├── errl.run_hgc │ │ ├── errl.size_hgc │ │ ├── errl.stats_hgc │ │ ├── errl.summary_hgc │ │ ├── errl.time5_ghc │ │ ├── errl.time5_hbc │ │ ├── errl.time_all.lips │ │ ├── errl.time_all.zoot │ │ ├── errl.time_all2.lips │ │ ├── errl.time_all2.zoot │ │ └── errl.wc_hgc │ └── spectral │ │ ├── awards │ │ ├── Changes │ │ ├── Jmakefile │ │ ├── Main.hs │ │ ├── Makefile │ │ ├── awards.hs │ │ ├── awards.stdout │ │ ├── hgc.out │ │ └── prel.hs │ │ ├── boyer2 │ │ ├── Changes │ │ ├── Checker.hs │ │ ├── Jmakefile │ │ ├── Lisplikefns.hs │ │ ├── Main.hs │ │ ├── Makefile │ │ ├── README │ │ ├── Rewritefns.hs │ │ ├── Rulebasetext.hs │ │ ├── boyer2.hs │ │ ├── boyer2.stdout │ │ ├── hgc.out │ │ └── prel.hs │ │ ├── cichelli │ │ ├── Changes │ │ ├── Jmakefile │ │ ├── Key.lhs │ │ ├── Main.hs │ │ ├── Makefile │ │ ├── aux.hs │ │ ├── cichelli.hs │ │ ├── cichelli.stdout │ │ ├── hgc.out │ │ ├── key.hs │ │ ├── prel.hs │ │ └── prog.hs │ │ ├── clausify │ │ ├── Changes │ │ ├── Jmakefile │ │ ├── Main.hs │ │ ├── Makefile │ │ ├── clausify.hs │ │ ├── clausify.stdout │ │ ├── hgc.out │ │ └── prel.hs │ │ ├── hartel │ │ ├── event │ │ │ ├── Changes │ │ │ ├── Jmakefile │ │ │ ├── Main.hs │ │ │ ├── Makefile │ │ │ ├── event.hs │ │ │ ├── event.stdout │ │ │ ├── hgc.out │ │ │ └── prel.hs │ │ ├── ida │ │ │ ├── Changes │ │ │ ├── Jmakefile │ │ │ ├── Main.hs │ │ │ ├── Makefile │ │ │ ├── hgc.out │ │ │ ├── ida.hs │ │ │ ├── ida.stdout │ │ │ └── prel.hs │ │ └── typecheck │ │ │ ├── Changes │ │ │ ├── Jmakefile │ │ │ ├── Main.hs │ │ │ ├── Makefile │ │ │ ├── hgc.out │ │ │ ├── prel.hs │ │ │ ├── typecheck.hs │ │ │ └── typecheck.stdout │ │ └── sorting │ │ ├── Changes │ │ ├── Jmakefile │ │ ├── Main.hs │ │ ├── Makefile │ │ ├── Sort.hs │ │ ├── hgc.out │ │ ├── prel.hs │ │ ├── sorting.hs │ │ └── sorting.stdout ├── c.build ├── c.clean ├── delete-stack-work.sh ├── lambda-clean.sh ├── lib │ ├── Hello.hs │ ├── LICENSE │ ├── grin-test-lib.cabal │ └── mylib.c ├── prof │ ├── awards.prof │ ├── boyer2.prof │ ├── cichelli.prof │ ├── clausify.prof │ ├── event.prof │ ├── exp3_8.prof │ ├── ida.prof │ ├── nfib.prof │ ├── puzzle.prof │ ├── queens.prof │ ├── sieve.prof │ ├── sorting.prof │ ├── tak.prof │ ├── tsumupto.prof │ ├── typecheck.prof │ └── words.prof ├── stack.yaml ├── stack.yaml.boq-bench ├── stack.yaml.idris-master ├── stack.yaml.pandoc-master ├── stack.yaml.save ├── stack.yaml.smallest ├── stack.yaml.unordered-containers ├── stgbin-clean.sh ├── stgbin-ls.sh └── sum-list │ ├── LICENSE │ ├── sum-list.cabal │ ├── sum.hs │ ├── tsumupto1.hs │ └── tsumupto2.hs ├── ghc-grin ├── LICENSE ├── app │ └── GHCGrin.hs ├── ghc-grin.cabal └── src │ ├── Lambda │ ├── FromStg.hs │ ├── GHCPrimOps.hs │ ├── GHCSymbols.hs │ └── ToStg.hs │ └── StgLoopback.hs ├── ghc-primop-gen ├── GHCPrimOps.hs ├── Gen.hs ├── genprimopcode │ ├── Lexer.hs │ ├── Parser.hs │ ├── ParserM.hs │ └── Syntax.hs ├── ghc-primop-gen.cabal ├── higher-order-primops ├── primops-info ├── primops-problem ├── primops.txt └── primops.txt.pp ├── ghc-primop-lib ├── GHCPrimOp.hs ├── GHCPrimOpEval.hs └── ghc-primop-lib.cabal ├── ghc-rts-symbols ├── info ├── lambda-grin ├── LICENSE ├── app │ └── LambdaGrinCLI.hs ├── lambda-grin.cabal ├── souffle-datalog │ ├── AST.dl │ ├── CBy.dl │ ├── CFA.dl │ ├── Check.dl │ ├── LVA.dl │ ├── PointsTo.dl │ ├── PrimOp-Addr.dl │ ├── PrimOp-Arrays.dl │ ├── PrimOp-ByteArray.dl │ ├── PrimOp-Bytecode.dl │ ├── PrimOp-CCS.dl │ ├── PrimOp-Compact.dl │ ├── PrimOp-Concurrency.dl │ ├── PrimOp-Exception.dl │ ├── PrimOp-MVar.dl │ ├── PrimOp-MutVar.dl │ ├── PrimOp-Parallelism.dl │ ├── PrimOp-STM.dl │ ├── PrimOp-StablePtr.dl │ ├── PrimOp-WeakPtr.dl │ └── main.dl ├── src │ └── Lambda │ │ ├── ClosureConversion.hs │ │ ├── ControlFlowAnalysisM.hs │ │ ├── DeadFunctionEliminationM.hs │ │ ├── Lint.hs │ │ ├── Name.hs │ │ ├── Parse.hs │ │ ├── Pretty.hs │ │ ├── StaticSingleAssignment.hs │ │ ├── Syntax.hs │ │ ├── TH.hs │ │ ├── ToDatalog.hs │ │ ├── Util.hs │ │ └── live_def_analysis.dl └── test │ ├── 001.from-lambda.grin │ ├── 002.sum-require-precise-hpt.grin │ ├── 002.sum-tweaked.grin │ ├── 002.sum-tweaked2.grin │ ├── 002.sum.grin │ ├── CBySpec.hs │ ├── CFASpec.hs │ ├── ParserSpec.hs │ ├── PrimOpArraySpec.hs │ ├── PrimOpCCSSpec.hs │ ├── PrimOpExceptionSpec.hs │ ├── PrimOpMVarSpec.hs │ ├── PrimOpMutVarSpec.hs │ ├── PrimOpSTMSpec.hs │ ├── PrimOpStablePtrSpec.hs │ ├── PrimOpWeakPtrSpec.hs │ ├── Spec.hs │ ├── bug01-letS.lam │ ├── c │ ├── c-opt │ ├── circular.lam │ ├── hof.lam │ ├── lambda-cg-bug01.grin │ ├── sum.lam │ ├── sum2.lam │ └── sum3.lam ├── lambda-stg-loopback ├── lambdabin-clean.sh ├── lto-stg ├── patched-lambda-to-ghc-stg ├── c.build ├── c.clean ├── c.install ├── c.repl ├── mini-ghc-grin │ ├── LICENSE │ ├── app │ │ ├── genExe.hs │ │ ├── genObj.hs │ │ └── showGHCStg.hs │ ├── mini-ghc-grin.cabal │ └── src │ │ ├── Lambda │ │ ├── GHCSymbols.hs │ │ ├── Name.hs │ │ ├── Syntax.hs │ │ └── ToStg.hs │ │ ├── Stg │ │ ├── DeadFunctionElimination.hs │ │ ├── DeadFunctionElimination │ │ │ ├── Analysis.hs │ │ │ ├── Facts.hs │ │ │ └── StripModule.hs │ │ ├── Reconstruct.hs │ │ ├── ToStg.hs │ │ ├── Util.hs │ │ └── ext-stg-liveness.dl │ │ └── StgLoopback.hs └── stack.yaml ├── roadmap.ghc-grin ├── sample ├── Alt.facts ├── AltParameter.facts ├── Call.facts ├── CallArgument.facts ├── Case.facts ├── ClosureParameter.facts ├── ClosureVariable.facts ├── CodeArity.facts ├── EvalMode.facts ├── ExternalFunction.facts ├── ExternalParameterType.facts ├── ExternalReturnType.facts ├── FirstInst.facts ├── FunctionParameter.facts ├── FunctionType.facts ├── FunctionTypeParameterType.facts ├── FunctionTypeReturnType.facts ├── InitialReachable.facts ├── IsClosure.facts ├── IsFunction.facts ├── IsTypeVariable.facts ├── Move.facts ├── NextInst.facts ├── Node.facts ├── NodeArgument.facts ├── NodeRole.facts ├── RecGroup.facts ├── ReturnValue.facts ├── TypeNode.facts ├── TypeNodeArgument.facts ├── tsumupto.2.lambda ├── tsumupto.2.lambdabin ├── tsumupto.2.lambdabin.dl ├── tsumupto.hs ├── tsumupto.lambda ├── tsumupto.lambdabin └── tsumupto.out ├── stack.yaml ├── stg-to-grin ├── stgbin-clean.sh ├── stgbin-ls.sh └── stgbin-watch.sh /.github/FUNDING.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/.github/FUNDING.yml -------------------------------------------------------------------------------- /GHC-IR.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/GHC-IR.md -------------------------------------------------------------------------------- /Ideas.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/Ideas.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/README.md -------------------------------------------------------------------------------- /boq-grin-ghc-inst-count.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/boq-grin-ghc-inst-count.png -------------------------------------------------------------------------------- /cmm-info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/cmm-info -------------------------------------------------------------------------------- /external-stg-util/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/external-stg-util/LICENSE -------------------------------------------------------------------------------- /external-stg-util/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /external-stg-util/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/external-stg-util/app/Main.hs -------------------------------------------------------------------------------- /external-stg-util/external-stg-util.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/external-stg-util/external-stg-util.cabal -------------------------------------------------------------------------------- /external-stg-util/src/Stg/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/external-stg-util/src/Stg/Pretty.hs -------------------------------------------------------------------------------- /external-stg-util/src/Stg/Reconstruct.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/external-stg-util/src/Stg/Reconstruct.hs -------------------------------------------------------------------------------- /external-stg-util/src/Stg/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/external-stg-util/src/Stg/Util.hs -------------------------------------------------------------------------------- /external-stg/GHC/Prelude.hs: -------------------------------------------------------------------------------- 1 | module GHC.Prelude where 2 | -------------------------------------------------------------------------------- /external-stg/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/external-stg/LICENSE -------------------------------------------------------------------------------- /external-stg/Stg/Convert.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/external-stg/Stg/Convert.hs -------------------------------------------------------------------------------- /external-stg/Stg/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/external-stg/Stg/Syntax.hs -------------------------------------------------------------------------------- /external-stg/Stg/ToStg.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/external-stg/Stg/ToStg.hs -------------------------------------------------------------------------------- /external-stg/Stg/UnariseType.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/external-stg/Stg/UnariseType.hs -------------------------------------------------------------------------------- /external-stg/data-con-from-type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/external-stg/data-con-from-type -------------------------------------------------------------------------------- /external-stg/external-stg.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/external-stg/external-stg.cabal -------------------------------------------------------------------------------- /external-stg/stg-type-query-experiment: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/external-stg/stg-type-query-experiment -------------------------------------------------------------------------------- /ghc-8.2.2-cleaned.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-8.2.2-cleaned.patch -------------------------------------------------------------------------------- /ghc-8.2.2.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-8.2.2.patch -------------------------------------------------------------------------------- /ghc-8.6.2.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-8.6.2.patch -------------------------------------------------------------------------------- /ghc-grin-benchmark/app/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/app/LICENSE -------------------------------------------------------------------------------- /ghc-grin-benchmark/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/app/Main.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/app/Util.hs: -------------------------------------------------------------------------------- 1 | module Util where 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/app/grin-test-app.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/app/grin-test-app.cabal -------------------------------------------------------------------------------- /ghc-grin-benchmark/app/main_c_lib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/app/main_c_lib.c -------------------------------------------------------------------------------- /ghc-grin-benchmark/basic/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/basic/LICENSE -------------------------------------------------------------------------------- /ghc-grin-benchmark/basic/basic.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/basic/basic.cabal -------------------------------------------------------------------------------- /ghc-grin-benchmark/basic/basic00.hs: -------------------------------------------------------------------------------- 1 | main = pure () -------------------------------------------------------------------------------- /ghc-grin-benchmark/basic/basic01.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/basic/basic01.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/basic/basic02.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/basic/basic02.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/basic/basic03.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/basic/basic03.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/basic/basic04.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/basic/basic04.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/basic/basic05.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/basic/basic05.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/basic/basic06.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/basic/basic06.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/basic/clib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/basic/clib.c -------------------------------------------------------------------------------- /ghc-grin-benchmark/bench.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/bench.sh -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/LICENSE -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/RTS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/RTS.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/boq-custom.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/boq-custom.cabal -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/clib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/clib.c -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/exp3_8.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/exp3_8.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/info -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/nfib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/nfib.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/puzzle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/puzzle.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/queens.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/queens.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/sieve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/sieve.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/sorting.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/sorting.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/tak.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/tak.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/todo/awards.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/todo/awards.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/todo/boyer2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/todo/boyer2.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/todo/cichelli.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/todo/cichelli.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/todo/clausify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/todo/clausify.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/todo/event.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/todo/event.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/todo/ida.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/todo/ida.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/todo/typecheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/todo/typecheck.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/tsumupto.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/tsumupto.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boq-custom/words.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boq-custom/words.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/LICENSE -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/README -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/boquist-grin-bench.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/boquist-grin-bench.cabal -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/comp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/comp.sh -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/hgc.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/hgc.mk -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/imaginary/exp3_8/Jmakefile: -------------------------------------------------------------------------------- 1 | NoFibOneModuleCompileAndRun(exp3_8,) 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/imaginary/exp3_8/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/imaginary/exp3_8/Main.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/imaginary/exp3_8/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/imaginary/exp3_8/Makefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/imaginary/exp3_8/exp3_8.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/imaginary/exp3_8/exp3_8.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/imaginary/exp3_8/exp3_8.stdout: -------------------------------------------------------------------------------- 1 | 6561 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/imaginary/exp3_8/hgc.out: -------------------------------------------------------------------------------- 1 | 6561 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/imaginary/tak/Changes: -------------------------------------------------------------------------------- 1 | - xprint. 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/imaginary/tak/Jmakefile: -------------------------------------------------------------------------------- 1 | NoFibOneModuleCompileAndRun(tak,) 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/imaginary/tak/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/imaginary/tak/Main.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/imaginary/tak/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/imaginary/tak/Makefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/imaginary/tak/hgc.out: -------------------------------------------------------------------------------- 1 | 9 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/imaginary/tak/tak.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/imaginary/tak/tak.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/imaginary/tak/tak.stdout: -------------------------------------------------------------------------------- 1 | "9\n" 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/nfib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/nfib/Makefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/nfib/hgc.out: -------------------------------------------------------------------------------- 1 | 29860703 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/nfib/nfib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/nfib/nfib.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/puzzle/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/puzzle/Makefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/puzzle/hgc.out: -------------------------------------------------------------------------------- 1 | 128 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/puzzle/prel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/puzzle/prel.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/puzzle/puzzle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/puzzle/puzzle.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/queens/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/queens/Makefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/queens/hgc.out: -------------------------------------------------------------------------------- 1 | 14200 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/queens/prel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/queens/prel.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/queens/queens.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/queens/queens.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/sieve/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/sieve/Makefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/sieve/hgc.out: -------------------------------------------------------------------------------- 1 | 121013308 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/sieve/prel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/sieve/prel.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/sieve/sieve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/sieve/sieve.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/tsumupto/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/tsumupto/Makefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/tsumupto/hgc.out: -------------------------------------------------------------------------------- 1 | -2004260032 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/tsumupto/tsumupto.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/tsumupto/tsumupto.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/words/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/words/Makefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/words/hgc.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/words/hgc.out -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/words/prel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/words/prel.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/other/words/words.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/other/words/words.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.a1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.a1 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.a1r: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.a1r -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.a2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.a2 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.a2r: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.a2r -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.a3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.a3 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.a3r: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.a3r -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.a4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.a4 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.a4r: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.a4r -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.a5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.a5 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.a5r: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.a5r -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.a6: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.a6 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.a6r: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.a6r -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.a7: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.a7 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.a7r: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.a7r -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.a8: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.a8 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.a8r: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.a8r -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.ax: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.axr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.b1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.b1 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.b2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.b2 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.bother: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.comp_ghc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.comp_ghc -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.comp_hbc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.comp_hbc -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.comp_hgc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.comp_hgc -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.count_ghc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.count_ghc -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.count_hbc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.count_hbc -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.count_hgc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.count_hgc -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.counts_all: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.counts_all -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.evals: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.evals -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.g1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.g1 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.g2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.g2 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.g3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.g3 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.g4 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.gc1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.gc1 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.gc2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.gc2 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.gcse1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.gcse1 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.gcse2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.gcse2 -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.gx: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.gxr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.run_hgc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.run_hgc -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.size_hgc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.size_hgc -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.stats_hgc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.stats_hgc -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.summary_hgc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.summary_hgc -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.time5_ghc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.time5_ghc -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.time5_hbc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.time5_hbc -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.time_all.lips: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.time_all.lips -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.time_all.zoot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.time_all.zoot -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.time_all2.lips: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.time_all2.lips -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.time_all2.zoot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.time_all2.zoot -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/results/errl.wc_hgc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/results/errl.wc_hgc -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/awards/Changes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/awards/Changes -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/awards/Jmakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/awards/Jmakefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/awards/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/awards/Main.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/awards/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/awards/Makefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/awards/awards.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/awards/awards.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/awards/awards.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/awards/awards.stdout -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/awards/hgc.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/awards/hgc.out -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/awards/prel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/awards/prel.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/Changes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/Changes -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/Checker.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/Checker.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/Jmakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/Jmakefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/Lisplikefns.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/Lisplikefns.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/Main.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/Makefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/README -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/Rewritefns.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/Rewritefns.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/Rulebasetext.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/Rulebasetext.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/boyer2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/boyer2.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/boyer2.stdout: -------------------------------------------------------------------------------- 1 | The term is a tautology 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/hgc.out: -------------------------------------------------------------------------------- 1 | The term is a tautology 2 | 3 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/prel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/boyer2/prel.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/Changes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/Changes -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/Jmakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/Jmakefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/Key.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/Key.lhs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/Main.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/Makefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/aux.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/aux.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/cichelli.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/cichelli.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/cichelli.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/cichelli.stdout -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/hgc.out: -------------------------------------------------------------------------------- 1 | YesIts 16948 a5 i8 l8 c7 b8 y10 k3 t1 e1 j0 n0 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/key.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/key.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/prel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/prel.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/prog.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/cichelli/prog.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/clausify/Changes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/clausify/Changes -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/clausify/Jmakefile: -------------------------------------------------------------------------------- 1 | NoFibOneModuleCompileAndRun(clausify,) 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/clausify/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/clausify/Main.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/clausify/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/clausify/Makefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/clausify/clausify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/clausify/clausify.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/clausify/clausify.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/clausify/clausify.stdout -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/clausify/hgc.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/clausify/hgc.out -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/clausify/prel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/clausify/prel.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/event/Changes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/event/Changes -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/event/Jmakefile: -------------------------------------------------------------------------------- 1 | NoFibOneModuleCompileAndRun(event,) 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/event/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/event/Main.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/event/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/event/Makefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/event/event.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/event/event.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/event/event.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/event/event.stdout -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/event/hgc.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/event/hgc.out -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/event/prel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/event/prel.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/ida/Changes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/ida/Changes -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/ida/Jmakefile: -------------------------------------------------------------------------------- 1 | NoFibOneModuleCompileAndRun(ida,) 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/ida/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/ida/Main.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/ida/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/ida/Makefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/ida/hgc.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/ida/hgc.out -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/ida/ida.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/ida/ida.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/ida/ida.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/ida/ida.stdout -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/ida/prel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/ida/prel.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/typecheck/Changes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/typecheck/Changes -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/typecheck/Jmakefile: -------------------------------------------------------------------------------- 1 | NoFibOneModuleCompileAndRun(typecheck,) 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/typecheck/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/typecheck/Main.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/typecheck/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/typecheck/Makefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/typecheck/hgc.out: -------------------------------------------------------------------------------- 1 | 2904400/47800 2 | 3 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/typecheck/prel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/typecheck/prel.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/typecheck/typecheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/typecheck/typecheck.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/hartel/typecheck/typecheck.stdout: -------------------------------------------------------------------------------- 1 | 8713200/143400 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/Changes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/Changes -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/Jmakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/Jmakefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/Main.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/Makefile -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/Sort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/Sort.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/hgc.out: -------------------------------------------------------------------------------- 1 | 3849600 2 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/prel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/prel.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/sorting.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/sorting.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/sorting.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/boquist-grin-bench/spectral/sorting/sorting.stdout -------------------------------------------------------------------------------- /ghc-grin-benchmark/c.build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/c.build -------------------------------------------------------------------------------- /ghc-grin-benchmark/c.clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/c.clean -------------------------------------------------------------------------------- /ghc-grin-benchmark/delete-stack-work.sh: -------------------------------------------------------------------------------- 1 | set -x -e 2 | rm -r `find . -name '.stack-work' -type d` 3 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/lambda-clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/lambda-clean.sh -------------------------------------------------------------------------------- /ghc-grin-benchmark/lib/Hello.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/lib/Hello.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/lib/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/lib/LICENSE -------------------------------------------------------------------------------- /ghc-grin-benchmark/lib/grin-test-lib.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/lib/grin-test-lib.cabal -------------------------------------------------------------------------------- /ghc-grin-benchmark/lib/mylib.c: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ghc-grin-benchmark/prof/awards.prof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/prof/awards.prof -------------------------------------------------------------------------------- /ghc-grin-benchmark/prof/boyer2.prof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/prof/boyer2.prof -------------------------------------------------------------------------------- /ghc-grin-benchmark/prof/cichelli.prof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/prof/cichelli.prof -------------------------------------------------------------------------------- /ghc-grin-benchmark/prof/clausify.prof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/prof/clausify.prof -------------------------------------------------------------------------------- /ghc-grin-benchmark/prof/event.prof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/prof/event.prof -------------------------------------------------------------------------------- /ghc-grin-benchmark/prof/exp3_8.prof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/prof/exp3_8.prof -------------------------------------------------------------------------------- /ghc-grin-benchmark/prof/ida.prof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/prof/ida.prof -------------------------------------------------------------------------------- /ghc-grin-benchmark/prof/nfib.prof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/prof/nfib.prof -------------------------------------------------------------------------------- /ghc-grin-benchmark/prof/puzzle.prof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/prof/puzzle.prof -------------------------------------------------------------------------------- /ghc-grin-benchmark/prof/queens.prof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/prof/queens.prof -------------------------------------------------------------------------------- /ghc-grin-benchmark/prof/sieve.prof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/prof/sieve.prof -------------------------------------------------------------------------------- /ghc-grin-benchmark/prof/sorting.prof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/prof/sorting.prof -------------------------------------------------------------------------------- /ghc-grin-benchmark/prof/tak.prof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/prof/tak.prof -------------------------------------------------------------------------------- /ghc-grin-benchmark/prof/tsumupto.prof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/prof/tsumupto.prof -------------------------------------------------------------------------------- /ghc-grin-benchmark/prof/typecheck.prof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/prof/typecheck.prof -------------------------------------------------------------------------------- /ghc-grin-benchmark/prof/words.prof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/prof/words.prof -------------------------------------------------------------------------------- /ghc-grin-benchmark/stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/stack.yaml -------------------------------------------------------------------------------- /ghc-grin-benchmark/stack.yaml.boq-bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/stack.yaml.boq-bench -------------------------------------------------------------------------------- /ghc-grin-benchmark/stack.yaml.idris-master: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/stack.yaml.idris-master -------------------------------------------------------------------------------- /ghc-grin-benchmark/stack.yaml.pandoc-master: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/stack.yaml.pandoc-master -------------------------------------------------------------------------------- /ghc-grin-benchmark/stack.yaml.save: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/stack.yaml.save -------------------------------------------------------------------------------- /ghc-grin-benchmark/stack.yaml.smallest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/stack.yaml.smallest -------------------------------------------------------------------------------- /ghc-grin-benchmark/stack.yaml.unordered-containers: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/stack.yaml.unordered-containers -------------------------------------------------------------------------------- /ghc-grin-benchmark/stgbin-clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/stgbin-clean.sh -------------------------------------------------------------------------------- /ghc-grin-benchmark/stgbin-ls.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/stgbin-ls.sh -------------------------------------------------------------------------------- /ghc-grin-benchmark/sum-list/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/sum-list/LICENSE -------------------------------------------------------------------------------- /ghc-grin-benchmark/sum-list/sum-list.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/sum-list/sum-list.cabal -------------------------------------------------------------------------------- /ghc-grin-benchmark/sum-list/sum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/sum-list/sum.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/sum-list/tsumupto1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/sum-list/tsumupto1.hs -------------------------------------------------------------------------------- /ghc-grin-benchmark/sum-list/tsumupto2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin-benchmark/sum-list/tsumupto2.hs -------------------------------------------------------------------------------- /ghc-grin/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin/LICENSE -------------------------------------------------------------------------------- /ghc-grin/app/GHCGrin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin/app/GHCGrin.hs -------------------------------------------------------------------------------- /ghc-grin/ghc-grin.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin/ghc-grin.cabal -------------------------------------------------------------------------------- /ghc-grin/src/Lambda/FromStg.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin/src/Lambda/FromStg.hs -------------------------------------------------------------------------------- /ghc-grin/src/Lambda/GHCPrimOps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin/src/Lambda/GHCPrimOps.hs -------------------------------------------------------------------------------- /ghc-grin/src/Lambda/GHCSymbols.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin/src/Lambda/GHCSymbols.hs -------------------------------------------------------------------------------- /ghc-grin/src/Lambda/ToStg.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin/src/Lambda/ToStg.hs -------------------------------------------------------------------------------- /ghc-grin/src/StgLoopback.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-grin/src/StgLoopback.hs -------------------------------------------------------------------------------- /ghc-primop-gen/GHCPrimOps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-primop-gen/GHCPrimOps.hs -------------------------------------------------------------------------------- /ghc-primop-gen/Gen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-primop-gen/Gen.hs -------------------------------------------------------------------------------- /ghc-primop-gen/genprimopcode/Lexer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-primop-gen/genprimopcode/Lexer.hs -------------------------------------------------------------------------------- /ghc-primop-gen/genprimopcode/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-primop-gen/genprimopcode/Parser.hs -------------------------------------------------------------------------------- /ghc-primop-gen/genprimopcode/ParserM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-primop-gen/genprimopcode/ParserM.hs -------------------------------------------------------------------------------- /ghc-primop-gen/genprimopcode/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-primop-gen/genprimopcode/Syntax.hs -------------------------------------------------------------------------------- /ghc-primop-gen/ghc-primop-gen.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-primop-gen/ghc-primop-gen.cabal -------------------------------------------------------------------------------- /ghc-primop-gen/higher-order-primops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-primop-gen/higher-order-primops -------------------------------------------------------------------------------- /ghc-primop-gen/primops-info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-primop-gen/primops-info -------------------------------------------------------------------------------- /ghc-primop-gen/primops-problem: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-primop-gen/primops-problem -------------------------------------------------------------------------------- /ghc-primop-gen/primops.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-primop-gen/primops.txt -------------------------------------------------------------------------------- /ghc-primop-gen/primops.txt.pp: -------------------------------------------------------------------------------- 1 | ../ghc-8.11.0.20200215-src/compiler/prelude/primops.txt.pp -------------------------------------------------------------------------------- /ghc-primop-lib/GHCPrimOp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-primop-lib/GHCPrimOp.hs -------------------------------------------------------------------------------- /ghc-primop-lib/GHCPrimOpEval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-primop-lib/GHCPrimOpEval.hs -------------------------------------------------------------------------------- /ghc-primop-lib/ghc-primop-lib.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-primop-lib/ghc-primop-lib.cabal -------------------------------------------------------------------------------- /ghc-rts-symbols: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/ghc-rts-symbols -------------------------------------------------------------------------------- /info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/info -------------------------------------------------------------------------------- /lambda-grin/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/LICENSE -------------------------------------------------------------------------------- /lambda-grin/app/LambdaGrinCLI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/app/LambdaGrinCLI.hs -------------------------------------------------------------------------------- /lambda-grin/lambda-grin.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/lambda-grin.cabal -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/AST.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/AST.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/CBy.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/CBy.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/CFA.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/CFA.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/Check.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/Check.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/LVA.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/LVA.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/PointsTo.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/PointsTo.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/PrimOp-Addr.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/PrimOp-Addr.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/PrimOp-Arrays.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/PrimOp-Arrays.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/PrimOp-ByteArray.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/PrimOp-ByteArray.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/PrimOp-Bytecode.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/PrimOp-Bytecode.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/PrimOp-CCS.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/PrimOp-CCS.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/PrimOp-Compact.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/PrimOp-Compact.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/PrimOp-Concurrency.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/PrimOp-Concurrency.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/PrimOp-Exception.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/PrimOp-Exception.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/PrimOp-MVar.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/PrimOp-MVar.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/PrimOp-MutVar.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/PrimOp-MutVar.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/PrimOp-Parallelism.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/PrimOp-Parallelism.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/PrimOp-STM.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/PrimOp-STM.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/PrimOp-StablePtr.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/PrimOp-StablePtr.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/PrimOp-WeakPtr.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/PrimOp-WeakPtr.dl -------------------------------------------------------------------------------- /lambda-grin/souffle-datalog/main.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/souffle-datalog/main.dl -------------------------------------------------------------------------------- /lambda-grin/src/Lambda/ClosureConversion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/src/Lambda/ClosureConversion.hs -------------------------------------------------------------------------------- /lambda-grin/src/Lambda/ControlFlowAnalysisM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/src/Lambda/ControlFlowAnalysisM.hs -------------------------------------------------------------------------------- /lambda-grin/src/Lambda/DeadFunctionEliminationM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/src/Lambda/DeadFunctionEliminationM.hs -------------------------------------------------------------------------------- /lambda-grin/src/Lambda/Lint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/src/Lambda/Lint.hs -------------------------------------------------------------------------------- /lambda-grin/src/Lambda/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/src/Lambda/Name.hs -------------------------------------------------------------------------------- /lambda-grin/src/Lambda/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/src/Lambda/Parse.hs -------------------------------------------------------------------------------- /lambda-grin/src/Lambda/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/src/Lambda/Pretty.hs -------------------------------------------------------------------------------- /lambda-grin/src/Lambda/StaticSingleAssignment.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/src/Lambda/StaticSingleAssignment.hs -------------------------------------------------------------------------------- /lambda-grin/src/Lambda/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/src/Lambda/Syntax.hs -------------------------------------------------------------------------------- /lambda-grin/src/Lambda/TH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/src/Lambda/TH.hs -------------------------------------------------------------------------------- /lambda-grin/src/Lambda/ToDatalog.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/src/Lambda/ToDatalog.hs -------------------------------------------------------------------------------- /lambda-grin/src/Lambda/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/src/Lambda/Util.hs -------------------------------------------------------------------------------- /lambda-grin/src/Lambda/live_def_analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/src/Lambda/live_def_analysis.dl -------------------------------------------------------------------------------- /lambda-grin/test/001.from-lambda.grin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/001.from-lambda.grin -------------------------------------------------------------------------------- /lambda-grin/test/002.sum-require-precise-hpt.grin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/002.sum-require-precise-hpt.grin -------------------------------------------------------------------------------- /lambda-grin/test/002.sum-tweaked.grin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/002.sum-tweaked.grin -------------------------------------------------------------------------------- /lambda-grin/test/002.sum-tweaked2.grin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/002.sum-tweaked2.grin -------------------------------------------------------------------------------- /lambda-grin/test/002.sum.grin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/002.sum.grin -------------------------------------------------------------------------------- /lambda-grin/test/CBySpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/CBySpec.hs -------------------------------------------------------------------------------- /lambda-grin/test/CFASpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/CFASpec.hs -------------------------------------------------------------------------------- /lambda-grin/test/ParserSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/ParserSpec.hs -------------------------------------------------------------------------------- /lambda-grin/test/PrimOpArraySpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/PrimOpArraySpec.hs -------------------------------------------------------------------------------- /lambda-grin/test/PrimOpCCSSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/PrimOpCCSSpec.hs -------------------------------------------------------------------------------- /lambda-grin/test/PrimOpExceptionSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/PrimOpExceptionSpec.hs -------------------------------------------------------------------------------- /lambda-grin/test/PrimOpMVarSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/PrimOpMVarSpec.hs -------------------------------------------------------------------------------- /lambda-grin/test/PrimOpMutVarSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/PrimOpMutVarSpec.hs -------------------------------------------------------------------------------- /lambda-grin/test/PrimOpSTMSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/PrimOpSTMSpec.hs -------------------------------------------------------------------------------- /lambda-grin/test/PrimOpStablePtrSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/PrimOpStablePtrSpec.hs -------------------------------------------------------------------------------- /lambda-grin/test/PrimOpWeakPtrSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/PrimOpWeakPtrSpec.hs -------------------------------------------------------------------------------- /lambda-grin/test/Spec.hs: -------------------------------------------------------------------------------- 1 | -- file test/Spec.hs 2 | {-# OPTIONS_GHC -F -pgmF hspec-discover #-} 3 | -------------------------------------------------------------------------------- /lambda-grin/test/bug01-letS.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/bug01-letS.lam -------------------------------------------------------------------------------- /lambda-grin/test/c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/c -------------------------------------------------------------------------------- /lambda-grin/test/c-opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/c-opt -------------------------------------------------------------------------------- /lambda-grin/test/circular.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/circular.lam -------------------------------------------------------------------------------- /lambda-grin/test/hof.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/hof.lam -------------------------------------------------------------------------------- /lambda-grin/test/lambda-cg-bug01.grin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/lambda-cg-bug01.grin -------------------------------------------------------------------------------- /lambda-grin/test/sum.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/sum.lam -------------------------------------------------------------------------------- /lambda-grin/test/sum2.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/sum2.lam -------------------------------------------------------------------------------- /lambda-grin/test/sum3.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-grin/test/sum3.lam -------------------------------------------------------------------------------- /lambda-stg-loopback: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambda-stg-loopback -------------------------------------------------------------------------------- /lambdabin-clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lambdabin-clean.sh -------------------------------------------------------------------------------- /lto-stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/lto-stg -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/c.build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/patched-lambda-to-ghc-stg/c.build -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/c.clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/patched-lambda-to-ghc-stg/c.clean -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/c.install: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/patched-lambda-to-ghc-stg/c.install -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/c.repl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/patched-lambda-to-ghc-stg/c.repl -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/patched-lambda-to-ghc-stg/mini-ghc-grin/LICENSE -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/app/genExe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/patched-lambda-to-ghc-stg/mini-ghc-grin/app/genExe.hs -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/app/genObj.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/patched-lambda-to-ghc-stg/mini-ghc-grin/app/genObj.hs -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/app/showGHCStg.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/patched-lambda-to-ghc-stg/mini-ghc-grin/app/showGHCStg.hs -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/mini-ghc-grin.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/patched-lambda-to-ghc-stg/mini-ghc-grin/mini-ghc-grin.cabal -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/src/Lambda/GHCSymbols.hs: -------------------------------------------------------------------------------- 1 | ../../../../ghc-grin/src/Lambda/GHCSymbols.hs -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/src/Lambda/Name.hs: -------------------------------------------------------------------------------- 1 | ../../../../lambda-grin/src/Lambda/Name.hs -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/src/Lambda/Syntax.hs: -------------------------------------------------------------------------------- 1 | ../../../../lambda-grin/src/Lambda/Syntax.hs -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/src/Lambda/ToStg.hs: -------------------------------------------------------------------------------- 1 | ../../../../ghc-grin/src/Lambda/ToStg.hs -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/src/Stg/DeadFunctionElimination.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/patched-lambda-to-ghc-stg/mini-ghc-grin/src/Stg/DeadFunctionElimination.hs -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/src/Stg/DeadFunctionElimination/Analysis.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/patched-lambda-to-ghc-stg/mini-ghc-grin/src/Stg/DeadFunctionElimination/Analysis.hs -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/src/Stg/DeadFunctionElimination/Facts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/patched-lambda-to-ghc-stg/mini-ghc-grin/src/Stg/DeadFunctionElimination/Facts.hs -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/src/Stg/DeadFunctionElimination/StripModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/patched-lambda-to-ghc-stg/mini-ghc-grin/src/Stg/DeadFunctionElimination/StripModule.hs -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/src/Stg/Reconstruct.hs: -------------------------------------------------------------------------------- 1 | ../../../../external-stg-util/src/Stg/Reconstruct.hs -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/src/Stg/ToStg.hs: -------------------------------------------------------------------------------- 1 | ../../../../external-stg/Stg/ToStg.hs -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/src/Stg/Util.hs: -------------------------------------------------------------------------------- 1 | ../../../../external-stg-util/src/Stg/Util.hs -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/src/Stg/ext-stg-liveness.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/patched-lambda-to-ghc-stg/mini-ghc-grin/src/Stg/ext-stg-liveness.dl -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/mini-ghc-grin/src/StgLoopback.hs: -------------------------------------------------------------------------------- 1 | ../../../ghc-grin/src/StgLoopback.hs -------------------------------------------------------------------------------- /patched-lambda-to-ghc-stg/stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/patched-lambda-to-ghc-stg/stack.yaml -------------------------------------------------------------------------------- /roadmap.ghc-grin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/roadmap.ghc-grin -------------------------------------------------------------------------------- /sample/Alt.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/Alt.facts -------------------------------------------------------------------------------- /sample/AltParameter.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/AltParameter.facts -------------------------------------------------------------------------------- /sample/Call.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/Call.facts -------------------------------------------------------------------------------- /sample/CallArgument.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/CallArgument.facts -------------------------------------------------------------------------------- /sample/Case.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/Case.facts -------------------------------------------------------------------------------- /sample/ClosureParameter.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/ClosureParameter.facts -------------------------------------------------------------------------------- /sample/ClosureVariable.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/ClosureVariable.facts -------------------------------------------------------------------------------- /sample/CodeArity.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/CodeArity.facts -------------------------------------------------------------------------------- /sample/EvalMode.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/EvalMode.facts -------------------------------------------------------------------------------- /sample/ExternalFunction.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/ExternalFunction.facts -------------------------------------------------------------------------------- /sample/ExternalParameterType.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/ExternalParameterType.facts -------------------------------------------------------------------------------- /sample/ExternalReturnType.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/ExternalReturnType.facts -------------------------------------------------------------------------------- /sample/FirstInst.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/FirstInst.facts -------------------------------------------------------------------------------- /sample/FunctionParameter.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/FunctionParameter.facts -------------------------------------------------------------------------------- /sample/FunctionType.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/FunctionType.facts -------------------------------------------------------------------------------- /sample/FunctionTypeParameterType.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/FunctionTypeParameterType.facts -------------------------------------------------------------------------------- /sample/FunctionTypeReturnType.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/FunctionTypeReturnType.facts -------------------------------------------------------------------------------- /sample/InitialReachable.facts: -------------------------------------------------------------------------------- 1 | ::Main.main 2 | -------------------------------------------------------------------------------- /sample/IsClosure.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/IsClosure.facts -------------------------------------------------------------------------------- /sample/IsFunction.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/IsFunction.facts -------------------------------------------------------------------------------- /sample/IsTypeVariable.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/IsTypeVariable.facts -------------------------------------------------------------------------------- /sample/Move.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/Move.facts -------------------------------------------------------------------------------- /sample/NextInst.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/NextInst.facts -------------------------------------------------------------------------------- /sample/Node.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/Node.facts -------------------------------------------------------------------------------- /sample/NodeArgument.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/NodeArgument.facts -------------------------------------------------------------------------------- /sample/NodeRole.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/NodeRole.facts -------------------------------------------------------------------------------- /sample/RecGroup.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/RecGroup.facts -------------------------------------------------------------------------------- /sample/ReturnValue.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/ReturnValue.facts -------------------------------------------------------------------------------- /sample/TypeNode.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/TypeNode.facts -------------------------------------------------------------------------------- /sample/TypeNodeArgument.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/TypeNodeArgument.facts -------------------------------------------------------------------------------- /sample/tsumupto.2.lambda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/tsumupto.2.lambda -------------------------------------------------------------------------------- /sample/tsumupto.2.lambdabin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/tsumupto.2.lambdabin -------------------------------------------------------------------------------- /sample/tsumupto.2.lambdabin.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/tsumupto.2.lambdabin.dl -------------------------------------------------------------------------------- /sample/tsumupto.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/tsumupto.hs -------------------------------------------------------------------------------- /sample/tsumupto.lambda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/tsumupto.lambda -------------------------------------------------------------------------------- /sample/tsumupto.lambdabin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/tsumupto.lambdabin -------------------------------------------------------------------------------- /sample/tsumupto.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/sample/tsumupto.out -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/stack.yaml -------------------------------------------------------------------------------- /stg-to-grin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/stg-to-grin -------------------------------------------------------------------------------- /stgbin-clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/stgbin-clean.sh -------------------------------------------------------------------------------- /stgbin-ls.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grin-compiler/ghc-grin/HEAD/stgbin-ls.sh -------------------------------------------------------------------------------- /stgbin-watch.sh: -------------------------------------------------------------------------------- 1 | set -e -x 2 | 3 | watch "find . -name '*_stgbin' | wc -l" --------------------------------------------------------------------------------