Skip to content

Commit

Permalink
Checkpoint during compilation.
Browse files Browse the repository at this point in the history
  • Loading branch information
Richard Eisenberg committed May 27, 2013
1 parent adc5062 commit 0276b49
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
2 changes: 1 addition & 1 deletion compiler/parser/Parser.y.pp
Expand Up @@ -679,7 +679,7 @@
| '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
Expand Down
1 change: 1 addition & 0 deletions compiler/types/CoAxiom.lhs
Expand Up @@ -11,6 +11,7 @@
module CoAxiom (
Branched, Unbranched, BranchFlag(..), BranchIndex, BranchList(..),
isBranched,
toBranchList, fromBranchList,
toBranchedList, toUnbranchedList,
brListLength, brListNth, brListMap, brListFoldr,
Expand Down

0 comments on commit 0276b49

Please sign in to comment.