From c24aab53d2fba3395bee29f3d9954ec888de4c80 Mon Sep 17 00:00:00 2001 From: Geoff deRosenroll Date: Wed, 25 Jan 2023 22:00:49 -0800 Subject: [PATCH] Add Manifold to dim checking --- src/dim.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/dim.ml b/src/dim.ml index c9a1156..87095e7 100644 --- 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