can calculate the length of matrices too

conjure-cp · Oct 7, 2024 · 5e2f9e6 · 5e2f9e6
1 parent 5807a6f
commit 5e2f9e6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Conjure/Language/Expression/Op/TwoBars.hs b/src/Conjure/Language/Expression/Op/TwoBars.hs
@@ -29,6 +29,7 @@ instance (TypeOf x, Pretty x, Domain () x :< x) => TypeOf (OpTwoBars x) where
                 case ty of
                     TypeInt _       -> return ()
                     TypeList{}      -> return ()
+                    TypeMatrix{}    -> return ()
                     TypeSet{}       -> return ()
                     TypeMSet{}      -> return ()
                     TypeFunction{}  -> return ()