... | ... | @@ -55,6 +55,8 @@ Here are the projects we're currently working on: |
|
|
>
|
|
|
> This is all still very much experimental, and it is not clear whether it will ever be in GHC proper. It depends on whether we can achieve good enough performance, amongst other things. All we can say for now is that the approach is promising. You can find KC's work on the `ghc-lwc` branch of the git repo.
|
|
|
|
|
|
- **Full support for GHCi on ARM** (Ben Gamari). Thanks to Ben, we now have support for ARM in the GHCi linker \[21\]. This will be shipped in 7.4.2 (it wasn't in 7.4.1).
|
|
|
|
|
|
\[1\][ http://hackage.haskell.org/trac/ghc/query?status=closed&order=priority&col=id&col=summary&col=status&col=owner&col=type&col=priority&col=component&milestone=7.4.2&resolution=fixed](http://hackage.haskell.org/trac/ghc/query?status=closed&order=priority&col=id&col=summary&col=status&col=owner&col=type&col=priority&col=component&milestone=7.4.2&resolution=fixed)
|
|
|
\[2\][ http://hackage.haskell.org/trac/ghc/wiki/Status/Oct11](http://hackage.haskell.org/trac/ghc/wiki/Status/Oct11)
|
|
|
\[3\][http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/kind-polymorphism-and-promotion.html\#kind-polymorphism](http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/kind-polymorphism-and-promotion.html#kind-polymorphism)
|
... | ... | @@ -73,4 +75,5 @@ Here are the projects we're currently working on: |
|
|
\[17\] Equality proofs and deferred type errors [ http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/](http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/)
|
|
|
\[18\] Holes in GHC: [ http://hackage.haskell.org/trac/ghc/wiki/Holes](http://hackage.haskell.org/trac/ghc/wiki/Holes)
|
|
|
\[19\] Modular type inference with local assumptions: OutsideIn(X) [ http://www.haskell.org/haskellwiki/Simonpj/Talk:OutsideIn](http://www.haskell.org/haskellwiki/Simonpj/Talk:OutsideIn)
|
|
|
\[20\] Type level literals. [ http://hackage.haskell.org/trac/ghc/wiki/TypeNats/Basics](http://hackage.haskell.org/trac/ghc/wiki/TypeNats/Basics) |
|
|
\ No newline at end of file |
|
|
\[20\] Type level literals. [ http://hackage.haskell.org/trac/ghc/wiki/TypeNats/Basics](http://hackage.haskell.org/trac/ghc/wiki/TypeNats/Basics)
|
|
|
\[21\] ARM linker support. [ http://hackage.haskell.org/trac/ghc/changeset/27302c9094909e04eb73f200d52d5e9370c34a8a](http://hackage.haskell.org/trac/ghc/changeset/27302c9094909e04eb73f200d52d5e9370c34a8a) |
|
|
\ No newline at end of file |