cactus (Gergo Erdi)
User

Projects

User does not belong to any projects.

User Details

User Since
Oct 14 2014, 8:48 PM (265 w, 5 d)

Recent Activity

Jul 25 2018

cactus committed rGHCDIFFeeaea2df3fa5: Instead of tracking Origin in LHsBindsLR, track it in MatchGroup (authored by cactus).
Instead of tracking Origin in LHsBindsLR, track it in MatchGroup
Jul 25 2018, 10:18 AM
cactus committed rGHCDIFF7233638ba6e8: Expected output of as-pattern test (authored by cactus).
Expected output of as-pattern test
Jul 25 2018, 10:18 AM
cactus committed rGHCDIFFdd3a6d270f82: Add source file for new test that checks that as-patterns are rejected in… (authored by cactus).
Add source file for new test that checks that as-patterns are rejected in…
Jul 25 2018, 10:18 AM
cactus committed rGHCDIFFb7f51d60093e: Remove unused variable binding to fix validate (authored by cactus).
Remove unused variable binding to fix validate
Jul 25 2018, 10:18 AM
cactus committed rGHCDIFFc269b7e85524: Split off pattern synonym definition checking from pattern inversion (authored by cactus).
Split off pattern synonym definition checking from pattern inversion
Jul 25 2018, 10:18 AM
cactus committed rGHCDIFFd2c4f9758ca7: Add comments & notes explaining the typing of pattern synonym definitions (authored by cactus).
Add comments & notes explaining the typing of pattern synonym definitions
Jul 25 2018, 10:17 AM
cactus committed rGHCDIFF8f831ec578d2: Require PatternSynonyms language flag when encountering a use of pattern… (authored by cactus).
Require PatternSynonyms language flag when encountering a use of pattern…
Jul 25 2018, 10:17 AM
cactus committed rGHCDIFF21028ee6805b: Update expected test outputs to match new format of pretty-printing interface… (authored by cactus).
Update expected test outputs to match new format of pretty-printing interface…
Jul 25 2018, 10:15 AM
cactus committed rGHCDIFFa3f78e2476e3: isLexVarSym: check all characters of the name, not just the first one. (authored by cactus).
isLexVarSym: check all characters of the name, not just the first one.
Jul 25 2018, 10:15 AM
cactus committed rGHCDIFFde32a95ef219: Add test case for #8776 (authored by cactus).
Add test case for #8776
Jul 25 2018, 10:14 AM
cactus committed rGHCDIFF52003696ff7a: Reinstate pretty-printing of AnIds via pprId (#8776) (authored by cactus).
Reinstate pretty-printing of AnIds via pprId (#8776)
Jul 25 2018, 10:14 AM
cactus committed rGHCDIFFf3eeb9352979: Honor Op_PrintExplicitForalls setting in pprIfaceForAllPart (authored by cactus).
Honor Op_PrintExplicitForalls setting in pprIfaceForAllPart
Jul 25 2018, 10:14 AM
cactus committed rGHCDIFF5908a7427abd: Use prefix notation in pprIfaceDecl for IfaceIds (authored by cactus).
Use prefix notation in pprIfaceDecl for IfaceIds
Jul 25 2018, 10:14 AM
cactus committed rGHCDIFF065c35a9d6d4: Pretty-print the following TyThings via their IfaceDecl counterpart: * AnId *… (authored by cactus).
Pretty-print the following TyThings via their IfaceDecl counterpart: * AnId *…
Jul 25 2018, 10:13 AM
cactus committed rGHCDIFF24eea38c70ea: pprIfaceDecl for IfacePatSyn: use pprPatSynSig (authored by cactus).
pprIfaceDecl for IfacePatSyn: use pprPatSynSig
Jul 25 2018, 10:13 AM
cactus committed rGHCDIFF23c0f1ec2cf0: pprIfaceContextArr: print a context including the "=>" arrow (authored by cactus).
pprIfaceContextArr: print a context including the "=>" arrow
Jul 25 2018, 10:13 AM
cactus committed rGHCDIFF4d1b7b4a9b98: Add OutputableBndr instance for OccName (authored by cactus).
Add OutputableBndr instance for OccName
Jul 25 2018, 10:13 AM
cactus committed rGHCDIFF719108f8d70a: Add test suite for #8757 (authored by cactus).
Add test suite for #8757
Jul 25 2018, 10:10 AM
cactus committed rGHCDIFFe0a554155450: Issue an error for pattern synonyms defined in a local scope (#8757) (authored by cactus).
Issue an error for pattern synonyms defined in a local scope (#8757)
Jul 25 2018, 10:10 AM
cactus committed rGHCDIFF5281dd6f5998: User documentation for pattern synonyms (authored by cactus).
User documentation for pattern synonyms
Jul 25 2018, 10:08 AM

Jan 20 2015

cactus committed rGHCcf0e10077c67: Cosmetic: Fix all uses of the word 'worker' when referring to pattern synonym… (authored by cactus).
Cosmetic: Fix all uses of the word 'worker' when referring to pattern synonym…
Jan 20 2015, 8:15 AM

Jan 9 2015

cactus committed rGHC6f818e083c83: Pattern synonyms do work in GHCi now (see #9900) (authored by cactus).
Pattern synonyms do work in GHCi now (see #9900)
Jan 9 2015, 5:34 AM
cactus committed rGHC68a5a784e71b: Update syntax of pattern synonym type signature in documentation (fixes #9967) (authored by cactus).
Update syntax of pattern synonym type signature in documentation (fixes #9967)
Jan 9 2015, 5:34 AM

Jan 3 2015

cactus committed rGHCfe7651ca5cbf: Pass spec_eqs to tc_patsyn_finish (authored by cactus).
Pass spec_eqs to tc_patsyn_finish
Jan 3 2015, 7:03 AM
cactus committed rGHC355a5fa25daf: Extract implicit equalities from result type of pattern synonym type signature (authored by cactus).
Extract implicit equalities from result type of pattern synonym type signature
Jan 3 2015, 7:03 AM
cactus committed rGHC67049f11ec5f: Pass spec_eqs to tc_patsyn_finish (authored by cactus).
Pass spec_eqs to tc_patsyn_finish
Jan 3 2015, 1:57 AM
cactus committed rGHC33b349c48388: Extract implicit equalities from result type of pattern synonym type signature (authored by cactus).
Extract implicit equalities from result type of pattern synonym type signature
Jan 3 2015, 1:57 AM
cactus committed rGHC2e2563376b6f: Add psEqSpec field to PatSyn (authored by cactus).
Add psEqSpec field to PatSyn
Jan 3 2015, 1:57 AM

Jan 2 2015

cactus committed rGHC969d73ccce9e: Add psEqSpec field to PatSyn (authored by cactus).
Add psEqSpec field to PatSyn
Jan 2 2015, 11:30 PM

Dec 28 2014

cactus committed rGHC0cc0cc8688dd: Support pattern synonyms in GHCi (fixes #9900) (authored by cactus).
Support pattern synonyms in GHCi (fixes #9900)
Dec 28 2014, 5:41 AM

Dec 23 2014

cactus committed rGHCe6558f2ddb00: Support pattern synonyms in GHCi (fixes #9900) (authored by cactus).
Support pattern synonyms in GHCi (fixes #9900)
Dec 23 2014, 6:26 AM

Dec 22 2014

cactus committed rGHCb01aaea0c2cc: Support pattern synonyms in GHCi (fixes #9900) (authored by cactus).
Support pattern synonyms in GHCi (fixes #9900)
Dec 22 2014, 6:30 AM
cactus committed rGHC707fb3aa2b05: Strip leading whitespace before checking if a statement looks like a… (authored by cactus).
Strip leading whitespace before checking if a statement looks like a…
Dec 22 2014, 5:06 AM

Dec 21 2014

cactus committed rGHC20acaa7785d9: Support pattern synonyms in GHCi (fixes #9900) (authored by cactus).
Support pattern synonyms in GHCi (fixes #9900)
Dec 21 2014, 5:24 AM
cactus committed rGHC6713f0d9ad4a: Add expected output to T9915 test (authored by cactus).
Add expected output to T9915 test
Dec 21 2014, 2:23 AM
cactus committed rGHC3b497ddb2319: Check dflags for language extensions when deciding if "foreign " and "deriving… (authored by cactus).
Check dflags for language extensions when deciding if "foreign " and "deriving…
Dec 21 2014, 1:46 AM

Dec 20 2014

cactus committed rGHC5326348076b9: Use a new $b prefix for pattern synonym builder names, instead of re-using $W… (authored by cactus).
Use a new $b prefix for pattern synonym builder names, instead of re-using $W…
Dec 20 2014, 7:38 AM
cactus committed rGHC846d93023ef9: Refactor PatSynBind so that we can pass around PSBs instead of several arguments (authored by cactus).
Refactor PatSynBind so that we can pass around PSBs instead of several arguments
Dec 20 2014, 2:48 AM
cactus committed rGHC0f1f3e1db73f: Rejig builders for pattern synonyms, especially unlifted ones (authored by cactus).
Rejig builders for pattern synonyms, especially unlifted ones
Dec 20 2014, 2:48 AM
cactus committed rGHC125d4a5300ec: Group PatSyn req/prov arguments together so that they're not all over the place (authored by cactus).
Group PatSyn req/prov arguments together so that they're not all over the place
Dec 20 2014, 2:48 AM
cactus committed rGHC263644d7a15a: When calling the success continuation of a matcher, pass existential tyvars as… (authored by cactus).
When calling the success continuation of a matcher, pass existential tyvars as…
Dec 20 2014, 2:48 AM
cactus committed rGHC8ad7f1a049ff: nlHsTyApps: for applying a function both on type- and term-level arguments (authored by cactus).
nlHsTyApps: for applying a function both on type- and term-level arguments
Dec 20 2014, 2:48 AM

Dec 19 2014

cactus committed rGHCa91a2afa3a7e: In pattern synonym matchers, support unboxed continuation results (fixes #9783). (authored by cactus).
In pattern synonym matchers, support unboxed continuation results (fixes #9783).
Dec 19 2014, 8:55 PM

Dec 17 2014

cactus committed rGHCe5f429cbc02d: Pattern synonym names need to be in scope before renaming bindings (#9889) (authored by cactus).
Pattern synonym names need to be in scope before renaming bindings (#9889)
Dec 17 2014, 8:13 AM
cactus committed rGHC7f801ff8b128: Pattern synonym names need to be in scope before renaming bindings (#9889) (authored by cactus).
Pattern synonym names need to be in scope before renaming bindings (#9889)
Dec 17 2014, 8:09 AM

Nov 29 2014

cactus committed rGHCf0df243d9b6a: Update submodule 'haddock' to render 'pattern' as a keyword (authored by cactus).
Update submodule 'haddock' to render 'pattern' as a keyword
Nov 29 2014, 1:43 AM
cactus committed rHADDOCKb94ab9034367: For pattern synonyms, render "pattern" as a keyword (authored by cactus).
For pattern synonyms, render "pattern" as a keyword
Nov 29 2014, 1:43 AM
cactus committed rGHCb638fd745644: Update pattern synonym type signature syntax to that used in GHC 7.10 (authored by cactus).
Update pattern synonym type signature syntax to that used in GHC 7.10
Nov 29 2014, 12:54 AM
cactus committed rGHCabc0160d3d42: Update pattern synonym type signature syntax to that used in GHC 7.10 (authored by cactus).
Update pattern synonym type signature syntax to that used in GHC 7.10
Nov 29 2014, 12:51 AM
cactus committed rHADDOCK327b3d07a2eb: Update Haddock's format for pattern synonyms to match upcoming GHC 7.10 syntax (authored by cactus).
Update Haddock's format for pattern synonyms to match upcoming GHC 7.10 syntax
Nov 29 2014, 12:50 AM

Nov 27 2014

cactus committed rGHCd8c437b37436: Don't require PatternSynonyms language extension to just use pattern synonyms… (authored by cactus).
Don't require PatternSynonyms language extension to just use pattern synonyms…
Nov 27 2014, 5:24 AM

Nov 20 2014

cactus committed rGHCcce6318e8fdb: Add support for pattern synonym type signatures. Syntax is of the form (authored by cactus).
Add support for pattern synonym type signatures. Syntax is of the form
Nov 20 2014, 8:42 AM
cactus committed rHADDOCKbf80e2f59477: Update Haddock to new pattern synonym type signature syntax (authored by cactus).
Update Haddock to new pattern synonym type signature syntax
Nov 20 2014, 8:40 AM
cactus committed rGHC3b81309c057f: Update shift/reduce conflict number in parser (authored by cactus).
Update shift/reduce conflict number in parser
Nov 20 2014, 4:35 AM
cactus committed rGHCd4530b69ff95: Add support for pattern synonym type signatures. Syntax is of the form (authored by cactus).
Add support for pattern synonym type signatures. Syntax is of the form
Nov 20 2014, 4:30 AM

Nov 19 2014

cactus committed rGHC10bd68e4a63f: Add support for pattern synonym type signatures. Syntax is of the form (authored by cactus).
Add support for pattern synonym type signatures. Syntax is of the form
Nov 19 2014, 6:10 AM
cactus committed rGHCe762b6e83f4c: Update baseline shift/reduce conflict number (authored by cactus).
Update baseline shift/reduce conflict number
Nov 19 2014, 6:10 AM
cactus committed rGHCe199b0505173: Update Haddock to new pattern synonym type signature syntax (authored by cactus).
Update Haddock to new pattern synonym type signature syntax
Nov 19 2014, 6:10 AM
cactus committed rHADDOCKedd2a3be4465: Update Haddock to new pattern synonym type signature syntax (authored by cactus).
Update Haddock to new pattern synonym type signature syntax
Nov 19 2014, 6:10 AM
cactus committed rGHCa2658786cc5b: Update Haddock to new pattern synonym type signature syntax (authored by cactus).
Update Haddock to new pattern synonym type signature syntax
Nov 19 2014, 5:18 AM
cactus committed rGHC34acc90ccef7: Add support for pattern synonym type signatures. Syntax is of the form (authored by cactus).
Add support for pattern synonym type signatures. Syntax is of the form
Nov 19 2014, 5:18 AM
cactus committed rHADDOCK3e4e82e6cb82: Update Haddock to new pattern synonym type signature syntax (authored by cactus).
Update Haddock to new pattern synonym type signature syntax
Nov 19 2014, 5:08 AM
cactus committed rGHC17a5e28b2d64: Add support for pattern synonym type signatures. Syntax is of the form (authored by cactus).
Add support for pattern synonym type signatures. Syntax is of the form
Nov 19 2014, 3:49 AM
cactus committed rGHC8ddac3175d1a: Add test cases (authored by cactus).
Add test cases
Nov 19 2014, 3:49 AM
cactus committed rGHC8640fc54916d: Update baseline shift/reduce conflict number (authored by cactus).
Update baseline shift/reduce conflict number
Nov 19 2014, 3:49 AM

Nov 14 2014

cactus committed rGHCe87edf08c59e: Add test cases (authored by cactus).
Add test cases
Nov 14 2014, 3:38 AM
cactus committed rGHC935f93128152: Add parser for pattern synonym type signatures. Syntax is of the form (authored by cactus).
Add parser for pattern synonym type signatures. Syntax is of the form
Nov 14 2014, 3:38 AM
cactus committed rGHC42d491af1f6e: Update baseline shift/reduce conflict number (authored by cactus).
Update baseline shift/reduce conflict number
Nov 14 2014, 3:38 AM
cactus committed rGHC2b160b446475: Use user-supplied type variables (when available) in pattern synonym type… (authored by cactus).
Use user-supplied type variables (when available) in pattern synonym type…
Nov 14 2014, 3:38 AM
cactus committed rGHCc27e81a416d6: tcCheckPatSynDecl: typechecker for pattern synonyms with user-supplied type… (authored by cactus).
tcCheckPatSynDecl: typechecker for pattern synonyms with user-supplied type…
Nov 14 2014, 3:38 AM

Nov 13 2014

cactus committed rGHC5fe872d3bc2d: Apply compulsory unfoldings during desugaring, except for `seq` which is… (authored by cactus).
Apply compulsory unfoldings during desugaring, except for `seq` which is…
Nov 13 2014, 9:42 AM
cactus committed rGHCfaeb0a687ea2: nlHsTyApps: for applying a function both on type- and term-level arguments (authored by cactus).
nlHsTyApps: for applying a function both on type- and term-level arguments
Nov 13 2014, 9:42 AM
cactus committed rGHC638991114f93: When calling the success continuation of a matcher, pass existential tyvars as… (authored by cactus).
When calling the success continuation of a matcher, pass existential tyvars as…
Nov 13 2014, 9:42 AM
cactus committed rGHC7f929862388a: If pattern synonym is bidirectional and its type is some unboxed type T#… (authored by cactus).
If pattern synonym is bidirectional and its type is some unboxed type T#…
Nov 13 2014, 9:42 AM
cactus committed rGHC745c4c0e0416: Binding things matched by an unboxed pattern synonym should require a bang (authored by cactus).
Binding things matched by an unboxed pattern synonym should require a bang
Nov 13 2014, 9:42 AM
cactus committed rGHC9b30d9de12c4: Fix typo in panic message (authored by cactus).
Fix typo in panic message
Nov 13 2014, 9:41 AM
cactus committed rGHCde3d584ea43f: When calling the success continuation of a matcher, pass existential tyvars as… (authored by cactus).
When calling the success continuation of a matcher, pass existential tyvars as…
Nov 13 2014, 9:13 AM
cactus committed rGHCa78ef85fff5e: nlHsTyApps: for applying a function both on type- and term-level arguments (authored by cactus).
nlHsTyApps: for applying a function both on type- and term-level arguments
Nov 13 2014, 9:13 AM
cactus committed rGHC06a167b164e1: If pattern synonym is bidirectional and its type is some unboxed type T#… (authored by cactus).
If pattern synonym is bidirectional and its type is some unboxed type T#…
Nov 13 2014, 9:13 AM
cactus committed rGHC95eb2321d5ca: Apply compulsory unfoldings during desugaring, except for `seq` which is… (authored by cactus).
Apply compulsory unfoldings during desugaring, except for `seq` which is…
Nov 13 2014, 9:13 AM
cactus committed rGHC8ad3e26c616a: When calling the success continuation of a matcher, pass existential tyvars as… (authored by cactus).
When calling the success continuation of a matcher, pass existential tyvars as…
Nov 13 2014, 8:46 AM
cactus committed rGHCa8d3d81efcef: nlHsTyApps: for applying a function both on type- and term-level arguments (authored by cactus).
nlHsTyApps: for applying a function both on type- and term-level arguments
Nov 13 2014, 8:46 AM
cactus committed rGHC1804be5f22de: Avoid premature unfolding of `seq`, and provide a source-level binding in GHC. (authored by cactus).
Avoid premature unfolding of `seq`, and provide a source-level binding in GHC.
Nov 13 2014, 8:46 AM
cactus committed rGHC249f81901e65: nlHsTyApps: for applying a function both on type- and term-level arguments (authored by cactus).
nlHsTyApps: for applying a function both on type- and term-level arguments
Nov 13 2014, 4:54 AM
cactus committed rGHCab4762a15268: When calling the success continuation of a matcher, pass existential tyvars as… (authored by cactus).
When calling the success continuation of a matcher, pass existential tyvars as…
Nov 13 2014, 4:54 AM
cactus committed rGHCdf5ca3196295: Avoid premature unfolding of `seq` (authored by cactus).
Avoid premature unfolding of `seq`
Nov 13 2014, 4:54 AM
cactus committed rGHC4177ccb6e6e2: Apply compulsory unfoldings during desugaring. See Note [Unfolding while… (authored by cactus).
Apply compulsory unfoldings during desugaring. See Note [Unfolding while…
Nov 13 2014, 4:54 AM
cactus committed rGHCf82543cbf836: If pattern synonym is bidirectional and its type is some unboxed type T#… (authored by cactus).
If pattern synonym is bidirectional and its type is some unboxed type T#…
Nov 13 2014, 4:54 AM
cactus committed rGHCe70019a8544b: Binding things matched by an unboxed pattern synonym should require a bang (authored by cactus).
Binding things matched by an unboxed pattern synonym should require a bang
Nov 13 2014, 4:54 AM
cactus committed rGHC0541c8585601: Fix typo in panic message (authored by cactus).
Fix typo in panic message
Nov 13 2014, 4:54 AM
cactus committed rGHC7038a5c21915: When calling the success continuation of a matcher, pass existential tyvars as… (authored by cactus).
When calling the success continuation of a matcher, pass existential tyvars as…
Nov 13 2014, 3:50 AM
cactus committed rGHC41ea4a336b51: nlHsTyApps: for applying a function both on type- and term-level arguments (authored by cactus).
nlHsTyApps: for applying a function both on type- and term-level arguments
Nov 13 2014, 3:44 AM
cactus committed rGHC93182cdd039a: When calling the success continuation of a matcher, pass existential tyvars as… (authored by cactus).
When calling the success continuation of a matcher, pass existential tyvars as…
Nov 13 2014, 3:44 AM
cactus committed rGHCbbefa6d2f2ee: Avoid premature unfolding of `seq` (authored by cactus).
Avoid premature unfolding of `seq`
Nov 13 2014, 3:44 AM

Nov 12 2014

cactus committed rGHCb99afa87a790: Add parser for pattern synonym type signatures. Syntax is of the form (authored by cactus).
Add parser for pattern synonym type signatures. Syntax is of the form
Nov 12 2014, 6:07 AM
cactus committed rGHC8ea3a3666698: Add test cases (authored by cactus).
Add test cases
Nov 12 2014, 6:07 AM
cactus committed rGHC24ef4c643110: Update baseline shift/reduce conflict number (authored by cactus).
Update baseline shift/reduce conflict number
Nov 12 2014, 6:07 AM
cactus committed rGHC353d11fca8e5: Use user-supplied type variables (when available) in pattern synonym type… (authored by cactus).
Use user-supplied type variables (when available) in pattern synonym type…
Nov 12 2014, 6:07 AM
cactus committed rGHCfaa9d4792df0: Change output of ':i' for pattern synonyms to be in sync with new syntax (authored by cactus).
Change output of ':i' for pattern synonyms to be in sync with new syntax
Nov 12 2014, 6:06 AM
cactus committed rGHC2f2639de9be9: tcCheckPatSynDecl: typechecker for pattern synonyms with user-supplied type… (authored by cactus).
tcCheckPatSynDecl: typechecker for pattern synonyms with user-supplied type…
Nov 12 2014, 6:06 AM