Verified Commit 73e55390 authored by Camil Staps's avatar Camil Staps 🚀

Remove instances for == and < of () from @property-bootstrap fields (these are...

Remove instances for == and < of () from @property-bootstrap fields (these are now defined in StdEnv)
parent 4c23b853
Pipeline #28691 passed with stage
in 2 minutes and 51 seconds
......@@ -6,11 +6,6 @@ definition module Data.IntMap.Base
* // TODO: this is a bad dependency as IntMap.Base should not depend on IntMap.Strict
* from Data.IntMap.Strict import fromList, toList
*
* instance == () where
* == _ _ = True
* instance < () where
* < _ _ = False
*
* derive genShow IntMap
* derive gPrint IntMap
*
......
......@@ -6,11 +6,6 @@ definition module Data.IntMap.Strict
* import StdTuple, StdInt
* from Data.Func import $
*
* instance == () where
* == _ _ = True
* instance < () where
* < _ _ = False
*
* @property-test-with a = ()
*/
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment