[commit: ghc] overlapping-tyfams: Checkpoint during compilation. (0276b49)

Richard Eisenberg eir at cis.upenn.edu
Fri Jun 21 15:16:14 CEST 2013


Repository : http://darcs.haskell.org/ghc.git/

On branch  : overlapping-tyfams

https://github.com/ghc/ghc/commit/0276b4966bd1ec50c7236cdc9d480873f0c33b2b

>---------------------------------------------------------------

commit 0276b4966bd1ec50c7236cdc9d480873f0c33b2b
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Mon May 27 21:33:33 2013 +0100

    Checkpoint during compilation.

>---------------------------------------------------------------

 compiler/parser/Parser.y.pp | 2 +-
 compiler/types/CoAxiom.lhs  | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/parser/Parser.y.pp b/compiler/parser/Parser.y.pp
index 0541f21..67a02d1 100644
--- a/compiler/parser/Parser.y.pp
+++ b/compiler/parser/Parser.y.pp
@@ -679,7 +679,7 @@ inst_decl :: { LInstDecl RdrName }
         | 'type' 'instance' maybe_type_space 'where' ty_fam_inst_eqn_list
                 {% do { L loc tfi <- mkTyFamInstGroup (comb2 $1 $5)
                                        (unLoc $3) (unLoc $5)
-                      ; return (L loc (TyFamInstD ( tfid_inst = tfi })) } }
+                      ; return (L loc (TyFamInstD { tfid_inst = tfi })) } }
 
           -- data/newtype instance declaration
         | data_or_newtype 'instance' tycl_hdr constrs deriving
diff --git a/compiler/types/CoAxiom.lhs b/compiler/types/CoAxiom.lhs
index 4a2820f..f11190e 100644
--- a/compiler/types/CoAxiom.lhs
+++ b/compiler/types/CoAxiom.lhs
@@ -11,6 +11,7 @@
 
 module CoAxiom (
        Branched, Unbranched, BranchFlag(..), BranchIndex, BranchList(..),
+       isBranched,
        toBranchList, fromBranchList,
        toBranchedList, toUnbranchedList,
        brListLength, brListNth, brListMap, brListFoldr,





More information about the ghc-commits mailing list