X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=c%CE%BBash%2FCLasH%2FUtils%2FGhcTools.hs;h=c11b5486ffc0424aaaf6c3ca60084fc1fe8ce623;hb=466f80bdde9511508c38e951d208a2a52c90c7da;hp=373e9cf6827f3db91f0877ef73370ec7757ff912;hpb=a54863feb7304aa6a843efc15d29f017c45407f4;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git "a/c\316\273ash/CLasH/Utils/GhcTools.hs" "b/c\316\273ash/CLasH/Utils/GhcTools.hs" index 373e9cf..c11b548 100644 --- "a/c\316\273ash/CLasH/Utils/GhcTools.hs" +++ "b/c\316\273ash/CLasH/Utils/GhcTools.hs" @@ -217,9 +217,9 @@ findInitStates statec annsc mod = do extractInits (InitState x) = Just x extractInits _ = Nothing zipMWith :: (a -> b -> c) -> (Maybe [a]) -> [b] -> (Maybe [c]) - zipMwith _ Nothing _ = Nothing + zipMWith _ Nothing _ = Nothing zipMWith f (Just as) bs = Just $ zipWith f as bs - + -- | Make a complete spec out of a three conditions findSpec :: (Var.Var -> GHC.Ghc Bool) -> (Var.Var -> GHC.Ghc Bool) -> (Var.Var -> GHC.Ghc [CLasHAnn]) -> (Var.Var -> GHC.Ghc Bool)