git.iko.soy/grenade
on master help sign in
Use the same proof for 2D and 3D crops
commit46a1d83410469b8a4c6388bd4fedd704de0999af authorHuw Campbell <huw.campbell@ambiata.com> dateThu 13 Jul 2017, 20:02 (9 years ago) parent7808313
1 file changed+2−2
compare with master
unifiedsplit
src/Grenade/Layers/Crop.hs+2−2
src/Grenade/Layers/Crop.hs+2−2
@@ -51,8 +51,8 @@ instance ( KnownNat cropLeft
5151 , KnownNat inputColumns
5252 , KnownNat outputRows
5353 , KnownNat outputColumns
54− , (inputRows - cropTop - cropBottom) ~ outputRows
55− , (inputColumns - cropLeft - cropRight) ~ outputColumns
54+ , (outputRows + cropTop + cropBottom) ~ inputRows
55+ , (outputColumns + cropLeft + cropRight) ~ inputColumns
5656 ) => Layer (Crop cropLeft cropTop cropRight cropBottom) ('D2 inputRows inputColumns) ('D2 outputRows outputColumns) where
5757 type Tape (Crop cropLeft cropTop cropRight cropBottom) ('D2 inputRows inputColumns) ('D2 outputRows outputColumns) = ()
5858 runForwards Crop (S2D input) =