Fri Feb 27 14:39:06 WET 2009 hpacheco@di.uminho.pt
* conformity with haskell-src-exts 0.4.8
{
hunk ./DrHylo.cabal 26
- Build-Depends: base >= 4, pointless-haskell, mtl, haskell-src-exts == 0.4.4.1, syb
+ Build-Depends: base >= 4, pointless-haskell, mtl, haskell-src-exts == 0.4.8, syb
hunk ./src/DrHylo.hs 122
-pwpfDecl f d (PatBind loc (PVar (Ident name)) (UnGuardedRhs rhs) (BDecls [])) =
+pwpfDecl f d (PatBind loc (PVar (Ident name)) mtyp (UnGuardedRhs rhs) (BDecls [])) =
hunk ./src/DrHylo.hs 140
- return (PatBind loc (PVar (Ident name)) (UnGuardedRhs rhs') (BDecls []),ob)
+ return (PatBind loc (PVar (Ident name)) mtyp (UnGuardedRhs rhs') (BDecls []),ob)
hunk ./src/FunctorOf.hs 159
- DataDecl loc dn ctx hsName lName lConDecl (nub $ UnQual typeable : derive)
+ DataDecl loc dn ctx hsName lName lConDecl (nub $ (UnQual typeable,[]) : derive)
hunk ./src/FunctorOf.hs 175
- match str (a,b) = Exts.Match mkLoc (Ident str) [a]
+ match str (a,b) = Exts.Match mkLoc (Ident str) [a] Nothing
hunk ./src/FunctorOf.hs 210
-getObservableInst loc cts a = InstDecl loc ctx (UnQual (Ident "Observable")) [a] [InsDecl (FunBind [Exts.Match loc (Ident "observer") [PVar (Ident "x")] (UnGuardedRhs (App (App (Exts.Var (UnQual (Ident "send"))) (Lit (String ""))) (Paren (InfixApp (InfixApp (App (App (App (Exts.Var (UnQual (Ident "omap"))) (Paren (ExpTypeSig loc (Exts.Var (UnQual (Ident "_L"))) a))) (Exts.Var (UnQual (Ident "thk")))) (Paren (App (Exts.Var (UnQual (Ident "out"))) (Exts.Var (UnQual (Ident "x")))))) (QVarOp (UnQual (Symbol ">>="))) (Exts.Var (UnQual (Ident "return")))) (QVarOp (UnQual (Symbol "."))) (Exts.Var (UnQual (Ident "inn"))))))) (BDecls [PatBind loc (PVar (Ident "thk")) (UnGuardedRhs (ExpTypeSig loc (Exts.Var (UnQual (Ident "thunk"))) thunkSig )) (BDecls [])])])]
+getObservableInst loc cts a = InstDecl loc ctx (UnQual (Ident "Observable")) [a] [InsDecl (FunBind [Exts.Match loc (Ident "observer") [PVar (Ident "x")] Nothing (UnGuardedRhs (App (App (Exts.Var (UnQual (Ident "send"))) (Lit (String ""))) (Paren (InfixApp (InfixApp (App (App (App (Exts.Var (UnQual (Ident "omap"))) (Paren (ExpTypeSig loc (Exts.Var (UnQual (Ident "_L"))) a))) (Exts.Var (UnQual (Ident "thk")))) (Paren (App (Exts.Var (UnQual (Ident "out"))) (Exts.Var (UnQual (Ident "x")))))) (QVarOp (UnQual (Symbol ">>="))) (Exts.Var (UnQual (Ident "return")))) (QVarOp (UnQual (Symbol "."))) (Exts.Var (UnQual (Ident "inn"))))))) (BDecls [PatBind loc (PVar (Ident "thk")) Nothing (UnGuardedRhs (ExpTypeSig loc (Exts.Var (UnQual (Ident "thunk"))) thunkSig )) (BDecls [])])])]
hunk ./src/Matching.hs 24
- (UnGuardedRhs newMs) (BDecls [])
- where getName (Match _ name _ _ _) = name
+ Nothing (UnGuardedRhs newMs) (BDecls [])
+ where getName (Match _ name _ _ _ _) = name
hunk ./src/Matching.hs 29
-cas_matches ms@((Match _ _ pats _ _):_)
+cas_matches ms@((Match _ _ pats _ _ _):_)
hunk ./src/Matching.hs 41
-cas_alt (Match l _ pats expRhs (BDecls ds))
+cas_alt (Match l _ pats _ expRhs (BDecls ds))
}