{"push_id":2835363541,"size":197,"distinct_size":76,"ref":"refs/heads/safe-init","head":"cc2b1c8bbd3eed62507f5a12b9f37fc48e640035","before":"3ae677e48e8fbefdaf724614167d45c2461e70d6","commits":[{"sha":"aed0b297a7048e8e57bbee2cf6d13262399f609d","author":{"name":"Nicolas Stucki","email":"f0059eee4238f8b068fe33a392bdd0b7085f9f3e@gmail.com"},"message":"Fix #4734: Pickle positions for quotes","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/aed0b297a7048e8e57bbee2cf6d13262399f609d"},{"sha":"560107979346d944ec26fedaf18d79398e519060","author":{"name":"Nicolas Stucki","email":"f0059eee4238f8b068fe33a392bdd0b7085f9f3e@gmail.com"},"message":"Fix #1287: Add regression test","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/560107979346d944ec26fedaf18d79398e519060"},{"sha":"586527d5855b56bc7e1719762169adb2c466c79d","author":{"name":"Paolo G. Giarrusso","email":"7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com"},"message":"Seal Texts.Text","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/586527d5855b56bc7e1719762169adb2c466c79d"},{"sha":"dac426543cecfbc6c2452755951dc6b98e7a8a6f","author":{"name":"Paolo G. Giarrusso","email":"7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com"},"message":"Bugfix: missing return","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/dac426543cecfbc6c2452755951dc6b98e7a8a6f"},{"sha":"df2189bd4107102887d197a7e1aa8981af079580","author":{"name":"Paolo G. Giarrusso","email":"7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com"},"message":"Refactor argText\n\n`argText` uses `toTextGlobal` to change priority; instead, call `toText(arg)`\nand leave the priority up to the caller.\n- call-sites where `GlobalPrec` makes sense use now `argsText`.\n- to ensure this is a refactoring, other call-sites now use `atPrec(GlobalPrec)`\n  explicitly; all those calls will be corrected in subsequent commits.","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/df2189bd4107102887d197a7e1aa8981af079580"},{"sha":"8d8dfffd732841fe63d62f5b281a9553c5b7392e","author":{"name":"Paolo G. Giarrusso","email":"7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com"},"message":"Fix #4068: Fix pretty-printing precedence for function types\n\nUsing `atPrec(GlobalPrec)` ensures that `argText(args.head)` never adds\nparentheses around its output, but that's inappropriate for a function type\n`T1 => T2`. The nested calls to `atPrec` make no sense, but `argText` hid that\nbefore it was refactored.","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/8d8dfffd732841fe63d62f5b281a9553c5b7392e"},{"sha":"3257bfb08cb7aa4f1a6519ed0fdf1406d22987b6","author":{"name":"Paolo G. Giarrusso","email":"7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com"},"message":"Refactor: distinguish type- and term- level priority\n\nEncapsulate the precedence rules in `parsing.precedence` while allowing for\ndifferent precedence between term- and type-level operators, as mandated by the\nspec.\n\nThis is just a refactoring, the actual priority changes are separate.\n\n* Add an `isType` flag to `parsing.precedence` and add\n  constants for `AndTypePrec` and `OrTypePrec` (distinct from `OrPrec` and\n  `AndPrec`, which is now unused and dropped).\n* In the parser, consider `isType` to decide priority.\n* In the pretty-printer, use `AndTypePrec` and `OrTypePrec` where appropriate.","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/3257bfb08cb7aa4f1a6519ed0fdf1406d22987b6"},{"sha":"a87418b70acdd184745bf0c3000eb30ef9f736e1","author":{"name":"Paolo G. Giarrusso","email":"7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com"},"message":"Treat & and | as *left*-associative\n\nWhile the operators should be associative, they aren't actually guaranteed to\nbe, so correct pretty-printing will help users.\n\n* PrinterTests: Add first test for TypeTree printing.\n* PrinterTests: disable colors, following ErrorMessagesTest.scala.","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/a87418b70acdd184745bf0c3000eb30ef9f736e1"},{"sha":"500a9e5ebb6aa0d3b6e2aee0eaf5c0c26605db4c","author":{"name":"Paolo G. Giarrusso","email":"7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com"},"message":"Use precedence levels properly when printing infix types\n\nThis way, printing an infix type need not inspect its arguments; that ensures we\ndon't need to handle *all* the possible forms of types that need to be wrapped\nin parentheses.\n\nI did this purely as a refactoring, based on how pretty-printers are supposed to\nbe written. But the new test case, combining infix type operators and builting\nconnectives, didn't work with the old code. It also doesn't work in Scala 2:\n\n```scala\nWelcome to Scala 2.12.6 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_172).\nType in expressions for evaluation. Or try :help.\n\nscala> class &&[T,U]\ndefined class $amp$amp\n\nscala> def foo: Int && Boolean = ???\nfoo: Int && Boolean\n\nscala> def foo: Int && Boolean with String = ???\nfoo: Int && Boolean with String\n\nscala> def foo: Int && (Boolean with String) = ???\nfoo: Int && Boolean with String\n\nscala> def foo: (Int && Boolean) with String = ???\nfoo: Int && Boolean with String\n```","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/500a9e5ebb6aa0d3b6e2aee0eaf5c0c26605db4c"},{"sha":"6e8dfb4775a8f4790ca1c85457d9b2ff6e6e7795","author":{"name":"Paolo G. Giarrusso","email":"7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com"},"message":"Handle associativity mismatches for type operator in pretty-printer\n\n* RefinedPrinter: Handle associativity mismatches for Type operators.\n* Add Documentation/tutorial on how to use atPrec and changePrec correctly,\n  since so much code got it wrong and it takes a while to get it.\n* Extend tests for Type printing.","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/6e8dfb4775a8f4790ca1c85457d9b2ff6e6e7795"},{"sha":"5e01496d910caaa57a0d950863816d40d8443981","author":{"name":"Paolo G. Giarrusso","email":"7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com"},"message":"Use typeSymbol not classSymbol\n\nRefines 8b941d611b7ba09b91328e3632c89e2c4d5b7864: classSymbol is unnecessarily\naggressive here.","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/5e01496d910caaa57a0d950863816d40d8443981"},{"sha":"499f364190ddb5e562107d95e3142ae29723f360","author":{"name":"Nicolas Stucki","email":"f0059eee4238f8b068fe33a392bdd0b7085f9f3e@gmail.com"},"message":"Remove buggy override\n\nIt removes the -from-tasty compiler for no good reason","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/499f364190ddb5e562107d95e3142ae29723f360"},{"sha":"09a968a58e16c383d4bc2eda62a94093283d87da","author":{"name":"Fengyun Liu","email":"44ef6ae7dc573970bf8ae3c5a8744e4587bf8ebc@fengy.me"},"message":"Merge pull request #4941 from dotty-staging/fix-from-tasty-benchmarks\n\nRemove buggy override","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/09a968a58e16c383d4bc2eda62a94093283d87da"},{"sha":"01c5eac2e7cf44d6fc59e87c969f7ede5abd3f2a","author":{"name":"Olivier Blanvillain","email":"abda5a672ccba225c9dc9da11a139963e4899e08@gmail.com"},"message":"Merge pull request #4885 from dotty-staging/fix-#4734\n\nFix #4734: Pickle positions for quotes","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/01c5eac2e7cf44d6fc59e87c969f7ede5abd3f2a"},{"sha":"ddf26ee43606f8dc9d613fb7406d203a72e3dc4b","author":{"name":"Paolo G. Giarrusso","email":"7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com"},"message":"Refactor","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/ddf26ee43606f8dc9d613fb7406d203a72e3dc4b"},{"sha":"040b83167f4410ce10687a8bf2e10df79c8f26b9","author":{"name":"Paolo G. Giarrusso","email":"7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com"},"message":"Refactor #2\n\nWe're looping over indices and then indexing a *list*.","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/040b83167f4410ce10687a8bf2e10df79c8f26b9"},{"sha":"995a81feae917cc12a41e043af3131d9a0e9dd21","author":{"name":"Paolo G. Giarrusso","email":"7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com"},"message":"Typo","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/995a81feae917cc12a41e043af3131d9a0e9dd21"},{"sha":"d84922b6b0c32af5421130c04fab4b765748729b","author":{"name":"Paolo G. Giarrusso","email":"7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com"},"message":"Fix #4720: support smarter type inference\n\nFix regression in eeb5965328a937ccac48d5b26e27f2e107c5e092. A type variable can\nalready be solved in addToConstraint, so don't assume it is unsolved (hence its\nconstraint entry is a TypeBounds) when first processing it.\n\nFix #4720.","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/d84922b6b0c32af5421130c04fab4b765748729b"},{"sha":"b06d0796fb67464542d0e3743a5f4d1c395bf7b7","author":{"name":"Paolo G. Giarrusso","email":"7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com"},"message":"Fix #4721: don't assert constraints are satisfiable","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/b06d0796fb67464542d0e3743a5f4d1c395bf7b7"},{"sha":"24b0d825fb1d24e6293101cc00c15129832b170c","author":{"name":"Nicolas Stucki","email":"f0059eee4238f8b068fe33a392bdd0b7085f9f3e@gmail.com"},"message":"Fix #4947: Do not replace positions of inlined arguments","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/24b0d825fb1d24e6293101cc00c15129832b170c"}]}
{"actor":{"display_login":"liufengyun"}}