Matthew Farkas-Dyck (6dff7c79) at 01 Sep 12:48
Scrub some partiality in Stg.Lift
.
Matthew Farkas-Dyck (5ffd754e) at 31 Aug 22:39
Scrub some partiality in Stg.Lift
.
Matthew Farkas-Dyck (3392f911) at 31 Aug 09:24
Enforce the argument of StgRec
can never be empty.
... and 2 more commits
Matthew Farkas-Dyck (60d6a866) at 31 Aug 09:24
Share the notion of potentially-recursive binding among its many us...
Matthew Farkas-Dyck (58e976d2) at 31 Aug 07:47
Scrub some partiality in Stg.Lift
.
... and 1055 more commits
Matthew Farkas-Dyck (78467021) at 13 Jun 06:21
Totalize Eq
and drop Ord
instance of HsOverLit
; they were bot...
... and 1299 more commits
Matthew Farkas-Dyck (c7deb974) at 13 Jun 06:21
Avoid partiality in Language.Haskell.Syntax.Expr
, GHC.Hs.Expr
, ...
... and 154 more commits
Matthew Farkas-Dyck (50b62c69) at 13 Jun 06:21
Use Infinite
in GHC.Runtime.Debugger
.
... and 78 more commits
Matthew Farkas-Dyck (61d84cc4) at 27 May 08:01
Move the panic in nonDetCmpTypeX
into a function with a (# #)
a...
... and 1 more commit
Matthew Farkas-Dyck (9e576eb8) at 27 May 08:01
Unlift TypeOrdering
.
Matthew Farkas-Dyck (172740e8) at 27 May 05:28
Move the panic in nonDetCmpTypeX
into a function with a (# #)
a...
... and 1100 more commits
Matthew Farkas-Dyck (af86aa6f) at 27 May 05:04
Use Infinite
in GHC.Runtime.Debugger
.
... and 68 more commits
Matthew Farkas-Dyck (b519d1ed) at 27 May 05:00
We can use Infinite
appropriately in at least a few situations: unique generation, and lists of names in GHC.Tc.Deriv.Functor
and GHC.Runtime.Debugger
. Also, at some sites where we clone or subst binders, we can use more precise types to avoid partial uni patterns.
Allows us to drop the losing instance MonadFail UniqSM
.
Also slightly decreases allocation across the testsuite.
Matthew Farkas-Dyck (b519d1ed) at 20 May 20:00
Use Infinite
in GHC.Runtime.Debugger
.
... and 1072 more commits
Matthew Farkas-Dyck (b519d1ed) at 20 May 19:59
Use Infinite
in GHC.Runtime.Debugger
.
... and 1072 more commits
Matthew Farkas-Dyck (6e222a45) at 19 May 17:59
Use Infinite
for Unique
generation, and clean up some other par...
... and 1013 more commits
Matthew Farkas-Dyck (e782a332) at 18 May 19:03
Foldable1