Add Manifold to dim checking

OCADml · Jan 26, 2023 · c24aab5 · c24aab5
1 parent 6dc3a2a
commit c24aab5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/dim.ml b/src/dim.ml
@@ -75,7 +75,9 @@ let rec check ~loc dim = function
   | [%type: ([ `D3 ], OCADml.V3.t, OCADml.V3.t, OCADml.Affine3.t) OSCADml.Scad.t]
   | [%type: ([ `D3 ], OCADml.v3, OCADml.v3, OCADml.Affine3.t) OSCADml.Scad.t]
   | [%type: Scad.d3]
-  | [%type: OSCADml.Scad.d3] ->
+  | [%type: OSCADml.Scad.d3]
+  | [%type: Manifold.t]
+  | [%type: OManifold.Manifold.t] ->
     ( match dim with
     | Some D2 -> Error MixedDimensions
     | Some (Poly _) -> Error PolyCollapse