From f8a18fe3fcaf63d7b046d13fdeb86a0cac48d0de Mon Sep 17 00:00:00 2001 From: orion kindel Date: Mon, 23 Feb 2026 15:41:53 -0600 Subject: [PATCH] warns --- src/Mujoco/MJCF.purs | 10 +++++----- src/Mujoco/MJCF/Prelude.purs | 2 +- test/Main.purs | 3 +-- test/Mujuco.MJCF.Util.purs | 3 +-- 4 files changed, 8 insertions(+), 10 deletions(-) diff --git a/src/Mujoco/MJCF.purs b/src/Mujoco/MJCF.purs index b14eac2..a5d2397 100644 --- a/src/Mujoco/MJCF.purs +++ b/src/Mujoco/MJCF.purs @@ -26,11 +26,11 @@ module Mujoco.MJCF import Mujoco.MJCF.Prelude import Mujoco.MJCF.Keyword as Kw -import Mujoco.MJCF.Keyframe as X -import Mujoco.MJCF.Keyword as X -import Mujoco.MJCF.Asset as X -import Mujoco.MJCF.Body as X -import Mujoco.MJCF.Contact as X +import Mujoco.MJCF.Keyframe (Props_key, key, keyframe) as X +import Mujoco.MJCF.Keyword (Acc(..), Affine(..), Allowed(..), Auto(..), Axis(..), Ball(..), Body(..), Box(..), CG(..), Camera(..), Capsule(..), Checker(..), Convex(..), Cross(..), Cube(..), Cubic(..), Cylinder(..), Degree(..), Dense(..), Depth(..), Dir(..), Directional(..), Disable(..), Dist(..), Distance(..), Edge(..), Ellipsoid(..), Elliptic(..), Emissive(..), Enable(..), Euler(..), Exact(..), Filter(..), FilterExact(..), Fixed(..), Flat(..), Force(..), Found(..), Free(..), Geom(..), Global(..), Gradient(..), Hfield(..), Hinge(..), Image(..), Implicit(..), ImplicitFast(..), Init(..), Integrator(..), Legacy(..), Linear(..), Local(..), MaxForce(..), Mesh(..), Metallic(..), MinDist(..), Muscle(..), NetForce(..), Never(..), Newton(..), None(..), Normal(..), Occlusion(..), Opacity(..), Origin(..), Orm(..), Orthographic(..), PGS(..), Perspective(..), Plane(..), Point(..), Pos(..), Positive(..), Pyramidal(..), Quaternion(..), RK4(..), Radian(..), Random(..), Real(..), Rgb(..), Rgba(..), Roughness(..), SRGB(..), Sdf(..), Segmentation(..), Shell(..), Site(..), Skybox(..), Slide(..), Sparse(..), Sphere(..), Spot(..), Tangent(..), Targetbody(..), Targetbodycom(..), Torque(..), Track(..), Trackcom(..), TwoD(..), User(..), Vel(..), Xbody(..), Zoh(..), false_, kw, true_) as X +import Mujoco.MJCF.Asset (LayerRole, MeshInertia, Props_hfield, Props_layer, Props_material, Props_mesh, Props_model, Props_texture, TextureBuiltin, TextureColorspace, TextureMark, TextureType, asset, hfield, layer, material, mesh, model, texture) as X +import Mujoco.MJCF.Body (CameraMode, CameraOutput, JointType, LightType, Projection, Props_attach, Props_body, Props_camera, Props_frame, Props_freejoint, Props_geom, Props_inertial, Props_joint, Props_light, Props_site, SiteType, SleepPolicy, attach, body, camera, frame, freejoint, geom, inertial, joint, light, site, worldbody) as X +import Mujoco.MJCF.Contact (Props_exclude, Props_pair, contact, exclude, pair) as X import Mujoco.MJCF.Sensor (sensor) as X import Mujoco.MJCF.Actuator (actuator) as X import Mujoco.MJCF.Tendon (tendon) as X diff --git a/src/Mujoco/MJCF/Prelude.purs b/src/Mujoco/MJCF/Prelude.purs index 5c8f822..0777d0e 100644 --- a/src/Mujoco/MJCF/Prelude.purs +++ b/src/Mujoco/MJCF/Prelude.purs @@ -3,7 +3,7 @@ module Mujoco.MJCF.Prelude (module X) where import Type.Row (type (+)) as X import Prelude (class Applicative, class Apply, class Bind, class BooleanAlgebra, class Bounded, class Category, class CommutativeRing, class Discard, class DivisionRing, class Eq, class EuclideanRing, class Field, class Functor, class HeytingAlgebra, class Monad, class Monoid, class Ord, class Ring, class Semigroup, class Semigroupoid, class Semiring, class Show, type (~>), Ordering(..), Unit, Void, absurd, add, ap, append, apply, between, bind, bottom, clamp, compare, comparing, compose, conj, const, degree, discard, disj, div, eq, flap, flip, gcd, identity, ifM, join, lcm, liftA1, liftM1, map, max, mempty, min, mod, mul, negate, not, notEq, one, otherwise, pure, recip, show, sub, top, unit, unless, unlessM, void, when, whenM, zero, (#), ($), ($>), (&&), (*), (*>), (+), (-), (/), (/=), (<), (<#>), (<$), (<$>), (<*), (<*>), (<<<), (<=), (<=<), (<>), (<@>), (=<<), (==), (>), (>=), (>=>), (>>=), (>>>), (||)) as X import Data.Either.Nested ((\/), type (\/)) as X -import Mujoco.MJCF.Common as X +import Mujoco.MJCF.Common (Named, Oriented, Positioned, Real, Vec, Vec4, Vec5) as X import Mujoco.MJCF.XML ( tag , tagNoContent diff --git a/test/Main.purs b/test/Main.purs index 9300b01..4a65d12 100644 --- a/test/Main.purs +++ b/test/Main.purs @@ -19,7 +19,6 @@ import Test.Mujoco.MJCF.Tendon as Test.Mujoco.MJCF.Tendon import Test.Mujoco.MJCF.Util (mjcf) import Test.Mujoco.MJCF.Visual as Test.Mujoco.MJCF.Visual import Test.Mujoco.MJCF.XML.Prop as Test.Mujoco.MJCF.XML.Prop -import Test.Spec (mapSpecTree) import Test.Spec.Reporter.Console (consoleReporter) import Test.Spec.Runner.Node (runSpecAndExitProcess) @@ -28,7 +27,7 @@ main = launchAff_ do mj <- Wasm.loadMujoco liftEffect - $ runSpecAndExitProcess [ consoleReporter ] + $ runSpecAndExitProcess [consoleReporter] $ mjcf mj do Test.Mujoco.MJCF.spec Test.Mujoco.MJCF.XML.Prop.spec diff --git a/test/Mujuco.MJCF.Util.purs b/test/Mujuco.MJCF.Util.purs index adb0f48..3d2a519 100644 --- a/test/Mujuco.MJCF.Util.purs +++ b/test/Mujuco.MJCF.Util.purs @@ -4,12 +4,11 @@ import Prelude import Control.Monad.Error.Class (class MonadError, class MonadThrow, try) import Control.Monad.Reader (class MonadAsk, class MonadReader, ReaderT, ask, local, runReaderT) -import Control.Promise as Promise import Data.Either (isLeft) import Data.Identity (Identity) import Data.Newtype (class Newtype, unwrap) import Effect.Aff (Aff) -import Effect.Aff.Class (class MonadAff, liftAff) +import Effect.Aff.Class (class MonadAff) import Effect.Class (class MonadEffect, liftEffect) import Effect.Console as Console import Effect.Exception (Error)