Verified Commit 33fd8d7c authored by Camil Staps's avatar Camil Staps
Browse files

GraphCopy: update exported_clean_symbol to export _None instead of _Nothing

parent f5eec574
......@@ -43,13 +43,14 @@ exported_clean_symbol i s
| s.[i+6]=='t' && s.[i+7]=='s' && s.[i+8]=='\0'
= True;
= False;
| s.[i+2]=='N' && s.[i+3]=='i' && s.[i+4]=='l' && s.[i+5]=='\0'
= True;
| s.[i+2]=='N'
| s.[i+3]=='i' && s.[i+4]=='l' && s.[i+5]=='\0'
= True;
| s.[i+3]=='o' && s.[i+4]=='n' && s.[i+5]=='e' && s.[i+6] == '\0'
= True;
= False;
| s.[i+2]=='T' && s.[i+3]=='u' && s.[i+4]=='p' && s.[i+5]=='l' && s.[i+6]=='e' && s.[i+7]=='\0'
= True;
| s.[i+2]=='N' && s.[i+3]=='o' && s.[i+4]=='t' && s.[i+5]=='h' && s.[i+6]=='i' && s.[i+7]=='n' &&
s.[i+8]=='g' && s.[i+9]=='\0'
= True;
| s.[i+2]=='J' && s.[i+3]=='u' && s.[i+4]=='s' && s.[i+5]=='t'
| s.[i+6]=='\0'
= True;
......
......@@ -43,13 +43,14 @@ exported_clean_symbol i s
| s.[i+6]=='t' && s.[i+7]=='s' && s.[i+8]=='\0'
= True;
= False;
| s.[i+2]=='N' && s.[i+3]=='i' && s.[i+4]=='l' && s.[i+5]=='\0'
= True;
| s.[i+2]=='N'
| s.[i+3]=='i' && s.[i+4]=='l' && s.[i+5]=='\0'
= True;
| s.[i+3]=='o' && s.[i+4]=='n' && s.[i+5]=='e' && s.[i+6] == '\0'
= True;
= False;
| s.[i+2]=='T' && s.[i+3]=='u' && s.[i+4]=='p' && s.[i+5]=='l' && s.[i+6]=='e' && s.[i+7]=='\0'
= True;
| s.[i+2]=='N' && s.[i+3]=='o' && s.[i+4]=='t' && s.[i+5]=='h' && s.[i+6]=='i' && s.[i+7]=='n' &&
s.[i+8]=='g' && s.[i+9]=='\0'
= True;
| s.[i+2]=='J' && s.[i+3]=='u' && s.[i+4]=='s' && s.[i+5]=='t'
| s.[i+6]=='\0'
= True;
......
......@@ -88,9 +88,6 @@ exported_z_clean_symbol_length_gt_8 i s
| s.[i+2]=='A' && s.[i+3]=='R' && s.[i+4]=='R' && s.[i+5]=='A' &&
s.[i+6]=='Y' && s.[i+7]=='_' && s.[i+8]=='_' && s.[i+9]=='\0'
= True;
| s.[i+2]=='N' && s.[i+3]=='o' && s.[i+4]=='t' && s.[i+5]=='h' &&
s.[i+6]=='i' && s.[i+7]=='n' && s.[i+8]=='g' && s.[i+9]=='\0'
= True;
= False;
| s.[i]=='n' && s.[i+1]=='_' && s.[i+2]=='_' && s.[i+3]=='C' && s.[i+4]=='o' && s.[i+5]=='n' &&
s.[i+6]=='s' && s.[i+7]=='s' && s.[i+8]=='t' && s.[i+9]=='s' && s.[i+10]=='\0'
......@@ -114,8 +111,12 @@ exported_clean_symbol_length_le_8 s
| size s==8 && s.[6]=='t' && s.[7]=='s'
= True;
= False;
| size s==5 && s.[2]=='N' && s.[3]=='i' && s.[4]=='l'
= True;
| s.[i+2]=='N'
| s.[i+3]=='i' && s.[i+4]=='l' && s.[i+5]=='\0'
= True;
| s.[i+3]=='o' && s.[i+4]=='n' && s.[i+5]=='e' && s.[i+6] == '\0'
= True;
= False;
| size s==7 && s.[2]=='T' && s.[3]=='u' && s.[4]=='p' && s.[5]=='l' && s.[6]=='e'
= True;
| size s==6 && s.[2]=='J' && s.[3]=='u' && s.[4]=='s' && s.[5]=='t'
......
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