git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Speed improvement for tidyUp.
7492b71Phil Freeman
src/Language/PureScript/TypeChecker/Types.hs+8−3
compare with golang
unifiedsplit
@@ -45,8 +45,8 @@ import Data.List
45import Data.Maybe (maybeToList, isNothing, isJust, fromMaybe)
45import Data.Maybe (maybeToList, isNothing, isJust, fromMaybe)
46import qualified Data.Data as D
46import qualified Data.Data as D
47import Data.Generics
47import Data.Generics
48− (everythingWithContext, mkM, everywhereM, everything, mkT,
48+ (everythingWithContext, mkM, everywhereM,
49− something, everywhere, mkQ)
49+ everything, mkT, something, everywhere, mkQ)
50import Data.Generics.Extras
50import Data.Generics.Extras
51
51
52import Language.PureScript.Declarations
52import Language.PureScript.Declarations
@@ -253,7 +253,12 @@ isTyped (name, value) = (name, (value, Nothing))
253-- Map a function over type annotations appearing inside a value
253-- Map a function over type annotations appearing inside a value
254--
254--
255overTypes :: (Type -> Type) -> Value -> Value
255overTypes :: (Type -> Type) -> Value -> Value
256−overTypes f = everywhere (mkT f)
256+overTypes f = everywhere (mkT g)
257+ where
258+ g :: Value -> Value
259+ g (TypedValue checkTy val t) = TypedValue checkTy val (f t)
260+ g (TypeClassDictionary b (nm, tys) sco) = TypeClassDictionary b (nm, map f tys) sco
261+ g other = other
257
262
258-- |
263-- |
259-- Replace type class dictionary placeholders with inferred type class dictionaries
264-- Replace type class dictionary placeholders with inferred type class dictionaries