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

Merge branch 'fix-exported_clean_symbol' into 'master'

GraphCopy: add cases for _Conss, _Conssts, _Nothing, _Just, and _Justs to exported_clean_symbol

See merge request !12
parents cc63cc9c 916a18b8
......@@ -32,7 +32,7 @@ exported_clean_symbol i s
| s.[i+2]=='C' && s.[i+3]=='o' && s.[i+4]=='n' && s.[i+5]=='s'
| s.[i+6]=='\0'
= True;
| s.[i+6]=='i' || s.[i+6]=='c' || s.[i+6]=='r' || s.[i+6]=='b' || s.[i+6]=='f'
| s.[i+6]=='s' || s.[i+6]=='i' || s.[i+6]=='c' || s.[i+6]=='r' || s.[i+6]=='b' || s.[i+6]=='f'
| s.[i+7]=='\0'
= True;
| s.[i+7]=='t' && s.[i+8]=='s' && s.[i+9]=='\0'
......@@ -40,11 +40,25 @@ exported_clean_symbol i s
= False;
| s.[i+6]=='a' && s.[i+7]=='\0'
= True;
| 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]=='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;
| s.[i+6]=='s' || s.[i+6]=='i' || s.[i+6]=='c' || s.[i+6]=='r' || s.[i+6]=='b' || s.[i+6]=='f' ||
s.[i+6]=='a'
| s.[i+7]=='\0'
= True;
= False;
= False;
= False;
| s.[i]=='I' && s.[i+1]=='N' && s.[i+2]=='T' && s.[i+3]=='\0'
= True;
......@@ -69,6 +83,8 @@ exported_clean_symbol i s
| s.[i+7]=='t' && s.[i+8]=='s' && s.[i+9]=='\0'
= True;
= False;
| s.[i+3]=='J' && s.[i+4]=='u' && s.[i+5]=='s' && s.[i+6]=='t' && s.[i+7]=='s' && s.[i+8]=='\0'
= True;
= False;
= False;
......
......@@ -32,7 +32,7 @@ exported_clean_symbol i s
| s.[i+2]=='C' && s.[i+3]=='o' && s.[i+4]=='n' && s.[i+5]=='s'
| s.[i+6]=='\0'
= True;
| s.[i+6]=='i' || s.[i+6]=='c' || s.[i+6]=='r' || s.[i+6]=='b' || s.[i+6]=='f'
| s.[i+6]=='s' || s.[i+6]=='i' || s.[i+6]=='c' || s.[i+6]=='r' || s.[i+6]=='b' || s.[i+6]=='f'
| s.[i+7]=='\0'
= True;
| s.[i+7]=='t' && s.[i+8]=='s' && s.[i+9]=='\0'
......@@ -40,11 +40,25 @@ exported_clean_symbol i s
= False;
| s.[i+6]=='a' && s.[i+7]=='\0'
= True;
| 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]=='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;
| s.[i+6]=='s' || s.[i+6]=='i' || s.[i+6]=='c' || s.[i+6]=='r' || s.[i+6]=='b' || s.[i+6]=='f' ||
s.[i+6]=='a'
| s.[i+7]=='\0'
= True;
= False;
= False;
= False;
| s.[i]=='I' && s.[i+1]=='N' && s.[i+2]=='T' && s.[i+3]=='\0'
= True;
......@@ -69,6 +83,8 @@ exported_clean_symbol i s
| s.[i+7]=='t' && s.[i+8]=='s' && s.[i+9]=='\0'
= True;
= False;
| s.[i+3]=='J' && s.[i+4]=='u' && s.[i+5]=='s' && s.[i+6]=='t' && s.[i+7]=='s' && s.[i+8]=='\0'
= True;
= False;
= False;
......
......@@ -82,12 +82,15 @@ exported_z_clean_symbol_length_gt_8 i s
s.[i+6]=='N' && s.[i+7]=='G' && s.[i+8]=='_' && s.[i+9]=='_' && s.[i+10]=='\0'
= True;
| s.[i+2]=='C' && s.[i+3]=='o' && s.[i+4]=='n' && s.[i+5]=='s' &&
(s.[i+6]=='i' || s.[i+6]=='c' || s.[i+6]=='r' || s.[i+6]=='b' || s.[i+6]=='f') &&
(s.[i+6]=='s' || s.[i+6]=='i' || s.[i+6]=='c' || s.[i+6]=='r' || s.[i+6]=='b' || s.[i+6]=='f') &&
s.[i+7]=='t' && s.[i+8]=='s' && s.[i+9]=='\0'
= True;
| 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'
......@@ -102,17 +105,26 @@ exported_clean_symbol_length_le_8 s
| size s>=6 && s.[2]=='C' && s.[3]=='o' && s.[4]=='n' && s.[5]=='s'
| size s==6
= True;
| s.[6]=='i' || s.[6]=='c' || s.[6]=='r' || s.[6]=='b' || s.[6]=='f'
| s.[6]=='s' || s.[6]=='i' || s.[6]=='c' || s.[6]=='r' || s.[6]=='b' || s.[6]=='f'
| size s==7
= True;
= False;
| s.[6]=='a' && size s==7
= True;
| size s==8 && s.[6]=='t' && s.[7]=='s'
= True;
= False;
| size s==5 && s.[2]=='N' && s.[3]=='i' && s.[4]=='l'
= True;
| 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'
= True;
| size s==7 && s.[2]=='J' && s.[3]=='u' && s.[4]=='s' && s.[5]=='t'
| s.[6]=='s' || s.[6]=='i' || s.[6]=='c' || s.[6]=='r' || s.[6]=='b' || s.[6]=='f' ||
s.[6]=='a'
= True;
= False;
= False;
| size s==3 && s.[0]=='I' && s.[1]=='N' && s.[2]=='T'
= True;
......@@ -133,6 +145,8 @@ exported_clean_symbol_length_le_8 s
= True;
= False;
= False;
| size s==8 && s.[3]=='J' && s.[4]=='u' && s.[5]=='s' && s.[6]=='t' && s.[7]=='s'
= True;
= False;
= False;
......
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