#3843: Merge plugins into HEAD
---------------------------------+------------------------------------------
Reporter: dreixel | Owner: simonpj
Type: task | Status: new
Priority: normal | Milestone: 7.0.2
Component: Compiler | Version: 6.13
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Changes (by shelarcy):
* cc: shelarcy@… (added)
Comment:
I'd like to use some plugins when plugins is merged to ghc HEAD branch.
So, I write an opinion about plugin users' point of view.
I want to use strict-ghc-plugins. Off course I know that ghc's profiler
supports to find space leak problem. But I want adding strict-ghc-plugins
in my toolbox to solve space leak problem.
https://github.com/thoughtpolice/strict-ghc-plugin
I want to use supercompiler plugin. I think Neil Mitchell will provide
plugin version of supero after plugins is merged. (From this mail, Neil is
interested in plugin. http://www.haskell.org/pipermail/glasgow-haskell-
users/2011-January/019901.html So, I think he will provide plugin version
of supero.) I also think that somebody else can provide alternative
supercompilation system as a plugin. I'd like to trying to use these
system for optimizing my program.
http://hackage.haskell.org/package/supero
And if someone write plugin version of Static contract checking, then I
want to use that. I think merging Static contract checking is difficult.
Because compiler becomes slow when merging Static contract checking. But
if plugins would be merged, we could make plugin version more easily.
http://research.microsoft.com/en-
us/um/people/simonpj/papers/verify/index.htm
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3843#comment:15>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
