TODO list

AwakeTODO.md

@@ -0,0 +1,6 @@
+- see the Category issue
+- set-up atom
+- see Jeff's thread on Monoids
+- write a prefix checker
+- check the parser paper
+- check gab's slides

src/Language/Haskell/Liquid/Types.hs

@@ -1853,7 +1853,7 @@ instance PPrint BTyVar where
 
 instance PPrint RTyVar where
   pprintTidy _ (RTV α)
-   | ppTyVar ppEnv  = ppr_tyvar α
+   | True {- ppTyVar ppEnv -} = ppr_tyvar α
    | otherwise      = ppr_tyvar_short α
    where
      ppr_tyvar :: Var -> Doc

tests/pos/Cat.hs

@@ -0,0 +1,17 @@
+{-# LANGUAGE GADTs #-}
+import Control.Category
+import Prelude hiding ((.), id)
+
+
+{- 
+class Category cat where
+  id :: cat a a 
+  (.) :: cat b c -> cat a b -> cat a c
+-}
+
+data Accum a b where
+  Accum :: s -> Accum a b
+
+-- | We can pass the outputs of one 'Accum' as the inputs of the next.
+instance Category Accum where
+  Accum  i1 . Accum  i2 = Accum  (i1, i2)