ezyang (Edward Z. Yang)
User

Projects

Today

  • Clear sailing ahead.

Tomorrow

  • Clear sailing ahead.

Saturday

  • Clear sailing ahead.

Badges

User Since
Jun 21 2014, 1:50 PM (144 w, 5 d)
Availability
Available

Recent Activity

Today

ezyang added a comment to D3392: Optimise common cases of GHC.setProgramDynFlags.

I don't think the extraPkgConfs test is enough. If someone applies removeGlobalPkgConf we won't notice it if we run the function on the empty list. I guess the solution here is to get an actual data type (I never liked the function anyway.)

Thu, Mar 30, 2:43 PM

Yesterday

ezyang updated the diff for D3381: Fix recompilation avoidance bug for implementor of hsig..

Better cleaner implementation

Wed, Mar 29, 1:05 PM
ezyang requested changes to D3392: Optimise common cases of GHC.setProgramDynFlags.
Wed, Mar 29, 11:51 AM

Mon, Mar 27

ezyang abandoned D3253: Fix roles merging to apply only to non-rep-injective types..

This got merged (but the commit message was truncated so Phabricator didn't see it.)

Mon, Mar 27, 1:57 PM

Sun, Mar 26

ezyang added inline comments to D3318: GHC_STAGE1 isn't defined, use other form..
Sun, Mar 26, 4:39 PM
ezyang updated the diff for D3381: Fix recompilation avoidance bug for implementor of hsig..

fix validate error

Sun, Mar 26, 4:30 PM
ezyang created D3385: Correctly handle wired in unit IDs in -instantiated-with.
Sun, Mar 26, 4:08 PM
ezyang created D3381: Fix recompilation avoidance bug for implementor of hsig..
Sun, Mar 26, 12:54 AM

Wed, Mar 22

ezyang committed rGHCacd85ce97acc: Haddock submodule update. (authored by ezyang).
Haddock submodule update.
Wed, Mar 22, 4:15 PM

Mon, Mar 20

ezyang committed rGHCe0eaea918c32: Correctly account for -package-db ordering when picking packages. (authored by ezyang).
Correctly account for -package-db ordering when picking packages.
Mon, Mar 20, 8:18 PM
ezyang closed D3369: Correctly account for -package-db ordering when picking packages. by committing rGHCe0eaea918c32: Correctly account for -package-db ordering when picking packages..
Mon, Mar 20, 8:18 PM
ezyang committed rGHC40b65db4cd34: Document the perplexing reversed nature of extraPkgConfs and friends. (authored by ezyang).
Document the perplexing reversed nature of extraPkgConfs and friends.
Mon, Mar 20, 8:18 PM
ezyang committed rGHC09485bba2b9a: UniqMap implementation. (authored by ezyang).
UniqMap implementation.
Mon, Mar 20, 8:18 PM

Sun, Mar 19

ezyang created D3369: Correctly account for -package-db ordering when picking packages..
Sun, Mar 19, 6:15 PM

Fri, Mar 17

ezyang added a comment to D3318: GHC_STAGE1 isn't defined, use other form..

I reverted it. I'll look more carefully why the boilerplate isn't being applied.

Fri, Mar 17, 9:38 PM
ezyang committed rGHCad191042896c: Revert "GHC_STAGE1 isn't defined, use other form." (authored by ezyang).
Revert "GHC_STAGE1 isn't defined, use other form."
Fri, Mar 17, 9:36 PM
ezyang added a reverting commit for rGHC138434fbef32: GHC_STAGE1 isn't defined, use other form.: rGHCad191042896c: Revert "GHC_STAGE1 isn't defined, use other form.".
Fri, Mar 17, 9:36 PM
ezyang committed rGHC138434fbef32: GHC_STAGE1 isn't defined, use other form. (authored by ezyang).
GHC_STAGE1 isn't defined, use other form.
Fri, Mar 17, 3:48 AM
ezyang closed D3318: GHC_STAGE1 isn't defined, use other form. by committing rGHC138434fbef32: GHC_STAGE1 isn't defined, use other form..
Fri, Mar 17, 3:48 AM
ezyang committed rGHCb301f78eee89: Save renamed syntax when signature merging. (authored by ezyang).
Save renamed syntax when signature merging.
Fri, Mar 17, 3:48 AM
ezyang closed D3335: Save renamed syntax when signature merging. by committing rGHCb301f78eee89: Save renamed syntax when signature merging..
Fri, Mar 17, 3:48 AM
ezyang created D3357: Document hithertoo undocumented HPCTIXFILE option..
Fri, Mar 17, 1:24 AM

Mon, Mar 13

ezyang added inline comments to D3335: Save renamed syntax when signature merging..
Mon, Mar 13, 4:16 PM
ezyang updated the diff for D3335: Save renamed syntax when signature merging..

add more comments

Mon, Mar 13, 4:16 PM
ezyang created D3335: Save renamed syntax when signature merging..
Mon, Mar 13, 4:22 AM

Fri, Mar 10

ezyang added inline comments to D3318: GHC_STAGE1 isn't defined, use other form..
Fri, Mar 10, 6:01 PM
ezyang added inline comments to D3318: GHC_STAGE1 isn't defined, use other form..
Fri, Mar 10, 5:38 PM
ezyang created D3318: GHC_STAGE1 isn't defined, use other form..
Fri, Mar 10, 4:34 PM
ezyang committed rGHC3ca252b1dde3: Fix bkpcabal03 test. (authored by ezyang).
Fix bkpcabal03 test.
Fri, Mar 10, 4:32 PM

Mon, Mar 6

ezyang committed rGHC2f115a13a0fa: A few remarks on role subtyping in the manual. (authored by ezyang).
A few remarks on role subtyping in the manual.
Mon, Mar 6, 5:23 PM

Thu, Mar 2

ezyang committed rGHC57ef18a29158: Typofix. (authored by ezyang).
Typofix.
Thu, Mar 2, 5:59 PM
ezyang committed rGHCbba004f2a064: Prevent users from defining instances for abstract classes. (authored by ezyang).
Prevent users from defining instances for abstract classes.
Thu, Mar 2, 5:59 PM
ezyang closed D3254: Prevent users from defining instances for abstract classes. by committing rGHCbba004f2a064: Prevent users from defining instances for abstract classes..
Thu, Mar 2, 5:59 PM
ezyang committed rGHCdf919fb21c95: Fix roles merging to apply only to non-rep-injective types. (authored by ezyang).
Fix roles merging to apply only to non-rep-injective types.
Thu, Mar 2, 5:59 PM
ezyang committed rGHCfb5cd9d6d618: Properly represent abstract classes in Class and IfaceDecl (authored by ezyang).
Properly represent abstract classes in Class and IfaceDecl
Thu, Mar 2, 5:59 PM
ezyang closed D3236: Equip abstract classes with abstract TyCons by committing rGHCfb5cd9d6d618: Properly represent abstract classes in Class and IfaceDecl.
Thu, Mar 2, 5:59 PM
ezyang committed rGHCe71068617d15: Injective type families imply nominal injectivity, but NOT rep inj (authored by ezyang).
Injective type families imply nominal injectivity, but NOT rep inj
Thu, Mar 2, 5:59 PM
ezyang closed D3223: Injective type families imply nominal injectivity, but NOT representational injectivity. by committing rGHCe71068617d15: Injective type families imply nominal injectivity, but NOT rep inj.
Thu, Mar 2, 5:59 PM
ezyang committed rGHC984c6097c630: Disallow non-nullary constraint synonyms on class. (authored by ezyang).
Disallow non-nullary constraint synonyms on class.
Thu, Mar 2, 5:59 PM
ezyang closed D3230: Disallow non-nullary constraint synonyms on class. by committing rGHC984c6097c630: Disallow non-nullary constraint synonyms on class..
Thu, Mar 2, 5:59 PM
ezyang committed rGHC4aada7a6c137: More comments on role subtyping, unsoundness fix. (authored by ezyang).
More comments on role subtyping, unsoundness fix.
Thu, Mar 2, 5:59 PM
ezyang closed D3222: More comments on role subtyping, unsoundness fix. by committing rGHC4aada7a6c137: More comments on role subtyping, unsoundness fix..
Thu, Mar 2, 5:59 PM

Wed, Mar 1

ezyang updated the diff for D3236: Equip abstract classes with abstract TyCons.

comments from bgamari

Wed, Mar 1, 4:37 PM
ezyang updated the diff for D3222: More comments on role subtyping, unsoundness fix..

Handle Richard's comment

Wed, Mar 1, 4:23 PM
ezyang updated the diff for D3236: Equip abstract classes with abstract TyCons.

stop outputting where clause

Wed, Mar 1, 1:04 PM
ezyang created D3254: Prevent users from defining instances for abstract classes..
Wed, Mar 1, 2:12 AM
ezyang created D3253: Fix roles merging to apply only to non-rep-injective types..
Wed, Mar 1, 1:56 AM

Tue, Feb 28

ezyang updated the diff for D3236: Equip abstract classes with abstract TyCons.

updates!

Tue, Feb 28, 6:14 PM

Feb 28 2017

ezyang created D3236: Equip abstract classes with abstract TyCons.
Feb 28 2017, 1:52 AM
ezyang created D3235: Print out sub-libraries of packages more nicely..
Feb 28 2017, 1:08 AM
ezyang committed rGHC377bf3736bbe: Clear import path in --backpack mode to not accidentally pick up source files. (authored by ezyang).
Clear import path in --backpack mode to not accidentally pick up source files.
Feb 28 2017, 1:01 AM
ezyang committed rGHCc4354027ab73: Fix Mac OS X timestamp resolution bug. (authored by ezyang).
Fix Mac OS X timestamp resolution bug.
Feb 28 2017, 12:58 AM
ezyang closed D3229: Fix Mac OS X timestamp resolution bug. by committing rGHCc4354027ab73: Fix Mac OS X timestamp resolution bug..
Feb 28 2017, 12:58 AM

Feb 27 2017

ezyang added a comment to D3233: Enter iserv-proxy.

Thanks, this is very interesting. What kind of documentation do you think would be appropriate for a feature like this?

Feb 27 2017, 11:24 PM
ezyang updated the diff for D3230: Disallow non-nullary constraint synonyms on class..

one more tiny comment

Feb 27 2017, 10:16 PM
ezyang created D3230: Disallow non-nullary constraint synonyms on class..
Feb 27 2017, 5:53 PM
ezyang created D3229: Fix Mac OS X timestamp resolution bug..
Feb 27 2017, 5:16 PM
ezyang added a comment to D3223: Injective type families imply nominal injectivity, but NOT representational injectivity..

Representational injectivity on type families says that if T a ~R T b, then a ~N b (N because type families are always nominal, at the moment.) This suggested that the following code might type check:

Feb 27 2017, 3:32 PM

Feb 26 2017

ezyang created D3223: Injective type families imply nominal injectivity, but NOT representational injectivity..
Feb 26 2017, 11:10 PM
ezyang created D3222: More comments on role subtyping, unsoundness fix..
Feb 26 2017, 10:36 PM
ezyang committed rGHC923d7ca2d90c: Subtyping for roles in signatures. (authored by ezyang).
Subtyping for roles in signatures.
Feb 26 2017, 6:03 PM
ezyang closed D3123: Subtyping for roles in signatures. by committing rGHC923d7ca2d90c: Subtyping for roles in signatures..
Feb 26 2017, 6:03 PM
ezyang committed rGHC9603de6ac7a7: Treat all TyCon with hole names as skolem abstract. (authored by ezyang).
Treat all TyCon with hole names as skolem abstract.
Feb 26 2017, 6:03 PM
ezyang closed D3211: Treat all TyCon with hole names as skolem abstract. by committing rGHC9603de6ac7a7: Treat all TyCon with hole names as skolem abstract..
Feb 26 2017, 6:03 PM
ezyang committed rGHCa0b4a2ac5015: Rename compact to ghc-compact. (authored by ezyang).
Rename compact to ghc-compact.
Feb 26 2017, 3:33 AM
ezyang closed D3206: Rename compact to ghc-compact. by committing rGHCa0b4a2ac5015: Rename compact to ghc-compact..
Feb 26 2017, 3:33 AM
ezyang updated the diff for D3123: Subtyping for roles in signatures..

Revamped!

Feb 26 2017, 3:28 AM
ezyang reclaimed D3123: Subtyping for roles in signatures..

Actually this is sound!

Feb 26 2017, 3:22 AM

Feb 25 2017

ezyang created D3211: Treat all TyCon with hole names as skolem abstract..
Feb 25 2017, 6:28 AM

Feb 24 2017

ezyang committed rGHC8f15ab98a7fe: Delete redundant import. (authored by ezyang).
Delete redundant import.
Feb 24 2017, 8:48 PM
ezyang committed rGHC7c060e4d6880: Fix validate. (authored by ezyang).
Fix validate.
Feb 24 2017, 8:07 PM
ezyang committed rGHC9d17028fbcec: Record full FieldLabel in ifConFields. (authored by ezyang).
Record full FieldLabel in ifConFields.
Feb 24 2017, 4:53 PM
ezyang closed D3174: Record full FieldLabel in ifConFields. by committing rGHC9d17028fbcec: Record full FieldLabel in ifConFields..
Feb 24 2017, 4:53 PM
ezyang created D3206: Rename compact to ghc-compact..
Feb 24 2017, 1:57 AM

Feb 23 2017

ezyang committed rGHC8f8016a5cb00: Include OverloadedRecordFields selectors in NameShape. (authored by ezyang).
Include OverloadedRecordFields selectors in NameShape.
Feb 23 2017, 5:16 PM
ezyang closed D3175: Include OverloadedRecordFields selectors in NameShape. by committing rGHC8f8016a5cb00: Include OverloadedRecordFields selectors in NameShape..
Feb 23 2017, 5:16 PM
ezyang committed rGHC0a77cedb914a: Have --backpack complain if multiple files are passed. (authored by ezyang).
Have --backpack complain if multiple files are passed.
Feb 23 2017, 3:46 PM
ezyang closed D3173: Have --backpack complain if multiple files are passed. by committing rGHC0a77cedb914a: Have --backpack complain if multiple files are passed..
Feb 23 2017, 3:46 PM
ezyang committed rGHCde805583db45: Give better error message with you run ghc foo.bkp (authored by ezyang).
Give better error message with you run ghc foo.bkp
Feb 23 2017, 3:46 PM
ezyang closed D3172: Give better error message with you run ghc foo.bkp by committing rGHCde805583db45: Give better error message with you run ghc foo.bkp.
Feb 23 2017, 3:46 PM
ezyang updated the diff for D3174: Record full FieldLabel in ifConFields..

remove Bool

Feb 23 2017, 3:57 AM
ezyang added inline comments to D3174: Record full FieldLabel in ifConFields..
Feb 23 2017, 3:50 AM
ezyang committed rGHC58415741882b: Drop NFData constraint from compact. (authored by ezyang).
Drop NFData constraint from compact.
Feb 23 2017, 2:06 AM
ezyang closed D3168: Drop NFData constraint from compact. by committing rGHC58415741882b: Drop NFData constraint from compact..
Feb 23 2017, 2:06 AM
ezyang committed rGHC992ea02980d5: Changelog notice for compact. (authored by ezyang).
Changelog notice for compact.
Feb 23 2017, 2:06 AM
ezyang closed D3165: Changelog notice for compact. by committing rGHC992ea02980d5: Changelog notice for compact..
Feb 23 2017, 2:05 AM
ezyang created D3175: Include OverloadedRecordFields selectors in NameShape..
Feb 23 2017, 12:01 AM

Feb 22 2017

ezyang updated the diff for D3174: Record full FieldLabel in ifConFields..

warning squash

Feb 22 2017, 11:53 PM
ezyang created D3174: Record full FieldLabel in ifConFields..
Feb 22 2017, 10:49 PM
ezyang created D3173: Have --backpack complain if multiple files are passed..
Feb 22 2017, 10:00 PM
ezyang created D3172: Give better error message with you run ghc foo.bkp.
Feb 22 2017, 9:56 PM

Feb 21 2017

ezyang added a comment to D3168: Drop NFData constraint from compact..

@simonmar Aha! So it was on purpose :) There are a few other possible ways we can slice this patch; for example, we could keep NFData around but introduce non-NFData variants of the functions; or we could bite the bullet and create a new type class for this (If you make it magical like Typeable you wouldn't even need to define it).

Feb 21 2017, 5:06 PM

Feb 20 2017

ezyang created D3168: Drop NFData constraint from compact..
Feb 20 2017, 11:52 PM
ezyang created D3165: Changelog notice for compact..
Feb 20 2017, 6:25 PM

Feb 19 2017

ezyang abandoned D3123: Subtyping for roles in signatures..

This change is not sound, so we can't merge it.

Feb 19 2017, 2:50 AM

Feb 18 2017

ezyang committed rGHC98e494afed3c: Improve Haddock documentation for compact. (authored by ezyang).
Improve Haddock documentation for compact.
Feb 18 2017, 2:29 AM
ezyang closed D3148: Improve Haddock documentation for compact. by committing rGHC98e494afed3c: Improve Haddock documentation for compact..
Feb 18 2017, 2:29 AM
ezyang updated the diff for D3148: Improve Haddock documentation for compact..

Improve based on bgamari's comments

Feb 18 2017, 2:27 AM

Feb 17 2017

ezyang created D3148: Improve Haddock documentation for compact..
Feb 17 2017, 7:30 PM
ezyang committed rGHC89168849a781: Say 'data' explicitly in IfAbstractTyCon output. (authored by ezyang).
Say 'data' explicitly in IfAbstractTyCon output.
Feb 17 2017, 6:48 PM