Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
@@ -50,7 +50,17 @@ Meanwhile others have been adding new features.
- type level natural numbers \[**Iavor S. Diatchki**\]
- overlapping type families \[**Richard Eisenberg**\]
-**Ordered overlapping type family instances.** Richard Eisenberg has implemented support for ordered overlapping type family instances, called *branched* instances. This allows type-level functions to use patterns in a similar way to term-level functions. For example:
```wiki
type family Equals (x :: *) (y :: *) :: Bool
type instance where
Equals x x = True
Equals x y = False
```
Details can be found in the wiki page \[2\].
## Back end and code generation
...
...
@@ -81,4 +91,4 @@ Meanwhile others have been adding new features.
- cross-compilation \[**Stephen Blackheath**\]
\[1\] The new codegen is nearly ready to go live [ http://hackage.haskell.org/trac/ghc/blog/newcg-update](http://hackage.haskell.org/trac/ghc/blog/newcg-update)
\ No newline at end of file
\[1\] Overlapping type family instances: [ http://hackage.haskell.org/trac/ghc/wiki/NewAxioms](http://hackage.haskell.org/trac/ghc/wiki/NewAxioms)\[2\] The new codegen is nearly ready to go live [ http://hackage.haskell.org/trac/ghc/blog/newcg-update](http://hackage.haskell.org/trac/ghc/blog/newcg-update)
