GitHub PushEvent at 2014-04-02 12:22:01
Repository: dotty
Actor: gzm0
Payload: {"shas":[["fae8d8eabd184b27980bc15d2adb360b12db47e1","059b8b880f8441509ec8a65b50b4c6ae74ebea76@meisch.ch","Make context available in TreeTransform.prepareForXX methods","Tobias Schlatter",false],["ce466da9fd5b2601c91e351fd1d288099ec380b2","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","Better diagnostics for failing stub count tests","Martin Odersky",false],["3ba0931636a5d34ca2da9588f2952af709d41ace","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","New scheme for TypeTrees that refer to others\n\nAdds a new scheme by which a TypeTree() can refer for its type to the symbol of some other type.\nApplies the scheme to setter parameters, replacing the previous ad-hoc solution.","Martin Odersky",false],["5b687fbee23060fbed285f090e3592f2b8cb6beb","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","Generalize derived type tree scheme.\n\nTo get truly hygienic desugared trees, we need a derived type tree scheme that's more\nflexible than just the previous two choices of info-of-symbol and typeref-of-symbol.\nThe new scheme based on DerivedTypeTrees allows arbitrary methods to derive the type tree's type.","Martin Odersky",false],["a4516eac1be98830c99ea48e9baedf022dfcb9f7","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","Hygienic desugaring\n\nMade desugaring hygienic. Trees that are derived from some other tree are no longer stored as simple\nuntyped Ident trees, but as TypeTrees that know how to derive their types from some other type.\n\nTest cases in pos: hygiene.scala, t0054.scala and t0085.scala.\n\nThe comment in hygiene.scala points to the difficulties we are facing. In particular, we need type\ntrees that can rebind some references of a source type to local occurrences with the same name. t0054.scala is similar to hygiene.scala. t0085.scala is trickier, but also related. Essentially the problem there is that we have a class\nthat inherits its outer class. In this case it is important to resolve an identifier in the right context. The identifier added to the copy method of a case class must be resolved outside the class (just like the same\nidentifier in the constructor of that case class).","Martin Odersky",false],["e50646c21cbc842c1188fc876e16ea2b3e2a2ea3","059b8b880f8441509ec8a65b50b4c6ae74ebea76@meisch.ch","Minor improvements to tests (remove old comments)","Tobias Schlatter",false],["fd76c38000f206b3d27ac68eaeddb0f76678dfc2","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","Merge pull request #88 from dotty-staging/try/hygienic-desugaring\n\nTry/hygienic desugaring","odersky",false],["a7d47ab54cbfb324dec4ee1594e24738cd54113a","3d09ba44760d450f0971fb182d8911721f6e01fa@d-d.me","Merge pull request #87 from gzm0/context-in-prep-transform\n\nMake context available in TreeTransform.prepareForXX methods","Dmitry Petrashko",false],["bb90b26fbca27f432ade46ae572b82e1b8027b19","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","Tests t01xx and t02xx\n\nTest t0288 moved to disabled due to lack of Java interop.\nTest t0273 fixed by relaxing double def condition: We only regard two\ndefinitions that define the same name and have exactly the same signature\nas double definitions. Previously, signatures that defined the same parameters\nwere also excluded.","Martin Odersky",false],["ee1251f37f844bdb4f4ea69177e8183ad74e7b3d","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","Fix of t0438 - lambdas and eta expansion\n\nTwo fixes were needed\n\n1) When typing a function value (x1: T1, ..., xN: Tn) => e, don't unconditionally issue an error\n   if the expected function type arity is different from N. Instead, issue an error only\n   if one of the types T1, ..., Tn is absent. The idea is that only then we need to\n   consult the expected type for the parameter type. This allows to fix the problem later\n   by an implicit conversion applied to the function value.\n\n2) When eta-expanding, do not automtically take the arity of the expected function value as the\n   arity of the generated lambda. Instead, take the method's arity, and copy method parameters\n   into the lambda in case the arities are different.","Martin Odersky",false],["4b57b3d877ca7b66b4cb2e588493d2933ae041bf","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","Fix of t0504: _root_ not found\n\n_root_ is now entered into an enclosing context.","Martin Odersky",false],["6f1ef32d728320c31cc59daad0f4849c9cd0a87c","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","Fix of t0591: implicitly\n\nA debug assertion in implicitSearch gave a false alarm and was removed.","Martin Odersky",false],["6436fa67e561442ef2e2d9b99852a50f323ccacc","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","More tests\n\nAdded more tests which all pass, except for tests in disabled and pending.\n\nt0694 went from pos to neg, because the kind of alias type used in t0695 is no longer supported.","Martin Odersky",false],["2c2ab10958e27ced276c9906f18a67c1eddd1928","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","Fix of t0786: view bounds\n\nPreviously, only implicit method types were eligible as views. This is too strict,\nas it rules out view bounds. We now also consider types that derive from Function1.\nThe reason for not allowing any type is that this would cause us to check many more\ntypes for applicability when an implicit view is searched.","Martin Odersky",false],["7bf837c79315e5db7e049f3ffeb6c6842d18880c","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","Fix of t0774: empty file\n\nWas previously wrapped in a\n\n    package <empty>\n\nbut the resulting tree had no position, which caused a Typer assertion. If now\nrepresented as EmptyTree.","Martin Odersky",false],["90f430bfb9178e49dc112bacf5b250d0780dcd1e","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","More tests\n\nwhich all pass.","Martin Odersky",false],["77d1c83ff67894bf87d37bfb8982d818fdc88f73","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","Fix of t0625 - compare method types\n\nMethod type comparison via <:< yielded false if the signatures of the two method types differed.\nThis is too strict, because methods can have the same parametyers but different result types and still\nbe in a subtype relationship. We now onyl demand that the sighatures have the same parameters.","Martin Odersky",false],["7820e62e30a63f2b8fd6b8bab8f96be6924a63a1","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","Fix of t1056 - PartialFunction\n\ntype T was not recorgnized as a SAM type because a case was missing in zeroParamClass.","Martin Odersky",false],["0a1ec31c2a17c5dd0e6bd363979cbf17a8860616","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","Fix of t112606A - path dependent types\n\nNeeded an extra case in isSubType.","Martin Odersky",false],["474b35ff0160c1174674757895e93818dc4f2f19","2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com","Fix of t1123 - Unit discarding\n\nNeed to do unit discarding also in selection prototypes.","Martin Odersky",false]],"size":76,"ref":"refs/heads/constructors","head":"c6501af7d63dce9147e8acc896d87adf50f87925"}