Commit 4cbf22db authored by John van Groningen's avatar John van Groningen
Browse files

refactor, rename BEAdjustOverloadedNothingFunction as BEAdjustOverloadedNoneFunction

parent 0383a206
......@@ -29,7 +29,7 @@ BEAdjustStrictJustInstance
BEAdjustUnboxedListDeconsInstance
BEAdjustUnboxedFromJustInstance
BEAdjustOverloadedNilFunction
BEAdjustOverloadedNothingFunction
BEAdjustOverloadedNoneFunction
BEOverloadedConsSymbol
BEOverloadedPushNode
BEPredefineConstructorSymbol
......
......@@ -91,8 +91,8 @@ BEAdjustUnboxedFromJustInstance :: !Int !Int !BackEnd -> BackEnd;
// void BEAdjustUnboxedFromJustInstance (int functionIndex, int moduleIndex);
BEAdjustOverloadedNilFunction :: !Int !Int !BackEnd -> BackEnd;
// void BEAdjustOverloadedNilFunction (int functionIndex,int moduleIndex);
BEAdjustOverloadedNothingFunction :: !Int !Int !BackEnd -> BackEnd;
// void BEAdjustOverloadedNothingFunction (int functionIndex,int moduleIndex);
BEAdjustOverloadedNoneFunction :: !Int !Int !BackEnd -> BackEnd;
// void BEAdjustOverloadedNoneFunction (int functionIndex,int moduleIndex);
BEOverloadedConsSymbol :: !Int !Int !Int !Int !BackEnd -> (!BESymbolP,!BackEnd);
// BESymbolP BEOverloadedConsSymbol (int constructorIndex,int moduleIndex,int deconsIndex,int deconsModuleIndex);
BEOverloadedPushNode :: !Int !BESymbolP !BEArgP !BENodeIdListP !BENodeP !BackEnd -> (!BENodeP,!BackEnd);
......
......@@ -216,11 +216,11 @@ BEAdjustOverloadedNilFunction a0 a1 a2 = code {
}
// void BEAdjustOverloadedNilFunction (int functionIndex,int moduleIndex);
BEAdjustOverloadedNothingFunction :: !Int !Int !BackEnd -> BackEnd;
BEAdjustOverloadedNothingFunction a0 a1 a2 = code {
ccall BEAdjustOverloadedNothingFunction "II:V:p"
BEAdjustOverloadedNoneFunction :: !Int !Int !BackEnd -> BackEnd;
BEAdjustOverloadedNoneFunction a0 a1 a2 = code {
ccall BEAdjustOverloadedNoneFunction "II:V:p"
}
// void BEAdjustOverloadedNothingFunction (int functionIndex,int moduleIndex);
// void BEAdjustOverloadedNoneFunction (int functionIndex,int moduleIndex);
BEOverloadedConsSymbol :: !Int !Int !Int !Int !BackEnd -> (!BESymbolP,!BackEnd);
BEOverloadedConsSymbol a0 a1 a2 a3 a4 = code {
......
......@@ -1373,7 +1373,7 @@ where
adjust_overloaded_none_functions function_index first_instance_index std_strict_maybes_none_functions backEnd
| function_index<first_instance_index
# backEnd = appBackEnd (BEAdjustOverloadedNothingFunction function_index std_strict_maybes_module_index) backEnd
# backEnd = appBackEnd (BEAdjustOverloadedNoneFunction function_index std_strict_maybes_module_index) backEnd
= adjust_overloaded_none_functions (function_index+1) first_instance_index std_strict_maybes_none_functions backEnd
= backEnd
......
......@@ -1317,7 +1317,7 @@ void BEAdjustOverloadedNilFunction (int functionIndex,int moduleIndex)
symbol_p->symb_tail_strictness=0;
}
void BEAdjustOverloadedNothingFunction (int functionIndex,int moduleIndex)
void BEAdjustOverloadedNoneFunction (int functionIndex,int moduleIndex)
{
SymbolP symbol_p;
......
......@@ -248,8 +248,8 @@ Clean (BEAdjustUnboxedFromJustInstance :: Int Int BackEnd -> BackEnd)
void BEAdjustOverloadedNilFunction (int functionIndex,int moduleIndex);
Clean (BEAdjustOverloadedNilFunction :: Int Int BackEnd -> BackEnd)
void BEAdjustOverloadedNothingFunction (int functionIndex,int moduleIndex);
Clean (BEAdjustOverloadedNothingFunction :: Int Int BackEnd -> BackEnd)
void BEAdjustOverloadedNoneFunction (int functionIndex,int moduleIndex);
Clean (BEAdjustOverloadedNoneFunction :: Int Int BackEnd -> BackEnd)
BESymbolP BEOverloadedConsSymbol (int constructorIndex,int moduleIndex,int deconsIndex,int deconsModuleIndex);
Clean (BEOverloadedConsSymbol :: Int Int Int Int BackEnd -> (BESymbolP,BackEnd))
......
......@@ -30,7 +30,7 @@ EXPORTS
BEAdjustUnboxedListDeconsInstance
BEAdjustUnboxedFromJustInstance
BEAdjustOverloadedNilFunction
BEAdjustOverloadedNothingFunction
BEAdjustOverloadedNoneFunction
BEOverloadedConsSymbol
BEOverloadedPushNode
BEPredefineConstructorSymbol
......
......@@ -29,7 +29,7 @@
/EXPORT: BEAdjustUnboxedListDeconsInstance
/EXPORT: BEAdjustUnboxedFromJustInstance
/EXPORT: BEAdjustOverloadedNilFunction
/EXPORT: BEAdjustOverloadedNothingFunction
/EXPORT: BEAdjustOverloadedNoneFunction
/EXPORT: BEOverloadedConsSymbol
/EXPORT: BEOverloadedPushNode
/EXPORT: BEPredefineConstructorSymbol
......
......@@ -28,7 +28,7 @@
/EXPORT:BEAdjustUnboxedListDeconsInstance
/EXPORT:BEAdjustUnboxedFromJustInstance
/EXPORT:BEAdjustOverloadedNilFunction
/EXPORT:BEAdjustOverloadedNothingFunction
/EXPORT:BEAdjustOverloadedNoneFunction
/EXPORT:BEOverloadedConsSymbol
/EXPORT:BEOverloadedPushNode
/EXPORT:BEPredefineConstructorSymbol
......
......@@ -1420,8 +1420,8 @@ cIsNotStrict :== False
= UnboxedList !Index !Index !Index // StdStrictLists module index, decons_u index, nil_u index
| UnboxedTailStrictList !Index !Index !Index // StdStrictLists module index, decons_uts index, nil_uts index
| OverloadedList !Index !Index !Index // StdStrictLists module index, decons index, nil index
| OverloadedMaybe !Index !Index !Index // StdStrictMaybes module index, from_just index, nothing index
| UnboxedMaybe !Index !Index !Index // StdStrictMaybes module index, from_just_u index, nothing_u index
| OverloadedMaybe !Index !Index !Index // StdStrictMaybes module index, from_just index, none index
| UnboxedMaybe !Index !Index !Index // StdStrictMaybes module index, from_just_u index, none_u index
instance == OverloadedPatternType
......
......@@ -60,7 +60,7 @@ TypeSymbIdentWithoutDefinition :== (toChar 29) // valid only for predefined in
TypeSymbIdentWithDefinition :== (toChar 30) // for all types which have definitions in some .icl-module
// Maybe
MaybeNothingCode :== (toChar 31)
MaybeNoneCode :== (toChar 31)
MaybeJustCode :== (toChar 32)
// StrictnessList
......
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