Commit 62e1a264 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel 🐢

Fix tests with release flag

parent 430fc3bf
......@@ -194,7 +194,9 @@ c = Const . ExplicitSet . V.fromList
e :: a -> [Text] -> Factor a
e inner = Exponential inner . ExplicitExp . V.fromList
morphp :: (Functor f, ParseMorphism f) => f (FunctorExpression f Sort) -> Text -> Either (ParseErrorBundle Text Void) (Encoding (Sorted (Label f)) (Sorted (F1 f)))
morphp :: (Functor f, ParseMorphism f) => f (FunctorExpression f Sort)
-> Text
-> Either (ParseErrorBundle Text Void) (Encoding (Label (Desorted f)) (F1 (Desorted f)))
morphp fexpr input = snd <$> parseMorphisms (Functor 1 fexpr) EnableSanityChecks "" input
parseMorphismPointSpec :: Spec
......
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