int-index (Vladislav Zavialov)
User

Projects

User does not belong to any projects.

User Details

User Since
Sep 25 2014, 3:35 AM (216 w, 3 d)

Recent Activity

Mon, Oct 29

int-index updated the diff for D5221: Lower precedence for {-# UNPACK #-}.

Rebase

Mon, Oct 29, 8:17 AM

Sun, Oct 28

int-index accepted D5274: Fix #15815 by parenthesizing the arguments to infix ~.
Sun, Oct 28, 12:50 PM

Sat, Oct 27

int-index added a comment to D4894: More explicit foralls (GHC Proposal 0007).

Can we also add a test case (maybe extend T15264) that the new forall forms trigger the implicit kind variables warning?

Sat, Oct 27, 5:00 PM
int-index accepted D5170: RTS linker: don't crash early when not finding extra DLL, most likely it's not needed.

I'd be happy to see a test case as I asked before, but overall looks good now.

Sat, Oct 27, 7:03 AM
int-index added inline comments to D5170: RTS linker: don't crash early when not finding extra DLL, most likely it's not needed.
Sat, Oct 27, 3:48 AM
int-index requested changes to D5170: RTS linker: don't crash early when not finding extra DLL, most likely it's not needed.

You marked https://phabricator.haskell.org/D5170#inline-41160 as "Done" but it's not done.

Sat, Oct 27, 3:32 AM

Thu, Oct 25

int-index added a comment to D5036: [TTG: Handling Source Locations] Foundation and Pat.

Many functions seem to treat NewPat in a predefined manner instead of recursing into the Pat inside it – I don't see how it could possibly work. Does this rely on the caller to call dL on the pattern? Very fragile, let's not do that.

Thu, Oct 25, 4:33 PM
int-index added a comment to D5221: Lower precedence for {-# UNPACK #-}.

could you link to the proposal in the description?

Thu, Oct 25, 9:08 AM
int-index updated the summary of D5221: Lower precedence for {-# UNPACK #-}.
Thu, Oct 25, 8:41 AM
int-index updated the diff for D5221: Lower precedence for {-# UNPACK #-}.

Rebase, add proposal link to the commit message

Thu, Oct 25, 8:37 AM

Wed, Oct 24

int-index updated the diff for D5221: Lower precedence for {-# UNPACK #-}.

Update comments, rebase

Wed, Oct 24, 4:20 PM
int-index added inline comments to D5221: Lower precedence for {-# UNPACK #-}.
Wed, Oct 24, 3:44 PM

Mon, Oct 22

int-index added inline comments to D5170: RTS linker: don't crash early when not finding extra DLL, most likely it's not needed.
Mon, Oct 22, 2:45 PM
int-index added inline comments to D5170: RTS linker: don't crash early when not finding extra DLL, most likely it's not needed.
Mon, Oct 22, 11:21 AM

Sat, Oct 20

int-index requested review of D5221: Lower precedence for {-# UNPACK #-}.
Sat, Oct 20, 12:31 PM
int-index added a comment to D5221: Lower precedence for {-# UNPACK #-}.

@bgamari The proposal was accepted, do you mind taking another look?

Sat, Oct 20, 12:29 PM

Oct 19 2018

int-index added a comment to D5170: RTS linker: don't crash early when not finding extra DLL, most likely it's not needed.

Current documentation talks about GHCi, but we actually face the same issue when using TemplateHaskell because it loads library dynamically, too. Could you mention TemplateHaskell there?

Oct 19 2018, 9:35 AM

Oct 18 2018

int-index added a comment to D5229: Visible kind application.

@RyanGlScott I'm fairly sure [] is parsed as a HsVar:

Oct 18 2018, 6:58 PM
int-index added a comment to D5229: Visible kind application.

I will special-case [] in the type-checker.

Oct 18 2018, 6:18 PM
int-index added inline comments to D5229: Visible kind application.
Oct 18 2018, 10:40 AM
int-index added inline comments to D5229: Visible kind application.
Oct 18 2018, 5:48 AM

Oct 17 2018

int-index added a comment to D5229: Visible kind application.

Great work! I've left a few comments about parsing.

Oct 17 2018, 8:09 AM

Oct 15 2018

int-index abandoned D5218: Meaning-preserving parsing of SCC/GENERATED/CORE annotations.

The discussion under https://github.com/ghc-proposals/ghc-proposals/pull/176 indicates that it's far from clear how exactly to proceed here, and it's likely that we'll end up with something different from this Diff, so I'll mark it as abandoned.

Oct 15 2018, 7:20 AM
int-index added a comment to D5170: RTS linker: don't crash early when not finding extra DLL, most likely it's not needed.

I have tested this patch using https://github.com/serokell/trac11042 and it indeed has the intended effect – the error is now a warning:

Oct 15 2018, 3:59 AM

Oct 13 2018

int-index added a comment to D5200: Enable -Wcompat=error in the testsuite.

CI failures are likely unrelated to this change, two tests have "stat too good":

Oct 13 2018, 2:55 AM

Oct 12 2018

int-index abandoned D5047: Return HsType GhcTc from tc_hs_type.

So do I. So, int-index, would be acceptable to follow path (1) for now?

Oct 12 2018, 1:37 PM
int-index updated the summary of D5200: Enable -Wcompat=error in the testsuite.
Oct 12 2018, 1:17 PM
int-index updated the diff for D5200: Enable -Wcompat=error in the testsuite.

Rebase

Oct 12 2018, 1:08 PM
int-index added a comment to D5044: Include -fwarn-star-is-type in -Wcompat.

Linux CI has passed: https://circleci.com/gh/ghc/ghc-diffs/457

Oct 12 2018, 8:54 AM
int-index added a comment to D5200: Enable -Wcompat=error in the testsuite.

On the other hand, one could argue that even failing test cases should pass -Wcompat's scrutiny.

Oct 12 2018, 8:01 AM
int-index updated the diff for D5200: Enable -Wcompat=error in the testsuite.

Update test cases

Oct 12 2018, 8:01 AM

Oct 11 2018

int-index updated the diff for D5221: Lower precedence for {-# UNPACK #-}.

Testsuite correction

Oct 11 2018, 8:29 AM
int-index added a comment to D5221: Lower precedence for {-# UNPACK #-}.

This change is not yet accepted by the GHC Steering Committee, but I prepared a patch for the case it gets accepted.

Oct 11 2018, 5:21 AM
int-index created D5221: Lower precedence for {-# UNPACK #-}.
Oct 11 2018, 5:20 AM

Oct 10 2018

int-index updated the diff for D5218: Meaning-preserving parsing of SCC/GENERATED/CORE annotations.

Workaround for operator sections

Oct 10 2018, 5:48 AM

Oct 9 2018

int-index added a comment to D5218: Meaning-preserving parsing of SCC/GENERATED/CORE annotations.

I tried to build it and test it but it doesn't build

Oct 9 2018, 4:43 PM
int-index added a comment to D5218: Meaning-preserving parsing of SCC/GENERATED/CORE annotations.

I tried to build it and test it but it doesn't build

Oct 9 2018, 4:05 PM
int-index added a comment to D5218: Meaning-preserving parsing of SCC/GENERATED/CORE annotations.

@osa1 I disagree with your analysis. With this patch, the examples you gave should parse as before, and no action from the users is needed in these cases. The change is that when the annotation is used after an infix operator, it applies only to the RHS of this operator. And in your examples there aren't even any operators.

Oct 9 2018, 3:32 PM
int-index added a comment to D5044: Include -fwarn-star-is-type in -Wcompat.

I updated the migration guide as requested: https://ghc.haskell.org/trac/ghc/wiki/Migration/8.8?action=diff&version=5

Oct 9 2018, 2:41 PM
int-index updated the diff for D5044: Include -fwarn-star-is-type in -Wcompat.

Update documentation

Oct 9 2018, 2:20 PM
int-index created D5218: Meaning-preserving parsing of SCC/GENERATED/CORE annotations.
Oct 9 2018, 1:36 PM
int-index updated the diff for D5044: Include -fwarn-star-is-type in -Wcompat.

Rebase

Oct 9 2018, 11:00 AM

Oct 8 2018

int-index added a comment to D5044: Include -fwarn-star-is-type in -Wcompat.

The CI failures do not seem related to the change:

Oct 8 2018, 7:41 AM

Oct 5 2018

int-index added a comment to D5205: Refactor NewHsTypeX to DerivedCoreTy.

I'm undecided how to proceed here because it appears the invariant about the type being closed is violated in current code.

Oct 5 2018, 9:27 AM
int-index created D5205: Refactor NewHsTypeX to DerivedCoreTy.
Oct 5 2018, 4:52 AM
int-index updated the diff for D5044: Include -fwarn-star-is-type in -Wcompat.

Rebase

Oct 5 2018, 1:55 AM

Oct 4 2018

int-index added a comment to D5044: Include -fwarn-star-is-type in -Wcompat.

Actually, let's merge this as is and add documentation for -Wstar-is-type in a new diff. That will make it easier to backport to 8.6.

Oct 4 2018, 11:06 AM
int-index created D5203: Add -Wstar-is-type to the User's Guide.
Oct 4 2018, 11:06 AM
int-index updated the diff for D5044: Include -fwarn-star-is-type in -Wcompat.

Bump Cabal submodule

Oct 4 2018, 8:27 AM
int-index added a parent revision for D5200: Enable -Wcompat=error in the testsuite: D5044: Include -fwarn-star-is-type in -Wcompat.
Oct 4 2018, 1:18 AM
int-index added a child revision for D5044: Include -fwarn-star-is-type in -Wcompat: D5200: Enable -Wcompat=error in the testsuite.
Oct 4 2018, 1:18 AM
int-index added a comment to D5200: Enable -Wcompat=error in the testsuite.

I think this is a sensible change, but I would want to make sure that we keep old code forms (things that fail -Wcompat) in the testsuite, because they are still supported. So I would just want to make sure that we preserve some test cases (that would now emit -Wcompat warnings).

Oct 4 2018, 1:12 AM

Oct 3 2018

Herald added a reviewer for D5200: Enable -Wcompat=error in the testsuite: goldfire.
Oct 3 2018, 3:02 PM
int-index added a comment to D5180: Parse the (!) type operator and allow type operators in existential context.

@RyanGlScott Sure, I can apply the same approach to terms, but I would prefer to do it in a separate Diff. For now I added Note [isFunLhs vs mergeDataCon] that documents the difference in detail.

Oct 3 2018, 12:45 PM
int-index added a comment to D5199: Set `infixr -1 ->`.

That has been fixed (and for the better I think!). Consider the following GHCi session

Oct 3 2018, 11:28 AM
int-index added a comment to D5180: Parse the (!) type operator and allow type operators in existential context.

I also added two entries to docs/users_guide/8.8.1-notes.rst.

Oct 3 2018, 11:06 AM
int-index updated the diff for D5180: Parse the (!) type operator and allow type operators in existential context.

Documentation, test cases for error messages, rebase

Oct 3 2018, 10:59 AM
int-index added a comment to D5199: Set `infixr -1 ->`.

until we can actually set ~ to be the fixity we want

Oct 3 2018, 10:59 AM
int-index added a comment to D5180: Parse the (!) type operator and allow type operators in existential context.

Aha. That's a much stronger reason.

Oct 3 2018, 6:29 AM
int-index added a comment to D5180: Parse the (!) type operator and allow type operators in existential context.

why it differs from the design for expressions?

Oct 3 2018, 5:25 AM

Oct 1 2018

int-index updated the diff for D5180: Parse the (!) type operator and allow type operators in existential context.

Documentation and error messages

Oct 1 2018, 4:23 PM
int-index added inline comments to D5180: Parse the (!) type operator and allow type operators in existential context.
Oct 1 2018, 4:23 PM
int-index updated the diff for D5180: Parse the (!) type operator and allow type operators in existential context.

Documentation and rebase

Oct 1 2018, 1:28 PM

Sep 25 2018

int-index added inline comments to D5180: Parse the (!) type operator and allow type operators in existential context.
Sep 25 2018, 3:59 PM
int-index added a comment to D5023: Parse the ~ and ! type operators consistently.

Created https://phabricator.haskell.org/D5180 with a proper fix.

Sep 25 2018, 2:18 PM
int-index updated the summary of D5180: Parse the (!) type operator and allow type operators in existential context.
Sep 25 2018, 2:16 PM
int-index updated the summary of D5180: Parse the (!) type operator and allow type operators in existential context.
Sep 25 2018, 2:15 PM
int-index created D5180: Parse the (!) type operator and allow type operators in existential context.
Sep 25 2018, 2:13 PM

Aug 27 2018

int-index added a comment to D5047: Return HsType GhcTc from tc_hs_type.

The downside to @int-index's approach is that it requires adding a lot of extension fields

Aug 27 2018, 6:20 PM

Aug 22 2018

int-index added a comment to D5047: Return HsType GhcTc from tc_hs_type.

I advocate the less ambitious version, which still lets you do the Trac Trac #12088 stuff, doesn't it?

Aug 22 2018, 11:06 AM
int-index added a comment to D5047: Return HsType GhcTc from tc_hs_type.

In fact, it looks as if something entirely new is happening: you are using the extension-field of the HsType constructors to store a desugared version of type. So in fact tc_hs_type is returning both an HsType Tc, and (in the extension fields) a desugared version of every sub-tree. Is this really what we want?

Aug 22 2018, 8:18 AM

Aug 21 2018

int-index added inline comments to D5047: Return HsType GhcTc from tc_hs_type.
Aug 21 2018, 2:50 PM

Aug 17 2018

int-index added a comment to D5023: Parse the ~ and ! type operators consistently.

@int-index: would you be interested in having a go at this? You seem knowledgeable!

Aug 17 2018, 9:31 AM
int-index added a comment to D5023: Parse the ~ and ! type operators consistently.

@RyanGlScott Here's a test case:

Aug 17 2018, 7:35 AM
int-index added a comment to D5023: Parse the ~ and ! type operators consistently.

That would allow f :: T (a ~ b) and f :: T (a ! b) to parse -- I have no idea what happens to them now.

Aug 17 2018, 6:25 AM
int-index added a comment to D5023: Parse the ~ and ! type operators consistently.

I have not looked in detail, but I'm worried that splitBangTyOps is called only at the top level of a type. What about a type like T (a ! b) or T (a ~ b), where the bang or tilde is definitely a type operator.

Aug 17 2018, 6:11 AM

Aug 14 2018

int-index updated the diff for D5044: Include -fwarn-star-is-type in -Wcompat.

Rebase

Aug 14 2018, 2:12 PM

Aug 5 2018

int-index created D5047: Return HsType GhcTc from tc_hs_type.
Aug 5 2018, 1:00 PM
int-index added a comment to D5044: Include -fwarn-star-is-type in -Wcompat.

Needs https://github.com/haskell/cabal/pull/5497, but other than that it passes ./validate --fast on my machine.

Aug 5 2018, 7:41 AM
int-index updated the diff for D5044: Include -fwarn-star-is-type in -Wcompat.

Add a test case

Aug 5 2018, 7:40 AM

Aug 4 2018

int-index updated the summary of D5044: Include -fwarn-star-is-type in -Wcompat.
Aug 4 2018, 4:48 PM
int-index created D5044: Include -fwarn-star-is-type in -Wcompat.
Aug 4 2018, 4:45 PM

Aug 1 2018

int-index added a comment to D5023: Parse the ~ and ! type operators consistently.

I'm extremely confused here. The default fixity for infix type operators is infixl 9 anyways—I wouldn't expect right-associativity by default!

Aug 1 2018, 8:17 AM
int-index added a comment to D5023: Parse the ~ and ! type operators consistently.

Currently, documentation for mergeOps states that

Aug 1 2018, 8:10 AM
int-index updated the diff for D5022: Fix #15415 and simplify tcWildCardBinders.

Rebase

Aug 1 2018, 2:01 AM
int-index added a comment to D5023: Parse the ~ and ! type operators consistently.

I considered doing this while I was refactoring splitTilde for the -XStarIsType patch. The problem with this approach is that now ! is absolutely the wrong fixity. All other type operators respect fixity declarations.

Aug 1 2018, 1:51 AM

Jul 31 2018

int-index added a comment to D5022: Fix #15415 and simplify tcWildCardBinders.

@RyanGlScott, I do not understand the KindOf example, as the subsequent command :k _ doesn't use KindOf. The Dependent example, on the other hand, looks interesting. Indeed, your intuition was right and the hole leaked to the output. I fixed it and added Dependent to the test case.

Jul 31 2018, 10:58 AM
int-index updated the diff for D5022: Fix #15415 and simplify tcWildCardBinders.

Emit wildcard hole constraints

Jul 31 2018, 10:28 AM

Jul 30 2018

int-index added a comment to D5022: Fix #15415 and simplify tcWildCardBinders.

Does it validate?

Jul 30 2018, 5:42 AM

Jul 29 2018

int-index created D5022: Fix #15415 and simplify tcWildCardBinders.
Jul 29 2018, 12:59 PM

Jul 16 2018

int-index updated the diff for D4865: Do not imply NoStarIsType by TypeOperators/TypeInType.

Rebase

Jul 16 2018, 6:46 AM

Jun 25 2018

int-index updated the diff for D4865: Do not imply NoStarIsType by TypeOperators/TypeInType.

Update documentation and warning message

Jun 25 2018, 10:27 PM

Jun 18 2018

int-index updated the diff for D4865: Do not imply NoStarIsType by TypeOperators/TypeInType.

Comments and rebase

Jun 18 2018, 10:09 PM
int-index added inline comments to D4865: Do not imply NoStarIsType by TypeOperators/TypeInType.
Jun 18 2018, 9:57 PM
int-index created D4865: Do not imply NoStarIsType by TypeOperators/TypeInType.
Jun 18 2018, 1:49 AM

Jun 16 2018

int-index updated the summary of D4860: Add -Werror=compat.
Jun 16 2018, 9:42 PM
int-index added a comment to D4860: Add -Werror=compat.

This implements the first part of Trac #15278:

Jun 16 2018, 9:12 PM
int-index created D4860: Add -Werror=compat.
Jun 16 2018, 9:12 PM

Jun 15 2018

int-index added inline comments to D4845: Quantify unfixed kind variables in CUSKs.
Jun 15 2018, 6:32 PM
int-index created D4850: No Unicode in Parser.y.
Jun 15 2018, 6:50 AM