[Haskell] RV 2017 - Last Call for Participation

2017-09-01 Thread Ayoub Nouri
LAST CALL FOR PARTICIPATION RV’17 - RUNTIME VERIFICATION 2017 The 17th International Conference on Runtime Verification September 13-16 2017, Seattle, WA, USA Website: http://rv2017.cs.manchester.ac.uk Program:

Re: [Haskell] [Haskell-beginners] Restrict type in phantom data-type

2017-09-01 Thread Baa
David, hello! 1. Is it the same/different as: data family Day a data Sunny data Rainy data instance Day Sunny = SunnyDay deriving Show data instance Day Rainy = RainyDay deriving Show ..and here you can not create `Day Int` object because no `Day Int` constructor (but you can

Re: [Haskell] [Haskell-beginners] Restrict type in phantom data-type

2017-09-01 Thread David Feuer
This is off-topic for this list. This list is for announcements. This belongs on haskell-c...@haskell.org On Sep 1, 2017 11:05 AM, "Baa" wrote: > David, hello! > > 1. Is it the same/different as: > > data family Day a > data Sunny > data Rainy > data instance Day

Re: How to get a heap visualization

2017-09-01 Thread Joachim Breitner
Hi, author of ghc-heap-view here. Am Mittwoch, den 30.08.2017, 18:34 +0300 schrieb Yitzchak Gale: > Getting ghc-vis to compile looks hopeless, for a number of reasons. > The dependencies on gtk and cairo are huge. Is that really a problem? > It hasn't been updated > on Hackage for a year and