Commit a8ba1645 authored by John van Groningen's avatar John van Groningen
Browse files

rename descriptor _Nothing as _None in _system.abc and _SystemStrictMaybes.icl

parent 5f744022
......@@ -220,8 +220,8 @@ ea_Conssts
.export _Consa
.record _Consa laa 2 0 "[#{}]"
.export _Nothing _Just
.desc _Nothing _hnf _hnf 0 0 "?None"
.export _None _Just
.desc _None _hnf _hnf 0 0 "?None"
.desc _Just _hnf l_Just 1 0 "?^Just"
.o 2 0
......
......@@ -13,13 +13,13 @@ class UMaybe e where {
_none :: u:(l .e) | Maybe l e, [u<=e];
_none = code {
pop_a 2
fillh _Nothing 0 0
fillh __None 0 0
};
_none_u :: . ?# .e | UMaybe e;
_none_u = code {
pop_a 2
fillh _Nothing 0 0
fillh __None 0 0
};
instance Maybe ? a where {
......
......@@ -219,8 +219,8 @@ ea_Conssts
.export _Consa
.record _Consa laa 2 0 "[#{}]"
.export _Nothing _Just
.desc _Nothing _hnf _hnf 0 0 "?None"
.export _None _Just
.desc _None _hnf _hnf 0 0 "?None"
.desc _Just _hnf l_Just 1 0 "?^Just"
.o 2 0
......
......@@ -13,13 +13,13 @@ class UMaybe e where {
_none :: u:(l .e) | Maybe l e, [u<=e];
_none = code {
pop_a 2
fillh _Nothing 0 0
fillh _None 0 0
};
_none_u :: . ?# .e | UMaybe e;
_none_u = code {
pop_a 2
fillh _Nothing 0 0
fillh _None 0 0
};
instance Maybe ? a where {
......
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