haskell-src-meta 0.1.0 → 0.1.1

raw patch · 3 files changed

+9/−6 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• haskell-src-meta.cabal +1/−1
• src/Language/Haskell/Meta/Parse.hs +1/−1
• src/Language/Haskell/Meta/Syntax/Translate.hs +7/−4

@@ -1,5 +1,5 @@ name:               haskell-src-meta-version:            0.1.0+version:            0.1.1 cabal-version:      >= 1.6 build-type:         Simple license:            BSD3

@@ -32,7 +32,7 @@ parseType = either Left (Right . toType) . parseHsType  parseDecs :: String -> Either String [Dec]-parseDecs  = either Left (Right . fmap toDec) . parseHsDecls+parseDecs  = either Left (Right . toDecs) . parseHsDecls  ----------------------------------------------------------------------------- 

@@ -457,11 +457,14 @@   toDec a@(Hs.DerivDecl _ cxt qn ts)                   = error $ errorMsg "toDec" a     toDec a@(Hs.DefaultDecl _ ts)                        = error $ errorMsg "toDec" a   toDec a@(Hs.SpliceDecl _ s)                          = error $ errorMsg "toDec" a+  -- This type-signature conversion is just wrong. +  -- Type variables need to be dealt with. /Jonas   toDec a@(Hs.TypeSig _ ns t)     -- XXXXXXXXXXXXXX: oh crap, we can't return a [Dec] from this class!     = let xs = fmap (flip SigD (toType t) . toName) ns       in case xs of x:_ -> x; [] -> error "toDec: malformed TypeSig!"-+  toDec (Hs.InlineSig _ b act id) = PragmaD $ +    InlineP (toName id) (InlineSpec True False Nothing)  {- data HsDecl = ... | HsFunBind [HsMatch] | ... data HsMatch = HsMatch SrcLoc HsName [HsPat] HsRhs HsBinds@@ -480,7 +483,7 @@   toDec a@(Hs.ForImp _ cconv safe str n t)             = error $ errorMsg "toDec" a   toDec a@(Hs.ForExp _ cconv      str n t)             = error $ errorMsg "toDec" a -+  toDec x = error $ "toDec: Untranslatable declaration:" ++ (show x)   -- data Hs.Decl = ... | Hs.SpliceDecl Hs.SrcLoc Hs.Splice | ...@@ -569,8 +572,8 @@ -- * ToDecs HsDecl HsBinds  instance ToDecs Hs.Decl where-  toDecs a@(Hs.InfixDecl _ asst i ops)    = [] -- HACK-  toDecs (Hs.InlineSig _ _ _ _)  = []          -- HACK+--  toDecs a@(Hs.InfixDecl _ asst i ops)    = [] -- HACK+--  toDecs (Hs.InlineSig _ _ _ _)  = []          -- HACK   toDecs a@(Hs.TypeSig _ ns t)     = let xs = fmap (flip SigD (fixForall $ toType t) . toName) ns        in xs