Showing
- compiler/supercompile/Supercompile/Drive/Process2.hs 333 additions, 0 deletionscompiler/supercompile/Supercompile/Drive/Process2.hs
- compiler/supercompile/Supercompile/Drive/Process3.hs 818 additions, 0 deletionscompiler/supercompile/Supercompile/Drive/Process3.hs
- compiler/supercompile/Supercompile/Drive/Split.hs 1263 additions, 0 deletionscompiler/supercompile/Supercompile/Drive/Split.hs
- compiler/supercompile/Supercompile/Drive/Split2.hs 828 additions, 0 deletionscompiler/supercompile/Supercompile/Drive/Split2.hs
- compiler/supercompile/Supercompile/Evaluator/Deeds.hs 60 additions, 0 deletionscompiler/supercompile/Supercompile/Evaluator/Deeds.hs
- compiler/supercompile/Supercompile/Evaluator/Evaluate.hs 697 additions, 0 deletionscompiler/supercompile/Supercompile/Evaluator/Evaluate.hs
- compiler/supercompile/Supercompile/Evaluator/FreeVars.hs 113 additions, 0 deletionscompiler/supercompile/Supercompile/Evaluator/FreeVars.hs
- compiler/supercompile/Supercompile/Evaluator/Residualise.hs 109 additions, 0 deletionscompiler/supercompile/Supercompile/Evaluator/Residualise.hs
- compiler/supercompile/Supercompile/Evaluator/Syntax.hs 512 additions, 0 deletionscompiler/supercompile/Supercompile/Evaluator/Syntax.hs
- compiler/supercompile/Supercompile/GHC.hs 225 additions, 0 deletionscompiler/supercompile/Supercompile/GHC.hs
- compiler/supercompile/Supercompile/StaticFlags.hs 263 additions, 0 deletionscompiler/supercompile/Supercompile/StaticFlags.hs
- compiler/supercompile/Supercompile/Termination/Combinators.hs 321 additions, 0 deletions...iler/supercompile/Supercompile/Termination/Combinators.hs
- compiler/supercompile/Supercompile/Termination/Generaliser.hs 47 additions, 0 deletions...iler/supercompile/Supercompile/Termination/Generaliser.hs
- compiler/supercompile/Supercompile/Termination/TagBag.hs 76 additions, 0 deletionscompiler/supercompile/Supercompile/Termination/TagBag.hs
- compiler/supercompile/Supercompile/Utilities.hs 989 additions, 0 deletionscompiler/supercompile/Supercompile/Utilities.hs
- compiler/supercompile/chsc-plugin.cabal 49 additions, 0 deletionscompiler/supercompile/chsc-plugin.cabal
- compiler/supercompile/install-plugin-inplace 8 additions, 0 deletionscompiler/supercompile/install-plugin-inplace
- compiler/typecheck/TcBinds.lhs 21 additions, 18 deletionscompiler/typecheck/TcBinds.lhs
- compiler/typecheck/TcClassDcl.lhs 2 additions, 2 deletionscompiler/typecheck/TcClassDcl.lhs
- compiler/typecheck/TcInstDcls.lhs 4 additions, 4 deletionscompiler/typecheck/TcInstDcls.lhs
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
compiler/supercompile/Supercompile/GHC.hs
0 → 100644
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
compiler/supercompile/chsc-plugin.cabal
0 → 100644
compiler/supercompile/install-plugin-inplace
0 → 100755
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.