Commit Graph

274 Commits

Author SHA1 Message Date
Joey Hess 527e020c10 Merge branch 'joeyconfig' 2015-01-25 15:24:44 -04:00
Joey Hess 25086e58d7 update 2015-01-25 15:22:22 -04:00
Joey Hess e6c7ad373f Merge branch 'joeyconfig' 2015-01-25 15:20:28 -04:00
Joey Hess c72fa2bcd8 remove idea about moving into GADT 2015-01-25 15:20:11 -04:00
Joey Hess b38e271161 update; SimpleSh was removed 2015-01-25 15:17:49 -04:00
Joey Hess 401b857eef Merge branch 'joeyconfig'
Conflicts:
	doc/todo/info_propigation_out_of_nested_properties.mdwn
	privdata.joey/privdata.gpg
2015-01-25 15:16:58 -04:00
Joey Hess 5d8bd485cb
propellor spin 2015-01-25 15:08:40 -04:00
Joey Hess 73ad89d973
propellor spin 2015-01-25 15:04:05 -04:00
Joey Hess e9d5d9aff1 remove toSimpleProp
It didn't do what I thought it did with a RevertableProperty; it always
returned Nothing because even if the input properties to <!> are NoInfo, it
casts them to HasInfo.

Even if it had worked, it lost type safety. Better to export the
Property NoInfo that is used in a RevertableProperty, so it can be used
directly.
2015-01-25 14:47:57 -04:00
Joey Hess 0ee04ecc43 GADT properties seem to work (untested)
* Property has been converted to a GADT, and will be Property NoInfo
  or Property HasInfo.
  This was done to make sure that ensureProperty is only used on
  properties that do not have Info.
  Transition guide:
  - Change all "Property" to "Property NoInfo" or "Property WithInfo"
    (The compiler can tell you if you got it wrong!)
  - To construct a RevertableProperty, it is useful to use the new
    (<!>) operator
  - Constructing a list of properties can be problimatic, since
    Property NoInto and Property WithInfo are different types and cannot
    appear in the same list. To deal with this, "props" has been added,
    and can built up a list of properties of different types,
    using the same (&) and (!) operators that are used to build
    up a host's properties.
2015-01-24 22:38:51 -04:00
Joey Hess 1df70ba81d update 2015-01-24 13:04:06 -04:00
Joey Hess eb3c079bba add news item for propellor 1.3.2 2015-01-15 14:06:02 -04:00
gueux db464f126c 2015-01-08 18:12:05 +00:00
Joey Hess 9825b9a3bd add news item for propellor 1.3.1 2015-01-04 19:58:04 -04:00
Joey Hess 2de60a9027 add news item for propellor 1.3.0 2015-01-04 17:19:54 -04:00
Joey Hess acdcff5ca4 Merge branch 'joeyconfig'
Conflicts:
	privdata.joey/privdata.gpg
2015-01-04 17:16:55 -04:00
Joey Hess df8d8eb532 close 2015-01-04 17:16:43 -04:00
Joey Hess b50f33395e update docs 2015-01-01 13:57:13 -04:00
Joey Hess db88241502 noticed a minor bug 2015-01-01 13:03:30 -04:00
Joey Hess 28596064c2 layout 2014-12-26 15:35:17 -04:00
Joey Hess 207f43e95d comment 2014-12-26 15:32:00 -04:00
spwhitton 493d61d228 create forum post 2014-12-26 12:24:16 +00:00
Joey Hess 165980fdd3 add news item for propellor 1.2.2 2014-12-21 21:47:03 -04:00
Joey Hess 3a8d33719d update 2014-12-21 21:41:02 -04:00
Joey Hess a68bd830ac add news item for propellor 1.2.1 2014-12-17 16:34:15 -04:00
Joey Hess 8588629034 comment 2014-12-15 12:05:06 -04:00
Joey Hess db3f9050d6 comment 2014-12-15 12:00:16 -04:00
https://www.google.com/accounts/o8/id?id=AItOawkgUir7k_amh9RFp4D3QutX1fGh_nd7ko4 c164e48096 Added a comment: Passwords in PrivData 2014-12-13 18:25:23 +00:00
Joey Hess 7a71cc0455 add news item for propellor 1.2.0 2014-12-09 00:38:51 -04:00
Joey Hess 173d7485c0 comment 2014-12-09 00:36:46 -04:00
picca cc1ec7e2e2 Added a comment 2014-12-08 10:47:59 +00:00
picca 51493f7558 Added a comment: second run with content modified 2014-12-08 09:37:43 +00:00
picca 9ac0dfb246 Added a comment: first run 2014-12-08 09:31:46 +00:00
picca c5a8caeb53 formating 2014-12-08 09:18:16 +00:00
picca 64ea1b7930 2014-12-08 08:59:32 +00:00
Joey Hess 27d00296ec update 2014-12-07 21:52:14 -04:00
Joey Hess ac0bedb90b update 2014-12-07 19:20:02 -04:00
Joey Hess 19a1d6b7ed expand 2014-12-07 18:49:42 -04:00
Joey Hess f692e1ceb2 Merge branch 'joeyconfig' 2014-12-07 15:34:33 -04:00
Joey Hess d7d833b431 fix cron example 2014-12-07 15:34:29 -04:00
Joey Hess 0972b3ca2e old news 2014-12-07 15:29:30 -04:00
Joey Hess 41d5a6b708 add news item for propellor 1.1.0 2014-12-07 15:25:56 -04:00
Joey Hess d1cfcc416c fix display 2 2014-12-07 15:11:43 -04:00
Joey Hess 5bb761bcf1 fix comment display 2014-12-07 15:10:55 -04:00
Joey Hess 4051c8c6ae update 2014-12-07 15:08:17 -04:00
Joey Hess 322ae878bb Merge branch 'joeyconfig'
Conflicts:
	privdata.joey/privdata.gpg
2014-12-07 12:04:58 -04:00
Joey Hess b7da90a915 comment 2014-12-07 12:04:30 -04:00
https://www.google.com/accounts/o8/id?id=AItOawluNCXp4EAAeZyhZLCOS48gn3p-qAPyhJ4 31e13031fe 2014-12-07 00:05:23 +00:00
Joey Hess dd40a05ced update 2014-12-06 16:15:08 -04:00
Joey Hess de02fa9f7b remove done part 2014-12-06 13:23:12 -04:00