This commit is contained in:
orion kindel
2026-02-23 14:20:35 -06:00
parent 1f7086f85e
commit b536f7fc4a
25 changed files with 0 additions and 3 deletions

View File

@@ -1 +0,0 @@
module Mujoco where

View File

@@ -70,9 +70,7 @@ patchUnsafe :: forall (@k :: Symbol) a b @r @lacksK. IsSymbol k => Cons k a lack
patchUnsafe f r =
let
k' = reflectSymbol $ Proxy @k
k = fromMaybe k' $ Map.lookup k' renames
btoa = unsafeCoerce :: b -> a
in
if Record.unsafeHas k' r then