GitHub PushEvent at 2014-07-23 17:39:07
Repository: distributed-static
Actor: facundominguez
Payload: {"shas":[["dcf3c4f1d9b06a774d3ccac10bb8d3d9bd929f04","14265bd1655a10906c223c8fc1327bd0817ab9dd@gmail.com","Merge pull request #1 from haskell-distributed/binary-vsn-bump\n\nAllow binary == 0.7.*","Tim Watson",false],["0f622d1c8ac51187cba8d98a669b60b926a6edcc","14265bd1655a10906c223c8fc1327bd0817ab9dd@gmail.com","Use the umbrella build","Tim Watson",false],["1f39508d5bcac74cb36bdfef38557e50a21c3767","6b0d31c0d563223024da45691584643ac78c96e8@tweag.io","Remove dynamic type check in Static Binary instance.\n\nCurrently, a dynamic type check occurs when a static value is\ndeserialized. The reason for this check is to preclude writing\npathological functions such as `decode . encode` that make it possible\nto modify the phantom type parameter of the static value.\n\nHowever, `decode . encode` is arguably the same pattern as `read .\nshow`, which in general is unsafe (e.g. whenever phantom type parameters\nare involved) but not in any manner specific to static values. It is\ndebatable whether we should defensively protect against the user writing\nsuch code through the use of extra Typeable constraints. For what is\ngood for the goose is good for the gander, i.e. not just static values,\nyet we cannot hope to guarantee type safety whenever the representation\nof an abstract type is exported in any way.\n\nMoreover, this dynamic type check is redundant with a second type check\nthat occurs when resolving static values, in 'unstatic'. One can\nconstruct all manner of static values and compose them, but they can\nonly be used by resolving them. Hence a dynamic type check will occur at\nleast once, i.e. at resolution time. There is, therefore, little value\nin doing a dynamic type check earlier, while each such type check has\na non negligible performance cost.","Mathieu Boespflug",true],["bf189c287689c8b8dbd701f14def4c553cadb8f0","6b0d31c0d563223024da45691584643ac78c96e8@tweag.io","Use default-extensions field.","Mathieu Boespflug",true],["3b82910279f80b5cd7b8f41c83e0270c141b0032","6b0d31c0d563223024da45691584643ac78c96e8@tweag.io","Implementation of static values that is generic in the notion of labels.\n\nThere are many possible notion of labels, ranging from simple string\nlabels, to compiler generated linker symbols, to constructors of an\nenumeration. This patch introduces \"Control.Distributed.Static.Generic\"\nwhere static values are parametric in the type of labels. Along the same\ndesign as the vector package, other modules can define static values\nwith fixed label types all the while reusing definitions from the\nGeneric module.\n\nOnly compatible with base >= 4.7 due to use of new Typeable API. This\nrestriction can be lifted in future patches.","Mathieu Boespflug",true],["286f5026345760f320b729ea650f3a97c262a836","6b0d31c0d563223024da45691584643ac78c96e8@tweag.io","Reimplement \"Control.Distributed.Static\" in terms of \"Control.Distributed.Static.Generic\".\n\nThe module exports a largely backwards compatible API, with the addition\na few more combinators to complete the original set of combinators that\nwas shipped in this module.","Mathieu Boespflug",true],["413b365b6a4df873ca67aa4ef4a8dab8fde8e261","6b0d31c0d563223024da45691584643ac78c96e8@tweag.io","Rename 'StaticLabel' to 'StringLabel'.\n\nThis is an internal type so does not affect the API. The motivation\nbehind this name change is to make it clear that using a string as\na label is but one possible notion of static label, of which there can\nbe many.","Mathieu Boespflug",true],["e0ca3167bb1a45fe839e1b83597700a767e95307","6b0d31c0d563223024da45691584643ac78c96e8@tweag.io","Backward compatibility with GHC < 7.8.\n\nUsing the old Typeable API, rather than the new one that ships with GHC 7.8.","Mathieu Boespflug",true],["b4b1d5ba571d3db46fc7c4a48ead0328945def0d","910fc18d0637e24769458a228fba4d4b7ad59d7f@tweag.io","Implement resolution for GlobalNames.","Facundo Domínguez",true]],"size":9,"ref":"refs/heads/generic-static-staging","head":"b4b1d5ba571d3db46fc7c4a48ead0328945def0d"}