{"push_id":2942342532,"size":28,"distinct_size":28,"ref":"refs/heads/dargent","head":"91905ce05402ad8b5d3023741568af310361031e","before":"40991ef32e647a2bfcf797fe51ba253ccd588142","commits":[{"sha":"a180a53fa340d5cff29612a852c3b28efcd13ff1","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Added all DataLayout work so far and it compiles.\n\nThis includes:\n* Core data structures\n* Surface to core transformation\n* QuickCheck generators and properties\n\nTODO:\n* Figure out how to integrate QuickCheck tests into testing framework\n* Remove QuickCheck build-depends and QuickCheck exposed-modules from\n  library in cogent.cabal (because it belongs somewhere else)\n* Find actual SourcePos and delete Cogent.DataLayout.Syntax module\n* Remove Cogent.Common.Repr in favour of Cogent.DataLayout.Surface\n* Rename structures in Cogent.Common.Repr to DataLayout.","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/a180a53fa340d5cff29612a852c3b28efcd13ff1"},{"sha":"a48b741f8a922d8f8ae2ab571032e0c775fb8dd9","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Added test directory and runner for quickcheck\n\n* Running `cabal test` will run quickcheck tests\n* Also fixed the compilation issue","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/a48b741f8a922d8f8ae2ab571032e0c775fb8dd9"},{"sha":"f1e9825d522fa82ae924a32e4c3d59d0d7350418","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Fixed DataLayout to use Text.Parsec.Pos (SourcePos)","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/f1e9825d522fa82ae924a32e4c3d59d0d7350418"},{"sha":"e104dd0bd2b3ab485733bc7894bbb4b5912a173a","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Moving Repr to DataLayout/Surface","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/e104dd0bd2b3ab485733bc7894bbb4b5912a173a"},{"sha":"fbc79891e5d746b12ddcdbce99d967dfa5ef4d01","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Updated project to use new DataLayout structures, instead of Repr structures.","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/fbc79891e5d746b12ddcdbce99d967dfa5ef4d01"},{"sha":"264afa2c99a008aa85088a8b9afad1c85881c38c","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Fixed desugar __fixme so that all tests now pass.","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/264afa2c99a008aa85088a8b9afad1c85881c38c"},{"sha":"34c658876b311e7adf27ff0c314911f202a0feb6","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Changed the test suite to not depend on an internal library\n\nAlso added it to the Makefile.","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/34c658876b311e7adf27ff0c314911f202a0feb6"},{"sha":"586117ee3e00501837b5e700627d1fcbb5ebe769","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Made changes in response to suggestions on pull request.\n\nHaven't changed the type `Size` from `Integer` to `Word32`\nbecause it breaks the quickCheck tests - causes an infinite loop,\nI'm guessing because it overflows the `Word32` at some point. Not\nsure why, can investigate in the future.","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/586117ee3e00501837b5e700627d1fcbb5ebe769"},{"sha":"ef159f487b34f357c29ee45f52b157a659e0fa9e","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Setup for implementing separated typechecking and desugaring.\n\nNot sure why `make test-tc` has `fail_wf-take-nonexisting-field.cogent` broken.","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/ef159f487b34f357c29ee45f52b157a659e0fa9e"},{"sha":"39db238ee6dd735008032e51ab7306f44217f5de","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Implemented the typecheck function for DataLayoutExprs","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/39db238ee6dd735008032e51ab7306f44217f5de"},{"sha":"e398020c082b0545f4a414d63cc129af2d14d3c6","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Finished implementing DataLayout.TypeCheck","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/e398020c082b0545f4a414d63cc129af2d14d3c6"},{"sha":"34af1827d3e49e2e85eeefdf61ebc57664b37aaf","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Implemented DataLayout.Desugar","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/34af1827d3e49e2e85eeefdf61ebc57664b37aaf"},{"sha":"edbd4af3c85aa90055722ddf3909a713ed991a9f","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Fixed regression where desugarSigil was being called on sigils with Nothing as their layout.\n\nTurns out this is allowed because boxed abstract types will have no associated layout and\nwon't be managed by Dargent.","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/edbd4af3c85aa90055722ddf3909a713ed991a9f"},{"sha":"909357e802fa3a2490e007f977fda49e691eb944","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Small fix to normaliseT","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/909357e802fa3a2490e007f977fda49e691eb944"},{"sha":"9f4ab60d39c5129d0e659404298b7fcc9d70564c","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Fixed fail_wf-take-nonexisting-field regression","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/9f4ab60d39c5129d0e659404298b7fcc9d70564c"},{"sha":"b810cf652eb2f792c7bdf7ce7caee0b54e9b6d13","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Implemented layout generation in desugaring phase.\n\n* Changed INSTALL.md to reflect need for GNU sed for some tests\n* Modified Core language `Type t` `Sigils` so that `TCon` sigils are of type `Sigil ()` and `TRecord` sigils are of type `Sigil (DataLayout BitRange)`. This is because in the core language, `TCon` is only used for abstract types, and abstract types have no layout. `TRecords` must always have a layout if they are boxed.\n* Added layout generation in the desugaring phase for types whose layout wasn't provided.\n* Changed a few test cases to WIP because they involve records containing boxed abstract types, which we will probably be removing from the language, and the initial dargent implementation doesn't support.","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/b810cf652eb2f792c7bdf7ce7caee0b54e9b6d13"},{"sha":"4e67c4c5e541b0b44eeeb88d3527556f773877a4","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Stylistic improvements\n\n* Fixed size of boolean type\n* Used `..` to import all constructors of some data types\n* Improved commenting about why `desugarSigil` is separate from `desugarAbstractTypeSigil`, and why it expects to be given the unboxed version of the boxed type it is desugaring.","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/4e67c4c5e541b0b44eeeb88d3527556f773877a4"},{"sha":"69b86e67577769b3084da514285aeeca6f20baf5","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Improved comment with additional precondition","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/69b86e67577769b3084da514285aeeca6f20baf5"},{"sha":"883b3a388cd0f3e9768fe47f7785dabf3b49a9f4","author":{"name":"Matthew Di Meglio","email":"27b9d025cae1ebf9f71128e79a7fc5aeee6cc483@optusnet.com.au"},"message":"Added some tests for the desugaring generation of layouts for types.","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/883b3a388cd0f3e9768fe47f7785dabf3b49a9f4"},{"sha":"16c26fffeb0e524b306df241048fa73ad057b772","author":{"name":"vjackson725","email":"2933212c3996690341c5bf59ddd5cfae014c23a3@users.noreply.github.com"},"message":"fix module problems","distinct":true,"url":"https://api.github.com/repos/NICTA/cogent/commits/16c26fffeb0e524b306df241048fa73ad057b772"}]}
{"actor":{"display_login":"mdimeglio"}}