ezyang (Edward Z. Yang)
User

Projects

Today

  • Clear sailing ahead.

Tomorrow

  • Clear sailing ahead.

Wednesday

  • Clear sailing ahead.

User Details

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

Recent Activity

Wed, Jun 14

ezyang added a comment to D3647: Introduce module hierarchy.

I'm a grumpy curmudgeon and don't want to have to learn new locations for modules, but don't let me stop you :) One thing that would be kinder to all GHC API users (who are now going to have to rewrite all of their imports) is to create an old-ghc package which reexports all of the modules under their old names. Might be helpful.

Wed, Jun 14, 9:51 PM

May 16 2017

ezyang committed rGHCd9e9a9b3016a: Fix #13703 by correctly using munged names in ghc-pkg. (authored by ezyang).
Fix #13703 by correctly using munged names in ghc-pkg.
May 16 2017, 9:00 PM
ezyang closed D3590: Fix #13703 by correctly using munged names in ghc-pkg. by committing rGHCd9e9a9b3016a: Fix #13703 by correctly using munged names in ghc-pkg..
May 16 2017, 9:00 PM

May 15 2017

ezyang created D3590: Fix #13703 by correctly using munged names in ghc-pkg..
May 15 2017, 11:22 PM
ezyang added inline comments to D3588: Cache conversion to a map for dep_mods.
May 15 2017, 7:46 PM

May 13 2017

ezyang abandoned D3514: Revert "Fix #10923 by fingerprinting optimization level.".

OK! Onwards to a brave new future :)

May 13 2017, 8:53 AM

Apr 30 2017

ezyang added a comment to D3514: Revert "Fix #10923 by fingerprinting optimization level.".

I can't commit to figuring out how to deal with the regression (Trac #13604) in time for 8.2, so better to leave things the way they were previously :/

Apr 30 2017, 3:11 PM
ezyang created D3514: Revert "Fix #10923 by fingerprinting optimization level.".
Apr 30 2017, 1:43 PM

Apr 25 2017

ezyang created D3501: Update Cabal submodule, with necessary wibbles..
Apr 25 2017, 8:42 PM

Apr 22 2017

ezyang committed rGHC6cffee6a567a: Haddock submodule update. (authored by ezyang).
Haddock submodule update.
Apr 22 2017, 10:42 PM

Apr 11 2017

ezyang added a comment to D3441: Compile modules that are needed by template haskell, even with -fno-code..

So, to explain the history behind -fwrite-interface, it was added (ab105f83dcd5f9094a9edb0f0c8266fba6f3c808) because I noticed that -fno-code wasn't writing out interface files, and this meant that recompilation didn't work in "flycheck" mode because you couldn't avoid retypechecking a file that hadn't changed. I added a new flag rather than change the behavior of -fno-code because it was (a) more convenient from an implementation perspective, and (b) preserved BC (for arguably bad behavior.)

Apr 11 2017, 6:30 PM
ezyang added a comment to D3441: Compile modules that are needed by template haskell, even with -fno-code..

I lean towards interpreter (because I want -fno-code to run as quickly as possible), but what seems important to me is the ability to toggle between the two, similarly to how -fobject-code can be used to force GHCi to asm rather than interpret.

Apr 11 2017, 2:47 PM

Apr 6 2017

