Commit aeea9622 authored by Bastian Kauschke's avatar Bastian Kauschke

fix SomeFunctor with RELEASE

parent b6b5199b
......@@ -24,9 +24,8 @@ import Type.Reflection
#ifdef RELEASE
import GHC.Exts (Any)
import Unsafe.Coerce
#else
import Data.Maybe (mapMaybe)
#endif
import Data.Maybe (mapMaybe)
import Data.Functor.Classes
import Data.Proxy
......@@ -208,6 +207,8 @@ instance PrintMorphism SomeFunctor where
mapF1 (SomeF1 fRep f1) = case eqTypeRep (typeRep @f') fRep of
Nothing -> error "unexpected F1"
Just HRefl -> f1
mapEdges :: (SomeLabel, Build.Builder) -> Maybe (Label f', Build.Builder)
#ifdef RELEASE
mapEdges ((SomeLabel f2), to) = Just (unsafeCoerce f2, to)
#else
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment