@@ -105,6 +105,12 @@ not = "not"
106-- Prelude Values
106-- Prelude Values
108return :: String
114return :: String
109return = "return"
115return = "return"
@@ -163,6 +169,15 @@ applicativeEffDictionary = "applicativeEff"
163bindEffDictionary :: String
169bindEffDictionary :: String
164bindEffDictionary = "bindEff"
170bindEffDictionary = "bindEff"
172+semiringNumber :: String
173+semiringNumber = "semiringNumber"
176+ringNumber = "ringNumber"
178+divisionRingNumber :: String
179+divisionRingNumber = "divisionRingNumber"
166numNumber :: String
181numNumber :: String
167numNumber = "numNumber"
182numNumber = "numNumber"