@@ -269,25 +269,25 @@ semiringNumber :: (String, String)
269semiringNumber = (C.prelude, C.semiringNumber)
269semiringNumber = (C.prelude, C.semiringNumber)
271semiringInt :: (String, String)
271semiringInt :: (String, String)
272−semiringInt = (C.dataInt, C.semiringInt)
272+semiringInt = (C.prelude, C.semiringInt)
274ringNumber :: (String, String)
274ringNumber :: (String, String)
275ringNumber = (C.prelude, C.ringNumber)
275ringNumber = (C.prelude, C.ringNumber)
277ringInt :: (String, String)
277ringInt :: (String, String)
278−ringInt = (C.dataInt, C.ringInt)
278+ringInt = (C.prelude, C.ringInt)
280moduloSemiringNumber :: (String, String)
280moduloSemiringNumber :: (String, String)
281moduloSemiringNumber = (C.prelude, C.moduloSemiringNumber)
281moduloSemiringNumber = (C.prelude, C.moduloSemiringNumber)
283moduloSemiringInt :: (String, String)
283moduloSemiringInt :: (String, String)
284−moduloSemiringInt = (C.dataInt, C.moduloSemiringInt)
284+moduloSemiringInt = (C.prelude, C.moduloSemiringInt)
286eqNumber :: (String, String)
286eqNumber :: (String, String)
287eqNumber = (C.prelude, C.eqNumber)
287eqNumber = (C.prelude, C.eqNumber)
289eqInt :: (String, String)
289eqInt :: (String, String)
290−eqInt = (C.dataInt, C.eqInt)
290+eqInt = (C.prelude, C.eqInt)
292eqString :: (String, String)
292eqString :: (String, String)
293eqString = (C.prelude, C.eqNumber)
293eqString = (C.prelude, C.eqNumber)
@@ -299,7 +299,7 @@ ordNumber :: (String, String)
299ordNumber = (C.prelude, C.ordNumber)
299ordNumber = (C.prelude, C.ordNumber)
301ordInt :: (String, String)
301ordInt :: (String, String)
302−ordInt = (C.dataInt, C.ordInt)
302+ordInt = (C.prelude, C.ordInt)
304semigroupString :: (String, String)
304semigroupString :: (String, String)
305semigroupString = (C.prelude, C.semigroupString)
305semigroupString = (C.prelude, C.semigroupString)