rename functions _nothing and _nothing_u from module _SystemStrictMaybes to _none and _none_u

e3b8b74a · John van Groningen · 4cbf22db · e3b8b74a
Commit e3b8b74a authored Apr 21, 2021 by John van Groningen
--- a/frontend/predef.icl
+++ b/frontend/predef.icl
@@ -107,8 +107,8 @@ predefined_idents
 					[PD_just_u] = i "_cJust_u",
 					[PD_from_just_u] = i "_eJust_u",

-					[PD_none] = i "_nothing",
-					[PD_none_u] = i "_nothing_u",
+					[PD_none] = i "_none",
+					[PD_none_u] = i "_none_u",

 					[PD_MaybeClass] = i "Maybe",
 					[PD_UMaybeClass] = i "UMaybe",