Feed Advanced Search

Nov 12 2014

cactus committed rGHC03fe09665941: Renamer for PatSynSigs: handle type variable bindings (authored by cactus).
Renamer for PatSynSigs: handle type variable bindings
Nov 12 2014, 6:06 AM
cactus committed rGHCa9e5e5d1bbb6: 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 12 2014, 6:06 AM
cactus committed rGHC28bea84e0625: Apply compulsory unfoldings during desugaring. See Note [Unfolding while… (authored by cactus).
Apply compulsory unfoldings during desugaring. See Note [Unfolding while…
Nov 12 2014, 5:49 AM
cactus committed rGHC7ca65890bf53: Apply compulsory unfoldings during desugaring. See Note [Unfolding while… (authored by cactus).
Apply compulsory unfoldings during desugaring. See Note [Unfolding while…
Nov 12 2014, 5:07 AM
cactus committed rGHC9d9b615c068a: 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 12 2014, 5:07 AM
cactus committed rGHC05feff271305: 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 12 2014, 5:07 AM
cactus committed rGHCb11c8b83a244: Fix typo in panic message (authored by cactus).
Fix typo in panic message
Nov 12 2014, 5:07 AM
cactus committed rGHC3df7ad1921af: Apply compulsory unfoldings during desugaring (authored by cactus).
Apply compulsory unfoldings during desugaring
Nov 12 2014, 3:39 AM
cactus committed rGHC3cb2a48e1b6f: 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 12 2014, 3:39 AM
cactus committed rGHC53c01205bee8: Fix typo in panic message (authored by cactus).
Fix typo in panic message
Nov 12 2014, 3:39 AM
cactus committed rGHC3bfd4d8f9ad0: 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 12 2014, 3:39 AM

Nov 11 2014

cactus committed rGHC1d67ee59a89e: Add test cases (authored by cactus).
Add test cases
Nov 11 2014, 7:07 AM
cactus committed rGHC8c74ee9f6fc6: 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 11 2014, 7:07 AM
cactus committed rGHC70a5606a0a15: Update baseline shift/reduce conflict number (authored by cactus).
Update baseline shift/reduce conflict number
Nov 11 2014, 7:07 AM
cactus committed rGHC0276534ce117: Renamer for PatSynSigs: handle type variable bindings (authored by cactus).
Renamer for PatSynSigs: handle type variable bindings
Nov 11 2014, 7:07 AM
cactus committed rGHCc6d4d040551c: 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 11 2014, 7:07 AM
cactus committed rGHC282fb3a985c9: 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 11 2014, 7:07 AM
cactus committed rGHC068695e41506: tcCheckPatSynDecl: typechecker for pattern synonyms with user-supplied type… (authored by cactus).
tcCheckPatSynDecl: typechecker for pattern synonyms with user-supplied type…
Nov 11 2014, 7:07 AM

Nov 10 2014

cactus committed rGHCb0a25b9e30c9: Look ma, no 'pattern type'! (authored by cactus).
Look ma, no 'pattern type'!
Nov 10 2014, 8:09 AM
cactus committed rGHC7061f2b89721: In concrete syntax, existential and universial tyvars of a pattern synonym type… (authored by cactus).
In concrete syntax, existential and universial tyvars of a pattern synonym type…
Nov 10 2014, 8:09 AM
cactus committed rGHC18cfb4a28224: renamer fixup: remove tab (authored by cactus).
renamer fixup: remove tab
Nov 10 2014, 8:09 AM
cactus committed rGHCc7ced1f37263: 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 10 2014, 8:09 AM
cactus committed rGHC7a1f9a8c1b60: Finish parser (authored by cactus).
Finish parser
Nov 10 2014, 8:09 AM
cactus committed rGHC8a4846565e49: Parser for SPJ's pattern synonym signature syntax (authored by cactus).
Parser for SPJ's pattern synonym signature syntax
Nov 10 2014, 8:09 AM

Nov 8 2014

cactus committed rGHCa946c7d4ea0b: Tests (authored by cactus).
Tests
Nov 8 2014, 8:06 AM
cactus committed rGHCd16342c0d2f6: 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 8 2014, 8:06 AM
cactus committed rGHC170c98f5a3c2: Fix typo in panic message (authored by cactus).
Fix typo in panic message
Nov 8 2014, 8:06 AM
cactus committed rGHC76efaa860c5b: 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 8 2014, 8:06 AM
cactus committed rGHC2e550dd4caba: #stash (authored by cactus).
#stash
Nov 8 2014, 2:56 AM
cactus committed rGHC1dd00bdd7602: #WIP #STASH (authored by cactus).
#WIP #STASH
Nov 8 2014, 2:56 AM
cactus committed rGHCd9c15c6b841d: Add a dummy Void# argument to pattern synonym wrapper if it has no arguments… (authored by cactus).
Add a dummy Void# argument to pattern synonym wrapper if it has no arguments…
Nov 8 2014, 2:56 AM
cactus committed rGHC7e9b8e6df209: Fix typo in panic message (authored by cactus).
Fix typo in panic message
Nov 8 2014, 2:56 AM
cactus committed rGHCdc5f25fbec32: 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 8 2014, 2:56 AM
cactus committed rGHC09b8ff7bbc74: Add test cases (authored by cactus).
Add test cases
Nov 8 2014, 2:54 AM
cactus committed rGHC54a3cc6735be: Show foralls (when requested) in pattern synonym types (authored by cactus).
Show foralls (when requested) in pattern synonym types
Nov 8 2014, 2:54 AM
cactus committed rGHC893f1b056543: 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 8 2014, 2:54 AM
cactus committed rGHCf08b36aed490: Update baseline shift/reduce conflict number (authored by cactus).
Update baseline shift/reduce conflict number
Nov 8 2014, 2:54 AM
cactus committed rGHC18e8882c2b57: tcCheckPatSynDecl: typechecker for pattern synonyms with user-supplied type… (authored by cactus).
tcCheckPatSynDecl: typechecker for pattern synonyms with user-supplied type…
Nov 8 2014, 2:54 AM
cactus committed rGHC37a4d470d65c: Renamer for PatSynSigs: handle type variable bindings (authored by cactus).
Renamer for PatSynSigs: handle type variable bindings
Nov 8 2014, 2:54 AM
cactus committed rGHCc0af9a312b63: 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 8 2014, 2:54 AM
cactus committed rGHC65dc594b156c: 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
Nov 8 2014, 2:22 AM
cactus committed rGHC474e535b6b12: In pattern synonym matchers, support unboxed continuation results (fixes #9783). (authored by cactus).
In pattern synonym matchers, support unboxed continuation results (fixes #9783).
Nov 8 2014, 2:22 AM
cactus committed rGHC443622252359: 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
Nov 8 2014, 12:02 AM
cactus committed rGHC65f32aed54fb: In pattern synonym matchers, support unboxed continuation results (fixes #9783). (authored by cactus).
In pattern synonym matchers, support unboxed continuation results (fixes #9783).
Nov 8 2014, 12:02 AM

Nov 7 2014

cactus committed rGHC8fcdab85c60a: In pattern synonym matchers, support unboxed continuation results. (authored by cactus).
In pattern synonym matchers, support unboxed continuation results.
Nov 7 2014, 11:28 PM
cactus committed rGHC2b3729836d92: 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
Nov 7 2014, 11:28 PM
cactus committed rGHC70911f05783a: 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
Nov 7 2014, 10:29 PM
cactus committed rGHCa4ea93cf55b0: In pattern synonym matchers, support unboxed continuation results. (authored by cactus).
In pattern synonym matchers, support unboxed continuation results.
Nov 7 2014, 10:29 PM
cactus committed rGHCaa859198c895: Add test cases (authored by cactus).
Add test cases
Nov 7 2014, 9:54 PM
cactus committed rGHCe281acb6d111: Show foralls (when requested) in pattern synonym types (authored by cactus).
Show foralls (when requested) in pattern synonym types
Nov 7 2014, 9:54 PM
cactus committed rGHCb6fe9464fce8: 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 7 2014, 9:54 PM
cactus committed rGHC09355b0ac726: Update baseline shift/reduce conflict number (authored by cactus).
Update baseline shift/reduce conflict number
Nov 7 2014, 9:54 PM
cactus committed rGHCe54dae3bf1c0: tcCheckPatSynDecl: typechecker for pattern synonyms with user-supplied type… (authored by cactus).
tcCheckPatSynDecl: typechecker for pattern synonyms with user-supplied type…
Nov 7 2014, 9:54 PM
cactus committed rGHC6a5984609aab: Add test cases (authored by cactus).
Add test cases
Nov 7 2014, 9:03 AM
cactus committed rGHC4225763f683e: Update baseline shift/reduce conflict number (authored by cactus).
Update baseline shift/reduce conflict number
Nov 7 2014, 9:03 AM
cactus committed rGHC39ce4cd71075: 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 7 2014, 9:03 AM
cactus committed rGHC8c9b869d3b3b: Show foralls (when requested) in pattern synonym types (authored by cactus).
Show foralls (when requested) in pattern synonym types
Nov 7 2014, 9:03 AM
cactus committed rGHC31d9f2451cea: 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 7 2014, 9:03 AM
cactus committed rGHC808c6001b29e: tcCheckPatSynDecl: typechecker for pattern synonyms with user-supplied type… (authored by cactus).
tcCheckPatSynDecl: typechecker for pattern synonyms with user-supplied type…
Nov 7 2014, 9:03 AM
cactus committed rGHC30146d704ed4: Renamer for PatSynSigs: handle type variable bindings (authored by cactus).
Renamer for PatSynSigs: handle type variable bindings
Nov 7 2014, 9:03 AM
cactus committed rGHC6c7e8353af5c: Add test cases (authored by cactus).
Add test cases
Nov 7 2014, 6:03 AM
cactus committed rGHCa362bfac4969: Show foralls (when requested) in pattern synonym types (authored by cactus).
Show foralls (when requested) in pattern synonym types
Nov 7 2014, 6:03 AM
cactus committed rGHCaae123636e18: 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 7 2014, 6:03 AM
cactus committed rGHC934672343208: Update baseline shift/reduce conflict number (authored by cactus).
Update baseline shift/reduce conflict number
Nov 7 2014, 6:03 AM
cactus committed rGHC952a2f46c6c8: tcCheckPatSynDecl: typechecker for pattern synonyms with user-supplied type… (authored by cactus).
tcCheckPatSynDecl: typechecker for pattern synonyms with user-supplied type…
Nov 7 2014, 6:03 AM
cactus committed rGHCdc9139230968: 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
Nov 7 2014, 6:03 AM
cactus committed rGHC70ab25f124c4: Renamer for PatSynSigs: handle type variable bindings (authored by cactus).
Renamer for PatSynSigs: handle type variable bindings
Nov 7 2014, 6:03 AM

Nov 6 2014

cactus committed rGHC0b718e5e600d: #WIP #STASH (authored by cactus).
#WIP #STASH
Nov 6 2014, 7:47 AM
cactus committed rGHCdbad3a3d58b3: #WIP #STASH (authored by cactus).
#WIP #STASH
Nov 6 2014, 7:14 AM
cactus committed rGHCe52869cfed4f: 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
Nov 6 2014, 7:14 AM
cactus committed rGHC6ce514bfd9e7: 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 6 2014, 7:14 AM
cactus committed rGHC49c3a2e80308: Add a dummy Void# argument to pattern synonym wrapper if it has no arguments… (authored by cactus).
Add a dummy Void# argument to pattern synonym wrapper if it has no arguments…
Nov 6 2014, 7:14 AM
cactus committed rGHC1567a8f87303: In pattern synonym matchers, support unboxed continuation results. (authored by cactus).
In pattern synonym matchers, support unboxed continuation results.
Nov 6 2014, 7:14 AM
cactus committed rGHC515574e34d1f: #WIP #STASH (authored by cactus).
#WIP #STASH
Nov 6 2014, 7:12 AM
cactus committed rGHCbbbd75c6b7d2: Update documentation of matcher type (authored by cactus).
Update documentation of matcher type
Nov 6 2014, 7:12 AM
cactus committed rGHC7da3053d3fbf: Simplify creation of IDs (authored by cactus).
Simplify creation of IDs
Nov 6 2014, 7:11 AM
cactus committed rGHCf2c683c8719d: 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
Nov 6 2014, 7:11 AM
cactus committed rGHCba1a59cd6bcf: 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 6 2014, 7:11 AM
cactus committed rGHCcb128254b6ea: Add a dummy Void# argument to pattern synonym wrapper if it has no arguments… (authored by cactus).
Add a dummy Void# argument to pattern synonym wrapper if it has no arguments…
Nov 6 2014, 7:11 AM
cactus committed rGHC6b68c8ccbb08: In pattern synonym matchers, support unboxed continuation results. (authored by cactus).
In pattern synonym matchers, support unboxed continuation results.
Nov 6 2014, 7:11 AM
cactus committed rGHC75237a922e7b: Fix typo in panic message (authored by cactus).
Fix typo in panic message
Nov 6 2014, 7:11 AM

Nov 5 2014

cactus committed rGHC28052d12c995: Finishing touches (authored by cactus).
Finishing touches
Nov 5 2014, 8:12 AM
cactus committed rGHC45622b352e27: moar cleanup (authored by cactus).
moar cleanup
Nov 5 2014, 8:12 AM
cactus committed rGHCf4247275cd9d: Cosmetics (authored by cactus).
Cosmetics
Nov 5 2014, 7:49 AM
cactus committed rGHCca2923f88a5e: Pass two sets of evidence bindings to tcPatSynMatcher (authored by cactus).
Pass two sets of evidence bindings to tcPatSynMatcher
Nov 5 2014, 7:40 AM
cactus committed rGHC0feb654e77fa: #WIP #STASH (authored by cactus).
#WIP #STASH
Nov 5 2014, 7:40 AM

Nov 2 2014

cactus committed rGHC670697837e47: Add test case for T8968 (authored by cactus).
Add test case for T8968
Nov 2 2014, 1:43 AM
cactus committed rGHCf216eec56397: #WIP #STASH (authored by cactus).
#WIP #STASH
Nov 2 2014, 1:43 AM
cactus committed rGHC10d5a7be074f: Check provided constraints from pattern type signature (authored by cactus).
Check provided constraints from pattern type signature
Nov 2 2014, 1:43 AM
cactus committed rGHC02e083e8b191: Create SigTyVars for existentials under tcPat when typechecking a PatSyn with a… (authored by cactus).
Create SigTyVars for existentials under tcPat when typechecking a PatSyn with a…
Nov 2 2014, 1:43 AM
cactus committed rGHC7150e3dc7ba2: Add TcPatSynInfo as a separate type (same pattern as PatSynBind being a… (authored by cactus).
Add TcPatSynInfo as a separate type (same pattern as PatSynBind being a…
Nov 2 2014, 1:43 AM
cactus committed rGHCf82848dbe398: tcTySig for PatSynSigs: filter out universially-bound type variables from ex_tvs (authored by cactus).
tcTySig for PatSynSigs: filter out universially-bound type variables from ex_tvs
Nov 2 2014, 1:43 AM
cactus committed rGHC88f7f2e3482a: Show foralls (when requested) in pattern synonym types (authored by cactus).
Show foralls (when requested) in pattern synonym types
Nov 2 2014, 1:43 AM
cactus committed rGHCffc72bb3e919: universially-bound tyvars are in scope when renaming existentially-bound tyvars… (authored by cactus).
universially-bound tyvars are in scope when renaming existentially-bound tyvars…
Nov 2 2014, 1:43 AM
cactus committed rGHCb9f6912ea8d2: Split tcPatSynDecl into inferring function and general workhorse function (authored by cactus).
Split tcPatSynDecl into inferring function and general workhorse function
Nov 2 2014, 1:43 AM
cactus committed rGHC44c02158b9b7: Add TcPatSynInfo to store the typechecked representation of a pattern synonym… (authored by cactus).
Add TcPatSynInfo to store the typechecked representation of a pattern synonym…
Nov 2 2014, 1:43 AM
cactus committed rGHCc90c3dd1daa8: PatSynSig: Add type variable binders (authored by cactus).
PatSynSig: Add type variable binders
Nov 2 2014, 1:43 AM
cactus committed rGHC7502bf63349f: Renamer for PatSynSigs: handle type variable bindings (authored by cactus).
Renamer for PatSynSigs: handle type variable bindings
Nov 2 2014, 1:43 AM
cactus committed rGHC073941d65a11: 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 2 2014, 1:43 AM
cactus committed rGHC296eba6607fb: Update baseline shift/reduce conflict number (authored by cactus).
Update baseline shift/reduce conflict number
Nov 2 2014, 1:43 AM