4 Commits

Author	SHA1	Message	Date
Joey Hess	c72fa2bcd8	remove idea about moving into GADT	2015-01-25 15:20:11 -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