Repository : ssh://darcs.haskell.org//srv/darcs/testsuite
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/0b4b7a9480b4ba5f7b7019a611e51c8ec4b4b31c
---
commit 0b4b7a9480b4ba5f7b7019a611e51c8ec4b4b31c
Author: Richard
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/851e4e7619200a11cfc9bda4bee6072b0245504b
---
commit 851e4e7619200a11cfc9bda4bee6072b0245504b
Author: Richard
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/5765248bbcc55a65e39e2e097a973071889cba67
---
commit 5765248bbcc55a65e39e2e097a973071889cba67
Author: Richard
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/7228d50df2a07ce997e68d90cc023814e6b55af1
---
commit 7228d50df2a07ce997e68d90cc023814e6b55af1
Author: Richard
: 29193cd... d3e2912...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Fri Dec 21 19:10:00 2012 -0500
Merge branch 'master' into overlapping-tyfams
Conflicts:
compiler/basicTypes/MkId.lhs
compiler/hsSyn/Convert.lhs
compiler/types/FamInstEnv.lhs
compiler
: Richard Eisenberg e...@cis.upenn.edu
Date: Fri Dec 21 20:36:19 2012 -0500
Edited added code to work with overlapping tyfams.
---
compiler/basicTypes/MkId.lhs |7 ---
1 files changed, 4 insertions(+), 3 deletions(-)
diff
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
Branch 'overlapping-tyfams' now includes:
566920c... Add -funbox-strict-primitive-fields
e4feb52... fix description of ghci instance env bug
250f026... fix code in library initialisation example (#7471)
27770ae... Invalidate
: Richard Eisenberg e...@cis.upenn.edu
Date: Fri Dec 21 10:28:09 2012 -0500
Fixed tcApartTys to work; changed singleton to unbranched.
compiler/basicTypes/MkId.lhs | 20 +-
compiler/typecheck/TcBinds.lhs|2 +-
compiler/typecheck/TcDeriv.lhs
: 063c8db... 4f6baef...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Fri Dec 21 19:11:38 2012 -0500
Merge branch 'master' into overlapping-tyfams
Conflicts:
tests/th/all.T
config/ghc |3 +
driver/testglobals.py
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite
Branch 'overlapping-tyfams' now includes:
b2c5047... Add test for -funbox-strict-primitive-fields
6fec11b... Test Trac #7445
fbfb43d... Merge branch 'master' of http://darcs.haskell.org/testsuite
fd681c4... add test
: aa9d6ce... a6ab966...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Fri Dec 21 19:16:10 2012 -0500
Merge branch 'master' into overlapping-tyfams
Conflicts:
src/Haddock/Convert.hs
src/Haddock/Convert.hs | 24 ++--
1 files changed, 14 insertions
Repository : ssh://darcs.haskell.org//srv/darcs/haddock
Branch 'overlapping-tyfams' now includes:
a6ab966... Track changes in UNPACK pragma stuff
8d3c11a... Merge branch 'master' into overlapping-tyfams
___
Cvs-ghc mailing list
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/8366792eede3c8eb486ff15d8c8e62e9363f1959
---
commit 8366792eede3c8eb486ff15d8c8e62e9363f1959
Author: Richard
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/80cac93f030cd0bbd5ff8dd197effaacf6ae651d
---
commit 80cac93f030cd0bbd5ff8dd197effaacf6ae651d
Author: Richard
Repository : ssh://darcs.haskell.org//srv/darcs/haddock
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/8bdd26e3d2864151c4d0dccbc530c2deac362892
---
commit 8bdd26e3d2864151c4d0dccbc530c2deac362892
Author: Richard
From: cvs-ghc-boun...@haskell.org [mailto:cvs-ghc-boun...@haskell.org] On
Behalf Of Richard Eisenberg
Sent: 01 December 2012 16:31
To: Iavor Diatchki
Cc: Iavor Diatchki; cvs-ghc
Subject: Re: RFC: Singleton equality witnesses
A few points of response:
- The 'Not' that I am proposing
: Richard Eisenberg e...@cis.upenn.edu
Date: Mon Dec 3 12:54:36 2012 -0500
Removed confluent overlap check from branched type family instances.
It was discovered that confluent overlap within groups implemented
the obvious way doesn't support substitution. We (Simon PJ,
Stephanie
: Richard Eisenberg e...@cis.upenn.edu
Date: Sat Dec 1 17:37:13 2012 -0500
Used a GADT to control appropriate use of functions on singleton axioms.
The list of branches in CoAxioms and in FamInsts is now a BranchList b,
where the type index b is either Branched or Unbranched
: Richard Eisenberg e...@cis.upenn.edu
Date: Tue Dec 4 08:57:13 2012 -0500
Updated Template Haskell to reflect branched type family instances.
compiler/deSugar/DsMeta.hs | 67 +-
compiler/hsSyn/Convert.lhs | 25 +--
compiler/typecheck
: Richard Eisenberg e...@cis.upenn.edu
Date: Tue Dec 4 13:45:29 2012 -0500
Updated user manual to include a section on branched type family
instances.
---
docs/users_guide/glasgow_exts.xml | 96
: Richard Eisenberg e...@cis.upenn.edu
Date: Wed Dec 5 12:29:55 2012 -0500
Made a new file types/CoAxiom.lhs to declare CoAxioms, and updated
docs/core-spec to reflect new axioms.
compiler/basicTypes/MkId.lhs |1 +
compiler/coreSyn/CoreLint.lhs
: 86e4ca3... e6ce335...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Tue Dec 4 13:58:04 2012 -0500
Merge branch 'master' into overlapping-tyfams
Conflicts:
compiler/types/TyCon.lhs
.gitignore |1 -
.gitmodules
: 467d575... b0626b6...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Wed Dec 5 12:33:46 2012 -0500
Merge branch 'master' into overlapping-tyfams
compiler/basicTypes/DataCon.lhs |8 ++-
compiler/iface/LoadIface.lhs | 92 +---
compiler/main
: Richard Eisenberg e...@cis.upenn.edu
Date: Thu Dec 6 20:26:44 2012 -0500
Change output of CoAxioms to look prettier.
---
compiler/types/Coercion.lhs |2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/compiler
: Richard Eisenberg e...@cis.upenn.edu
Date: Thu Dec 6 20:06:56 2012 -0500
Miscellaneous bug fixes that came up during validation.
---
compiler/typecheck/TcDeriv.lhs | 13 ++---
compiler/typecheck/TcInstDcls.lhs |2
: 77e5aa7... 9b2882c...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Thu Dec 6 20:32:34 2012 -0500
Merge branch 'master' into overlapping-tyfams
aclocal.m4|2 +-
compiler/ghc.cabal.in | 10 +--
compiler/ghc.mk | 20 +++-
compiler
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
Branch 'overlapping-tyfams' now includes:
2334112... Fix broken -fPIC on Darwin/PPC (#7442)
77ef6ca... Replace all uses of ghcError with throwGhcException and purge
ghcError.
10edb42... Whitespace only in
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Tue Dec 4 08:56:39 2012 -0500
Updated Template Haskell tests to reflect change to TySynInstD.
---
tests/th/TH_TyInstWhere1.hs | 17 +
tests/th/TH_TyInstWhere1
: 741f6be... 7ef55d7...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Wed Dec 5 12:33:56 2012 -0500
Merge branch 'master' into overlapping-tyfams
tests/polykinds/Holdermans.hs | 11 ---
tests/polykinds/Holdermans.stderr |6 --
tests/polykinds/T7347.hs
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Mon Dec 3 12:53:44 2012 -0500
Updated test cases to reflect removal of type instance where confluent
overlap checking.
---
.../Overlap6.hs = should_compile/Overlap12.hs}|8
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Thu Dec 6 21:15:54 2012 -0500
Changed expected output of one test to account for pretty-printer
change.
---
tests/indexed-types/should_compile/T3017.stderr |2 +-
1 files
: 4dd52e0... f639a1b...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Tue Dec 4 13:58:23 2012 -0500
Merge branch 'master' into overlapping-tyfams
mk/boilerplate.mk |3 +++
tests/safeHaskell/check/pkg01/all.T|6 +-
tests
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Thu Dec 6 20:26:08 2012 -0500
Update to various tests to reflect output changes due to overlapping
type family instances.
---
tests/simplCore/should_compile/Makefile |2
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite
Branch 'overlapping-tyfams' now includes:
44229bb... Test for #7162: RULES that never fire automatically
e7a338e... Use python2 if it exists. Based on a patch from michalt. Fixes
#7333.
b593173... Make some tests
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Tue Dec 4 13:49:58 2012 -0500
Updated test to pass with new TySynInstD in Template Haskell.
---
tests/th/T5886a.hs |2 +-
tests/th/all.T |6 ++
2 files changed, 7
: c45f106... de8476a...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Tue Dec 4 13:58:34 2012 -0500
Merge branch 'master' into overlapping-tyfams
haddock.cabal |4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
___
Cvs-ghc mailing
: Richard Eisenberg e...@cis.upenn.edu
Date: Wed Dec 5 12:31:15 2012 -0500
Change to reflect addition of CoAxiom.lhs.
---
src/Haddock/Convert.hs |5 +++--
1 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/src
: Richard Eisenberg e...@cis.upenn.edu
Date: Thu Dec 6 20:30:29 2012 -0500
Change to reflect use of BranchLists instead of normal lists.
---
src/Haddock/Convert.hs |2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff
Repository : ssh://darcs.haskell.org//srv/darcs/haddock
Branch 'overlapping-tyfams' now includes:
de8476a... Update dependencies
b59fa3a... Merge branch 'master' into overlapping-tyfams
be05403... Change to reflect addition of CoAxiom.lhs.
aa9d6ce... Change to reflect use of
: Richard Eisenberg e...@cis.upenn.edu
Date: Thu Dec 6 22:01:39 2012 -0500
Change in comments
---
compiler/types/FamInstEnv.lhs |4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/compiler/types/FamInstEnv.lhs b
On Dec 1, 2012, at 5:46 PM, Gábor Lehel wrote:
Hmm, isn't TypeRep also used to represent types of other kinds,
though, not just *?
Yes, of course. Silly me.
Richard
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
on?
-Iavor
On Fri, Nov 30, 2012 at 7:56 AM, Richard Eisenberg e...@cis.upenn.edu wrote:
I like the idea of being able to produce a witness of equality like this. I
see that unsafeCoerce is necessary to write instances for Nat and Symbol, but
it wouldn't be necessary for inductively
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/2332b4be2f74092bffb3ab338c8669d104a46196
---
commit 2332b4be2f74092bffb3ab338c8669d104a46196
Author: Richard
, if applicable. Note that these labels are
+mandatory in Ott.
+
+If you need help with these files or do not know how to edit them, please
+contact Richard Eisenberg (e...@cis.upenn.edu).
+
+[1] http://www.cl.cam.ac.uk/~pes20/ott/
+[2] http://www.cl.cam.ac.uk/~pes20/ott/ott_manual_0.21.2.pdf
\ No newline
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/81b7e5873f97c9e34aaf77e3591add04bd2a2ad4
---
commit 81b7e5873f97c9e34aaf77e3591add04bd2a2ad4
Author: Richard
... cfb9696...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Sat Dec 1 12:06:49 2012 -0500
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
compiler/ghc.cabal.in|2 +-
ghc/ghc-bin.cabal.in |2 +-
libraries/Cabal |2 +-
libraries/haskeline
I like the idea of being able to produce a witness of equality like this. I see
that unsafeCoerce is necessary to write instances for Nat and Symbol, but it
wouldn't be necessary for inductively defined singletons.
I don't think that sameSing should be in the SingE class, because not all
: Richard Eisenberg e...@cis.upenn.edu
Date: Tue Nov 27 17:46:49 2012 -0500
Continued polishing of overlapping type family instances.
This commit includes the following:
- Implementation of core linting new branched coercions
- Addition of a function tcApartTys which checks
: 021ca7b... 086d7c5...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Wed Nov 28 11:46:26 2012 -0500
Merge branch 'master' into overlapping-tyfams
Conflicts:
compiler/typecheck/TcForeign.lhs
.gitignore| 12 ---
.gitmodules
: Richard Eisenberg e...@cis.upenn.edu
Date: Wed Nov 28 09:21:43 2012 -0500
Removed tabs from RnSource and FamInstEnv
compiler/rename/RnSource.lhs | 50 +-
compiler/types/FamInstEnv.lhs | 60
2 files changed, 55
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
Branch 'overlapping-tyfams' now includes:
7babb1b... Big changes on tc-untouchables branch
5b4fef6... When floating constraints outwards, promote the floated type
variables
0d55e1e... Avoid emitting Given constraints for
: 728f4cf... 31c0717...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Wed Nov 21 10:34:37 2012 -0500
Merge branch 'master' into overlapping-tyfams
Conflicts:
compiler/coreSyn/ExternalCore.lhs
compiler/coreSyn/MkExternalCore.lhs
compiler/coreSyn/TrieMap.lhs
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Wed Nov 21 14:43:29 2012 -0500
Updated stderr output on indexed-types tests
---
tests/indexed-types/should_compile/T3017.stderr |2 +-
tests/indexed-types/should_fail/Overlap10
: e2804a8... 2ad3ed1...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Sun Sep 9 23:23:56 2012 +0200
Merge branch 'master' into overlapping-tyfams
haddock.cabal |1 +
src/Haddock/Interface/Create.hs | 54
src/Haddock
: Richard Eisenberg e...@cis.upenn.edu
Date: Wed Nov 21 15:53:21 2012 -0500
Fixed merging errors
---
src/Haddock/Convert.hs | 54 +++---
src/Haddock/Interface/Rename.hs |6 +++-
src
: 9c7080f... ddd1c8b...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Wed Nov 28 11:47:08 2012 -0500
Merge branch 'master' into overlapping-tyfams
tests/ghci/prog012/Bar1.hs |1 +
tests/ghci/prog012/Bar2.hs |3 +
tests/ghci
: 84fac41... 1baca3e...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Wed Nov 21 10:40:00 2012 -0500
Merge branch 'master' into overlapping-tyfams
Conflicts:
src/Haddock/Convert.hs
ghc.mk |3 ++-
src/Haddock/Convert.hs | 15
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite
Branch 'overlapping-tyfams' now includes:
58ed0ae... Accept error message changes
2c62b4f... Update performance figure
13ee7f6... Accept error message changes
5957802... Update perf test bounds
05ee370... Test
Repository : ssh://darcs.haskell.org//srv/darcs/haddock
Branch 'overlapping-tyfams' now includes:
671b211... Improve haddock memory usage
2ad3ed1... Remove some temporary pragmas I accidentally recorded
84fac41... Merge branch 'master' into overlapping-tyfams
a1d2c63...
: 822a3a8... 8959351...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Wed Nov 21 10:42:14 2012 -0500
Merge branch 'master' into overlapping-tyfams
Conflicts:
tests/indexed-types/should_compile/T3017.stderr
tests/indexed-types/should_fail/all.T
config/ghc
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Wed Nov 21 09:39:50 2012 -0500
Updated tests for overlapping type family instances, including
changing a number of .stderr files to fit new printouts.
tests/indexed-types/should_compile/T3017.stderr|2 +-
tests/indexed-types
: 548f066... 7ad5ea6...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Sun Sep 9 23:25:21 2012 +0200
Fixing conflicts after merge with master
driver/testlib.py |5 +
tests/cabal/cabal04/Makefile |5 +-
tests/codeGen
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite
Branch 'overlapping-tyfams' now includes:
f306e73... Accept error change
94cdb53... Update T7022 to test more as per the ticket
5639614... Tweak some limits in performance tests.
79cbbaa... Add test for #7130
: 01b5511... c3b6b3f...
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Sun Sep 9 23:23:18 2012 +0200
Fixing conflicts from merge with master
compiler/basicTypes/BasicTypes.lhs |2 +-
compiler/basicTypes/RdrName.lhs| 21 +-
compiler/cmm/CLabel.hs
: Richard Eisenberg e...@cis.upenn.edu
Date: Tue Oct 2 21:47:24 2012 -0400
reverting changes from first (bad) implementation
compiler/typecheck/FamInst.lhs| 38 ++-
compiler/typecheck/TcExpr.lhs |8 +-
compiler/typecheck/TcInteract.lhs |7
: Richard Eisenberg e...@cis.upenn.edu
Date: Tue Oct 2 21:47:49 2012 -0400
Revert Fixed bugs in overlapping type families caught by regression
testing.
Part of reverting old (bad) implementation of overlapping type families.
This reverts commit
: Richard Eisenberg e...@cis.upenn.edu
Date: Tue Oct 2 21:51:00 2012 -0400
Continuing to revert old bad implementation of overlapping type families
compiler/deSugar/Desugar.lhs |4 +-
compiler/iface/BinIface.hs| 23 +-
compiler/iface
: Richard Eisenberg e...@cis.upenn.edu
Date: Thu Oct 18 16:39:39 2012 -0400
Reimplemented overlapping type family instances through a change
in the CoAxiom type, instead of just a change in FamInst. The new
CoAxiom supports multiple CoAxBranches. The use of a CoAxiom,
say
: Richard Eisenberg e...@cis.upenn.edu
Date: Sun Nov 4 22:03:10 2012 -0500
Fixed iface-loading bug, with Simon PJ's help.
The problem was that mkImportedFamInst was strict in the CoAxiom
passed to it. It is now lazy in this parameter. There are a handful
of other refectorings
: Richard Eisenberg e...@cis.upenn.edu
Date: Wed Nov 21 09:36:02 2012 -0500
Fixed bugs in overlapping type family instances.
The biggest change is adding group tracking -- whether or not
an instance was declared with group syntax. This allows finer control
over when to allow
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
Branch 'overlapping-tyfams' now includes:
cb07cb7... Always define startProfTimer and stopProfTimer
c4d75a7... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
7299487... Follow RTS symbol changes in Linker.c
I would like to use install the transformers library onto HEAD. I tried the
following steps:
- Fresh checkout of HEAD
- BuildFlavour = quick
- perl boot; configure; make
- make install
- cabal install transformers
Cabal errors in looking for Data.Traversable, suggesting that I need the
How does this relate to
http://hackage.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal ?
I seem to recall seeing an email/post/something recently indicating that the
plan on the wiki page was currently being implemented.
Thanks,
Richard
On Sep 15, 2012, at 4:32 AM, Simon Peyton-Jones
Author: Richard Eisenberg e...@cis.upenn.edu
Date: Thu Aug 16 16:47:51 2012 -0400
Added tests to cover overlapping type family instances.
tests/indexed-types/should_compile/Overlap1.hs | 14 ++
tests/indexed-types/should_compile/Overlap11.hs | 15 +++
tests/indexed
: Richard Eisenberg e...@cis.upenn.edu
Date: Thu Aug 16 11:13:43 2012 -0400
Allowed instance groups to match applications even coinciding.
See Note [Confluence checking within groups] in types/FamInstEnv.lhs
for the gory details. Also did some refactoring, including eliminating
: Richard Eisenberg e...@cis.upenn.edu
Date: Thu Aug 16 16:22:13 2012 -0400
Added check to find inaccessible equations in family instance groups.
This check uses the isDominatedBy function in types/FamInstEnv, which
is currently incomplete. Thus, it is possible some inaccessible
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
New branch : overlapping-tyfams
Referencing: 07483e4cc2ce2bc632c759520d7167d735846be7
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
: Richard Eisenberg e...@seas.upenn.edu
Date: Fri Jul 13 18:53:12 2012 +0100
Reshuffled definitions in HsDecls to keep related pieces
closer together.
compiler/hsSyn/HsDecls.lhs | 161 ++--
1 files changed, 80 insertions(+), 81 deletions(-)
Diff
: Richard Eisenberg e...@seas.upenn.edu
Date: Fri Jul 13 19:37:15 2012 +0100
Refactored ClsInstD constructor of InstDecl to use a ClsInstDecl
type, upon recommendation of Simon PJ.
compiler/deSugar/DsMeta.hs| 13 -
compiler/hsSyn/Convert.lhs|2 +-
compiler
: Richard Eisenberg e...@seas.upenn.edu
Date: Fri Jul 13 23:23:33 2012 +0100
Changed constructor of TyClDecl: TyDecl -- SynDecl as per
Simon PJ's request.
compiler/deSugar/DsMeta.hs |2 +-
compiler/hsSyn/Convert.lhs |2 +-
compiler/hsSyn/HsDecls.lhs | 12
: Richard Eisenberg e...@seas.upenn.edu
Date: Fri Jul 27 08:18:18 2012 -0700
Fixed typo in earlier fix to #7022, as per Simon PJ.
---
compiler/iface/MkIface.lhs |4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff --git
: Richard Eisenberg e...@seas.upenn.edu
Date: Mon Aug 6 11:02:07 2012 -0400
Revert Fixed typo in earlier fix to #7022, as per Simon PJ.
This reverts commit 8bedd344dcc9a03d2d29c6fb978ed4fe0a62dcf2.
---
compiler/iface
: df58a15... 190c555...
Author: Richard Eisenberg e...@seas.upenn.edu
Date: Mon Aug 6 11:02:37 2012 -0400
Merge branch 'master' of http://darcs.haskell.org/ghc
aclocal.m4 | 16 +-
compiler/cmm/Cmm.hs| 15 +-
compiler/cmm
: Richard Eisenberg e...@seas.upenn.edu
Date: Tue Aug 7 11:13:06 2012 -0400
Note to self about modifying typechecking algorithm later
---
compiler/types/FamInstEnv.lhs |1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff
: 30ce619... 73ab57d...
Author: Richard Eisenberg e...@seas.upenn.edu
Date: Mon Aug 6 11:11:52 2012 -0400
Merged changes into branch, fixing conflicts.
aclocal.m4 | 16 +-
compiler/basicTypes/Literal.lhs|9 +-
compiler/basicTypes
: d992a96... d801c96...
Author: Richard Eisenberg e...@seas.upenn.edu
Date: Sun Aug 12 21:34:56 2012 -0400
Merge branch 'master' into overlapping-tyfams
compiler/cmm/CmmCallConv.hs| 52 +++---
compiler/cmm/CmmContFlowOpt.hs | 13 +-
compiler/cmm/CmmExpr.hs
: Richard Eisenberg e...@seas.upenn.edu
Date: Mon Aug 13 10:29:25 2012 -0400
Bug fix: check don't derive default family instances for both type and data
families when a local instance exists
---
compiler/typecheck/TcInstDcls.lhs
: Richard Eisenberg e...@seas.upenn.edu
Date: Mon Aug 13 13:56:42 2012 -0400
Fixed bugs in overlapping type families caught by regression testing.
---
compiler/typecheck/TcInstDcls.lhs | 20 ++--
compiler/types
: dceb3fa... bcc20b6...
Author: Richard Eisenberg e...@seas.upenn.edu
Date: Sun Aug 12 21:35:37 2012 -0400
Merge branch 'master' into overlapping-tyfams
src/Haddock/Interface.hs |3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
___
Cvs
: Richard Eisenberg e...@seas.upenn.edu
Date: Tue Aug 7 11:12:00 2012 -0400
Updates to Haddock to deal with changes in Hs syntax tree
src/Haddock/Backends/Hoogle.hs | 19 +++---
src/Haddock/Backends/LaTeX.hs| 20 +++---
src/Haddock/Backends/Xhtml.hs
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite
New branch : overlapping-tyfams
Referencing: 543e8564115b470b90c46fcd59895e152a2724ff
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Author: Richard Eisenberg e...@seas.upenn.edu
Date: Mon Aug 13 09:23:37 2012 -0400
Updated expected output of some test cases to reflect changes
---
.../indexed-types/should_fail/SimpleFail2a.stderr |5 +
tests/indexed-types
, did you try cleaning everything?
% make distclean
% perl boot
% ./configure
% make
Manuel
Richard Eisenberg e...@cis.upenn.edu:
Has anyone tried building on Lion with XCode 4.3?
My first attempt failed when the /Developer directory couldn't be found, as
XCode 4.3 changed directory
Has anyone tried building on Lion with XCode 4.3?
My first attempt failed when the /Developer directory couldn't be found,
as XCode 4.3 changed directory structure. This was easy enough to fix with
sudo xcode-select -switch /Applications/Xcode.app/Contents/Developer/
Then, I ran into the
94 matches
Mail list logo