ezyang added a comment to D1091: Handle annotations in .hsig files (fixes #10621).

It basically needs to be rewritten for the new Backpack stuff.

Apr 6 2017, 8:43 PM
ezyang added a comment to D3318: GHC_STAGE1 isn't defined, use other form..

No, but I landed the fix that worked for me, see 5db415580e0738f934e35b7012fe35a79b7e97c7

Apr 6 2017, 6:13 PM

Apr 3 2017

ezyang committed rGHCf541fc63060a: Fix validate. (authored by ezyang).
Fix validate.
Apr 3 2017, 4:24 AM

Apr 2 2017

ezyang committed rGHC852a43f360af: Correctly handle wired in unit IDs in -instantiated-with (authored by ezyang).
Correctly handle wired in unit IDs in -instantiated-with
Apr 2 2017, 6:50 PM
ezyang closed D3385: Correctly handle wired in unit IDs in -instantiated-with by committing rGHC852a43f360af: Correctly handle wired in unit IDs in -instantiated-with.
Apr 2 2017, 6:50 PM
ezyang committed rGHC45d33f35f689: Better test coverage for module reexports in signatures. (authored by ezyang).
Better test coverage for module reexports in signatures.
Apr 2 2017, 6:50 PM
ezyang committed rGHC0c333c89ffce: Extra docs on tcg_imports. (authored by ezyang).
Extra docs on tcg_imports.
Apr 2 2017, 6:49 PM
ezyang committed rGHC71dadd71e7bb: Extra docs on exports_from_avail. (authored by ezyang).
Extra docs on exports_from_avail.
Apr 2 2017, 6:49 PM
ezyang committed rGHCd2df718cfb9d: Add more documentation on mergeSignatures. (authored by ezyang).
Add more documentation on mergeSignatures.
Apr 2 2017, 6:49 PM
ezyang committed rGHC5db415580e07: mk/boilerplate.mk defines STAGE1_GHC, not GHC_STAGE1. (authored by ezyang).
mk/boilerplate.mk defines STAGE1_GHC, not GHC_STAGE1.
Apr 2 2017, 6:49 PM
ezyang committed rGHC5fb485a3e1e8: Fix recompilation avoidance bug for implementor of hsig. (authored by ezyang).
Fix recompilation avoidance bug for implementor of hsig.
Apr 2 2017, 6:49 PM
ezyang closed D3381: Fix recompilation avoidance bug for implementor of hsig. by committing rGHC5fb485a3e1e8: Fix recompilation avoidance bug for implementor of hsig..
Apr 2 2017, 6:49 PM
ezyang committed rGHCd4e8ebcd04cc: Minor comment updates on CSE. (authored by ezyang).
Minor comment updates on CSE.
Apr 2 2017, 6:49 PM

Mar 31 2017

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

Well, that's the problem, I don't really know how to do that; all I know is that I change my environment file and ask GHC to "reload its configuration", it would be surprising if it didn't get picked up...

Mar 31 2017, 9:52 AM

Mar 30 2017

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.)

Mar 30 2017, 2:43 PM

Mar 29 2017

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

Better cleaner implementation

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

Mar 27 2017

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.)

Mar 27 2017, 1:57 PM

Mar 26 2017

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

fix validate error

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

Mar 22 2017

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

Mar 20 2017

ezyang committed rGHCe0eaea918c32: Correctly account for -package-db ordering when picking packages. (authored by ezyang).
Correctly account for -package-db ordering when picking packages.
Mar 20 2017, 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..
Mar 20 2017, 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.
Mar 20 2017, 8:18 PM
ezyang committed rGHC09485bba2b9a: UniqMap implementation. (authored by ezyang).
UniqMap implementation.
Mar 20 2017, 8:18 PM

Mar 19 2017

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

Mar 17 2017

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.

Mar 17 2017, 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."
Mar 17 2017, 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.".
Mar 17 2017, 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.
Mar 17 2017, 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..
Mar 17 2017, 3:48 AM
ezyang committed rGHCb301f78eee89: Save renamed syntax when signature merging. (authored by ezyang).
Save renamed syntax when signature merging.
Mar 17 2017, 3:48 AM
ezyang closed D3335: Save renamed syntax when signature merging. by committing rGHCb301f78eee89: Save renamed syntax when signature merging..
Mar 17 2017, 3:48 AM
ezyang created D3357: Document hithertoo undocumented HPCTIXFILE option..
Mar 17 2017, 1:24 AM

Mar 13 2017

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

add more comments

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

Mar 10 2017

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

Mar 6 2017

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

Mar 2 2017

ezyang committed rGHC57ef18a29158: Typofix. (authored by ezyang).
Typofix.
Mar 2 2017, 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.
Mar 2 2017, 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..
Mar 2 2017, 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.
Mar 2 2017, 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
Mar 2 2017, 5:59 PM
ezyang closed D3236: Equip abstract classes with abstract TyCons by committing rGHCfb5cd9d6d618: Properly represent abstract classes in Class and IfaceDecl.
Mar 2 2017, 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
Mar 2 2017, 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.
Mar 2 2017, 5:59 PM
ezyang committed rGHC984c6097c630: Disallow non-nullary constraint synonyms on class. (authored by ezyang).
Disallow non-nullary constraint synonyms on class.
Mar 2 2017, 5:59 PM
ezyang closed D3230: Disallow non-nullary constraint synonyms on class. by committing rGHC984c6097c630: Disallow non-nullary constraint synonyms on class..
Mar 2 2017, 5:59 PM
ezyang committed rGHC4aada7a6c137: More comments on role subtyping, unsoundness fix. (authored by ezyang).
More comments on role subtyping, unsoundness fix.
Mar 2 2017, 5:59 PM
ezyang closed D3222: More comments on role subtyping, unsoundness fix. by committing rGHC4aada7a6c137: More comments on role subtyping, unsoundness fix..
Mar 2 2017, 5:59 PM

Mar 1 2017

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

comments from bgamari

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

Handle Richard's comment

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

stop outputting where clause

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

Feb 28 2017

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

updates!

Feb 28 2017, 6:14 PM
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