Updated documentation; changed "group" to "branched" in type families
Showing
- compiler/iface/IfaceSyn.lhs 5 additions, 5 deletionscompiler/iface/IfaceSyn.lhs
- compiler/iface/MkIface.lhs 6 additions, 6 deletionscompiler/iface/MkIface.lhs
- compiler/iface/TcIface.lhs 2 additions, 2 deletionscompiler/iface/TcIface.lhs
- compiler/typecheck/FamInst.lhs 5 additions, 5 deletionscompiler/typecheck/FamInst.lhs
- compiler/types/CoAxiom.lhs 1 addition, 1 deletioncompiler/types/CoAxiom.lhs
- compiler/types/FamInstEnv.lhs 63 additions, 49 deletionscompiler/types/FamInstEnv.lhs
- compiler/types/OptCoercion.lhs 1 addition, 1 deletioncompiler/types/OptCoercion.lhs
- compiler/types/Unify.lhs 16 additions, 2 deletionscompiler/types/Unify.lhs
Loading
Please register or sign in to comment