commit 05dbbe371fc6f55350146d9da3be964502f2f2f6
Author: Trevor Elliott <trevor@galois.com>
Date:   Sun Sep 8 15:44:36 2013 -0700

    Add a `data type` test for the manual

commit 47196bea5019896f52c721fa1d8883954eb8ef38
Merge: 985c976 80b8fbbe
Author: Trevor Elliott <trevor@galois.com>
Date:   Sun Sep 8 14:25:05 2013 -0700

    Merge remote-tracking branch 'head/master' into data-kind-syntax-v2

commit 985c976801c42f10d8d3745bfab213399ce11ebb
Merge: 214b93e f88ca205
Author: Trevor Elliott <awesomelyawesome@gmail.com>
Date:   Wed Aug 28 01:09:26 2013 -0400

    Merge remote-tracking branch 'head/master' into data-kind-syntax-v2

commit 214b93ed9db50fdfae5e28252b39b57c9e1bad86
Author: Trevor Elliott <awesomelyawesome@gmail.com>
Date:   Wed Jul 17 03:22:57 2013 -0400

    Update output for renamed should_fail cases

commit fece262b7ec0326f1f59e6789fa0daec63ec2da7
Author: Trevor Elliott <awesomelyawesome@gmail.com>
Date:   Wed Jul 17 03:16:50 2013 -0400

    Fix naming conflicts for data kind tests

commit d4d4614a696633c6fe2c58b1832331abeb21bc32
Merge: de7a85e 27d4d6e8
Author: Trevor Elliott <awesomelyawesome@gmail.com>
Date:   Wed Jul 17 03:13:35 2013 -0400

    Merge remote-tracking branch 'head/master' into data-kind-syntax-v2

commit de7a85e7a4efea7d3cbf68b19b2622ecae71774e
Merge: 4765d76 1ad2fda0
Author: Trevor Elliott <trevor@galois.com>
Date:   Wed Jun 5 11:02:55 2013 -0700

    Merge remote-tracking branch 'origin/master' into data-kind-syntax-v2

commit 4765d7607d883885d7b707f91ec3b30efc06bf46
Author: Trevor Elliott <trevor@galois.com>
Date:   Mon Jun 3 20:21:26 2013 -0700

    Add the data kind example from the Wiki

      from http://hackage.haskell.org/trac/ghc/wiki/GhcKinds/KindsWithoutData

commit 90eb2e3ab18495948fb8de749fc993038fb63ab0
Author: Trevor Elliott <trevor@galois.com>
Date:   Mon Jun 3 20:11:26 2013 -0700

    Update the expected failure DataKind6

      Name resolution is checked for data kind declarations now

commit 54621191bfebe6cc60e4a8553bee40d622405e24
Author: Trevor Elliott <trevor@galois.com>
Date:   Sat May 4 16:01:12 2013 -0700

    Add tests for the data kind syntax