search

turion / rhine

Haskell Functional Reactive Programming framework with type-level clocks
http://hackage.haskell.org/package/rhine
123 stars 21 forks source link

Add record fields to SN constructors #120

Open turion opened 5 years ago

turion commented 5 years ago

Newer GHCs support record fields for data types with more than one constructor. SN should have record fields, and most definitions where we match on SN should be refactored using syntax like e.g. Synchronous {..} and so on.

ggreif commented 5 years ago

N.B. I think GHC always supported field accessors in multi-constructor data. The big caveat is (of course) absence of totality, when not all constructors define all selectors.

On 12/9/18, Manuel Bärenz notifications@github.com wrote:

Newer GHCs support record fields for data types with more than one constructor. SN should have record fields, and most definitions where we match on SN should be refactored using syntax like e.g. Synchronous {..} and so on.

-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/turion/rhine/issues/120