qic.c 113 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144214521462147214821492150215121522153215421552156215721582159216021612162216321642165216621672168216921702171217221732174217521762177217821792180218121822183218421852186218721882189219021912192219321942195219621972198219922002201220222032204220522062207220822092210221122122213221422152216221722182219222022212222222322242225222622272228222922302231223222332234223522362237223822392240224122422243224422452246224722482249225022512252225322542255225622572258225922602261226222632264226522662267226822692270227122722273227422752276227722782279228022812282228322842285228622872288228922902291229222932294229522962297229822992300230123022303230423052306230723082309231023112312231323142315231623172318231923202321232223232324232523262327232823292330233123322333233423352336233723382339234023412342234323442345234623472348234923502351235223532354235523562357235823592360236123622363236423652366236723682369237023712372237323742375237623772378237923802381238223832384238523862387238823892390239123922393239423952396239723982399240024012402240324042405240624072408240924102411241224132414241524162417241824192420242124222423242424252426242724282429243024312432243324342435243624372438243924402441244224432444244524462447244824492450245124522453245424552456245724582459246024612462246324642465246624672468246924702471247224732474247524762477247824792480248124822483248424852486248724882489249024912492249324942495249624972498249925002501250225032504250525062507250825092510251125122513251425152516251725182519252025212522252325242525252625272528252925302531253225332534253525362537253825392540254125422543254425452546254725482549255025512552255325542555255625572558255925602561256225632564256525662567256825692570257125722573257425752576257725782579258025812582258325842585258625872588258925902591259225932594259525962597259825992600260126022603260426052606260726082609261026112612261326142615261626172618261926202621262226232624262526262627262826292630263126322633263426352636263726382639264026412642264326442645264626472648264926502651265226532654265526562657265826592660266126622663266426652666266726682669267026712672267326742675267626772678267926802681268226832684268526862687268826892690269126922693269426952696269726982699270027012702270327042705270627072708270927102711271227132714271527162717271827192720272127222723272427252726272727282729273027312732273327342735273627372738273927402741274227432744274527462747274827492750275127522753275427552756275727582759276027612762276327642765276627672768276927702771277227732774277527762777277827792780278127822783278427852786278727882789279027912792279327942795279627972798279928002801280228032804280528062807280828092810281128122813281428152816281728182819282028212822282328242825282628272828282928302831283228332834283528362837283828392840284128422843284428452846284728482849285028512852285328542855285628572858285928602861286228632864286528662867286828692870287128722873287428752876287728782879288028812882288328842885288628872888288928902891289228932894289528962897289828992900290129022903290429052906290729082909291029112912291329142915291629172918291929202921292229232924292529262927292829292930293129322933293429352936293729382939294029412942294329442945294629472948294929502951295229532954295529562957295829592960296129622963296429652966296729682969297029712972297329742975297629772978297929802981298229832984298529862987298829892990299129922993299429952996299729982999300030013002300330043005300630073008300930103011301230133014301530163017301830193020302130223023302430253026302730283029303030313032303330343035303630373038303930403041304230433044304530463047304830493050305130523053305430553056305730583059306030613062306330643065306630673068306930703071307230733074307530763077307830793080308130823083308430853086308730883089309030913092309330943095309630973098309931003101310231033104310531063107310831093110311131123113311431153116311731183119312031213122312331243125312631273128312931303131313231333134313531363137313831393140314131423143314431453146314731483149315031513152315331543155315631573158315931603161316231633164316531663167316831693170317131723173317431753176317731783179318031813182318331843185318631873188318931903191319231933194319531963197319831993200320132023203320432053206320732083209321032113212321332143215321632173218321932203221322232233224322532263227322832293230323132323233323432353236323732383239324032413242324332443245324632473248324932503251325232533254325532563257325832593260326132623263326432653266326732683269327032713272327332743275327632773278327932803281328232833284328532863287328832893290329132923293329432953296329732983299330033013302330333043305330633073308330933103311331233133314331533163317331833193320332133223323332433253326332733283329333033313332333333343335333633373338333933403341334233433344334533463347334833493350335133523353335433553356335733583359336033613362336333643365336633673368336933703371337233733374337533763377337833793380338133823383338433853386338733883389339033913392339333943395339633973398339934003401340234033404340534063407340834093410341134123413341434153416341734183419342034213422342334243425342634273428342934303431343234333434343534363437343834393440344134423443344434453446344734483449345034513452345334543455345634573458345934603461346234633464346534663467346834693470347134723473347434753476347734783479348034813482348334843485348634873488348934903491349234933494349534963497349834993500350135023503350435053506350735083509351035113512351335143515351635173518351935203521352235233524352535263527352835293530353135323533353435353536353735383539354035413542354335443545354635473548354935503551355235533554355535563557355835593560356135623563356435653566356735683569357035713572357335743575357635773578357935803581358235833584358535863587358835893590359135923593359435953596359735983599360036013602360336043605360636073608360936103611361236133614361536163617361836193620362136223623362436253626362736283629363036313632363336343635363636373638363936403641364236433644364536463647364836493650365136523653365436553656365736583659366036613662366336643665366636673668366936703671367236733674367536763677367836793680368136823683368436853686368736883689369036913692369336943695369636973698369937003701370237033704370537063707370837093710371137123713371437153716371737183719372037213722372337243725372637273728372937303731373237333734373537363737373837393740374137423743374437453746374737483749375037513752375337543755375637573758375937603761376237633764376537663767376837693770377137723773377437753776377737783779378037813782378337843785378637873788378937903791379237933794379537963797379837993800380138023803380438053806380738083809381038113812381338143815381638173818381938203821382238233824382538263827382838293830383138323833383438353836383738383839384038413842384338443845384638473848384938503851385238533854385538563857385838593860386138623863386438653866386738683869387038713872387338743875387638773878387938803881388238833884388538863887388838893890389138923893389438953896389738983899390039013902390339043905390639073908390939103911391239133914391539163917391839193920392139223923392439253926392739283929393039313932393339343935393639373938393939403941394239433944394539463947394839493950395139523953395439553956395739583959396039613962396339643965396639673968396939703971397239733974397539763977397839793980398139823983398439853986398739883989399039913992399339943995399639973998399940004001400240034004400540064007400840094010401140124013401440154016401740184019402040214022402340244025402640274028402940304031403240334034403540364037403840394040404140424043404440454046404740484049405040514052405340544055405640574058405940604061406240634064406540664067406840694070407140724073407440754076407740784079408040814082408340844085408640874088408940904091409240934094409540964097409840994100410141024103410441054106410741084109411041114112411341144115411641174118411941204121412241234124412541264127412841294130413141324133413441354136413741384139414041414142414341444145414641474148414941504151415241534154415541564157415841594160416141624163416441654166416741684169417041714172417341744175417641774178417941804181418241834184418541864187418841894190419141924193419441954196419741984199420042014202420342044205420642074208420942104211421242134214421542164217421842194220422142224223422442254226422742284229423042314232423342344235423642374238423942404241424242434244424542464247424842494250425142524253425442554256425742584259426042614262426342644265426642674268426942704271427242734274427542764277427842794280428142824283428442854286428742884289429042914292429342944295429642974298429943004301430243034304430543064307430843094310431143124313431443154316431743184319432043214322432343244325432643274328432943304331433243334334433543364337433843394340434143424343434443454346434743484349435043514352435343544355435643574358435943604361436243634364436543664367436843694370437143724373437443754376437743784379438043814382438343844385438643874388438943904391439243934394
  1. #include <ctype.h>
  2. #include <stdio.h>
  3. #include <stdarg.h>
  4. #include <stdlib.h>
  5. #include <string.h>
  6. size_t GID = 0;
  7. typedef struct {
  8. void **data;
  9. size_t length;
  10. } list_t;
  11. list_t *list_new(void) {
  12. list_t *list = malloc(sizeof(list_t));
  13. list->data = NULL;
  14. list->length = 0;
  15. return list;
  16. }
  17. void list_push(list_t *l, void *v) {
  18. size_t i = l->length++;
  19. l->data = realloc(l->data, l->length * sizeof(void *));
  20. l->data[i] = v;
  21. }
  22. void *list_pop(list_t *l) {
  23. if (!l->length)
  24. return NULL;
  25. return l->data[--l->length];
  26. }
  27. void *list_index(list_t *l, ssize_t index) {
  28. if (!l->length)
  29. return NULL;
  30. if (index < 0)
  31. index += ((ssize_t)l->length);
  32. if (index < 0 || index >= l->length)
  33. return NULL;
  34. return l->data[index];
  35. }
  36. void list_set(list_t *l, ssize_t index, void *v) {
  37. if (!l->length)
  38. return;
  39. if (index < 0)
  40. index += ((ssize_t)l->length);
  41. if (index < 0 || index >= l->length)
  42. return;
  43. l->data[index] = v;
  44. }
  45. typedef struct {
  46. size_t *data;
  47. size_t length;
  48. } stack_t;
  49. stack_t *stack_new(void) {
  50. stack_t *stack = malloc(sizeof(list_t));
  51. stack->data = NULL;
  52. stack->length = 0;
  53. return stack;
  54. }
  55. void stack_push(stack_t *l, size_t v) {
  56. size_t i = l->length++;
  57. l->data = realloc(l->data, l->length * sizeof(size_t));
  58. l->data[i] = v;
  59. }
  60. size_t stack_pop(stack_t *l) {
  61. if (!l->length)
  62. return 0;
  63. return l->data[--l->length];
  64. }
  65. struct entry_t {
  66. char *key;
  67. void *value;
  68. };
  69. struct table_t {
  70. struct entry_t *entries;
  71. size_t used;
  72. size_t capacity;
  73. };
  74. typedef struct entry_t entry_t;
  75. typedef struct table_t table_t;
  76. table_t *table_new() {
  77. table_t *table = malloc(sizeof(table_t));
  78. table->used = 0;
  79. table->capacity = 32;
  80. table->entries = calloc(table->capacity, sizeof(entry_t));
  81. return table;
  82. }
  83. unsigned long ht_hash(const char* key) {
  84. unsigned long hash = 5381;
  85. int c;
  86. while ((c = *key++))
  87. hash = ((hash << 5) + hash) + c;
  88. return hash;
  89. }
  90. void *table_get(table_t *table, char *key) {
  91. if (!table->used)
  92. return NULL;
  93. unsigned long hash = ht_hash(key);
  94. size_t index = hash % table->capacity;
  95. size_t i = index;
  96. while (table->entries[i].key) {
  97. if (strcmp(table->entries[i].key, key) == 0)
  98. return table->entries[i].value;
  99. i++;
  100. if (i >= table->capacity)
  101. i = 0;
  102. if (i == index)
  103. break;
  104. }
  105. return NULL;
  106. }
  107. static void table_entry_set(entry_t *entries, char *key, void *value, size_t capacity, size_t *used) {
  108. unsigned long hash = ht_hash(key);
  109. size_t index = hash % capacity;
  110. size_t i = index;
  111. while (entries[i].key) {
  112. if (strcmp(entries[i].key, key) == 0) {
  113. entries[i].value = value;
  114. return;
  115. }
  116. i++;
  117. if (i >= capacity)
  118. i = 0;
  119. if (i == index)
  120. break;
  121. }
  122. if (used)
  123. (*used)++;
  124. entries[i].key = key;
  125. entries[i].value = value;
  126. }
  127. table_t *table_set(table_t *table, char *key, void *value) {
  128. if (table->used >= table->capacity) {
  129. size_t capacity = table->capacity + 32;
  130. entry_t *entries = calloc(capacity, sizeof(entry_t));
  131. for (size_t i = 0; i < table->capacity; i++) {
  132. entry_t entry = table->entries[i];
  133. if (entry.key)
  134. table_entry_set(entries, entry.key, entry.value, capacity, NULL);
  135. }
  136. table->entries = entries;
  137. table->capacity = capacity;
  138. }
  139. table_entry_set(table->entries, key, value, table->capacity, &table->used);
  140. return table;
  141. }
  142. #define table_iterate(table, code) \
  143. { \
  144. if ((table)->used) { \
  145. size_t i = 0; \
  146. while (i < (table)->capacity) { \
  147. entry_t entry = (table)->entries[i]; \
  148. if (entry.key) { \
  149. code; \
  150. } \
  151. i++; \
  152. } \
  153. } \
  154. }
  155. typedef struct {
  156. char *str;
  157. size_t size;
  158. } buffer_t;
  159. buffer_t *buffer_new(void) {
  160. buffer_t *buf = malloc(sizeof(buffer_t));
  161. buf->str = NULL;
  162. buf->size = 0;
  163. return buf;
  164. }
  165. void buffer_append(buffer_t *buf, char c) {
  166. buf->size++;
  167. buf->str = realloc(buf->str, sizeof(char) * buf->size);
  168. buf->str[buf->size - 1] = c;
  169. }
  170. char *buffer_read(buffer_t *buf) {
  171. if (buf->size == 0 || buf->str[buf->size - 1])
  172. buffer_append(buf, 0);
  173. return buf->str;
  174. }
  175. void buffer_appends(buffer_t *buf, char *s) {
  176. for (size_t i = 0; i < strlen(s); i++)
  177. buffer_append(buf, s[i]);
  178. }
  179. void buffer_appendb(buffer_t *dst, buffer_t *src) {
  180. for (size_t i = 0; i < src->size; i++)
  181. buffer_append(dst, src->str[i]);
  182. }
  183. void buffer_fmt(buffer_t *buf, const char *fmt, ...) {
  184. va_list args;
  185. va_list largs;
  186. va_start(largs, fmt);
  187. va_copy(args, largs);
  188. size_t size = vsnprintf(NULL, 0, fmt, largs) + 1;
  189. char *str = malloc(sizeof(char) * size);
  190. vsnprintf(str, size, fmt, args);
  191. va_end(args);
  192. va_end(largs);
  193. buffer_appends(buf, str);
  194. }
  195. typedef struct {
  196. enum {
  197. T_EOF,
  198. T_NUMBER,
  199. T_STRING,
  200. T_FSTRING,
  201. T_NAME,
  202. T_VAR,
  203. T_LET,
  204. T_CONST,
  205. T_UNPACK,
  206. T_IF,
  207. T_ELSE,
  208. T_ELIF,
  209. T_SWITCH,
  210. T_CASE,
  211. T_DEFAULT,
  212. T_FOR,
  213. T_OF,
  214. T_BREAK,
  215. T_CONTINUE,
  216. T_PASS,
  217. T_FUNC,
  218. T_USE,
  219. T_RETURN,
  220. T_DEFER,
  221. T_REQUIRE,
  222. T_TRY,
  223. T_CATCH,
  224. T_FINALLY,
  225. T_THROW,
  226. T_GOTO,
  227. T_CLASS,
  228. T_IS,
  229. T_IN,
  230. T_LPAR,
  231. T_RPAR,
  232. T_LSB,
  233. T_RSB,
  234. T_LCB,
  235. T_RCB,
  236. T_EQUALS,
  237. T_NOTEQUALS,
  238. T_PLUSASSIGN,
  239. T_MINUSASSIGN,
  240. T_SLASHASSIGN,
  241. T_STARASSIGN,
  242. T_SLASHSLASHASSIGN,
  243. T_PERCENTASSIGN,
  244. T_STARSTARASSIGN,
  245. T_BARASSIGN,
  246. T_ANDASSIGN,
  247. T_BARBAR,
  248. T_ANDAND,
  249. T_STARSTAR,
  250. T_PLUSPLUS,
  251. T_MINUSMINUS,
  252. T_SLASHSLASH,
  253. T_PLUS,
  254. T_MINUS,
  255. T_QM,
  256. T_COLON,
  257. T_BAR,
  258. T_AND,
  259. T_LT,
  260. T_LTLT,
  261. T_GT,
  262. T_GTGT,
  263. T_LE,
  264. T_GE,
  265. T_STAR,
  266. T_SLASH,
  267. T_PERCENT,
  268. T_COMMA,
  269. T_DOT,
  270. T_BANG,
  271. T_RAISE,
  272. T_TILDE,
  273. T_AT,
  274. T_INLINE,
  275. T_HEADER,
  276. T_INCLUDE,
  277. T_ASSIGN,
  278. T_SEMI
  279. } tag;
  280. char *text;
  281. size_t fi;
  282. size_t pos;
  283. } token_t;
  284. token_t *token(int tag, char *text) {
  285. token_t *tok = malloc(sizeof(token_t));
  286. tok->tag = tag;
  287. tok->text = text;
  288. return tok;
  289. }
  290. #define TK(tk) (token(T_##tk, NULL))
  291. #define WS() while (source[*pos] == ' ' || source[*pos] == '\t' || source[*pos] == '\n' || source[*pos] == '\r') { (*pos)++; }
  292. void consume_ignored(char *source, size_t *pos) {
  293. WS();
  294. while (source[*pos] == '#') {
  295. (*pos)++;
  296. for (;;) {
  297. if (!source[*pos])
  298. break;
  299. if (source[*pos] == '\n') {
  300. (*pos)++;
  301. break;
  302. }
  303. (*pos)++;
  304. }
  305. WS();
  306. }
  307. }
  308. list_t *FILES;
  309. list_t *REQUIRED;
  310. int is_required(char *path) {
  311. for (size_t i = 0; i < REQUIRED->length; i++)
  312. if (strcmp(REQUIRED->data[i], path) == 0)
  313. return 1;
  314. return 0;
  315. }
  316. void traverse(char *source, size_t pos, size_t *line, size_t *col) {
  317. *line = 1;
  318. *col = 1;
  319. for (size_t i = 0; i < pos; i++) {
  320. if (source[i] == '\n') {
  321. (*line)++;
  322. (*col) = 1;
  323. } else (*col)++;
  324. }
  325. }
  326. void format_error(char *filename, char *source, size_t pos, char *fmt, ...) {
  327. size_t line, col;
  328. traverse(source, pos, &line, &col);
  329. va_list args;
  330. va_start(args, fmt);
  331. fprintf(stderr, "%s (%zu:%zu): ", filename, line, col);
  332. vfprintf(stderr, fmt, args);
  333. fputc('\n', stderr);
  334. va_end(args);
  335. }
  336. #define GETFNAME(fi) ((char *)((list_t *)list_index(FILES, fi))->data[0])
  337. #define GETSRC(fi) ((char *)((list_t *)list_index(FILES, fi))->data[1])
  338. #define LEX_ERROR(fmt, ...) { format_error(GETFNAME(-1), source, *pos, fmt, ##__VA_ARGS__); exit(1); }
  339. token_t *tokenize_string(char *source, size_t *pos) {
  340. char term = source[(*pos)++];
  341. buffer_t *text = buffer_new();
  342. while (source[*pos] != term) {
  343. if (!source[*pos])
  344. LEX_ERROR("unterminated string literal");
  345. char c = source[(*pos)++];
  346. if (c == '\n' && term != '`')
  347. LEX_ERROR("unterminated string literal");
  348. if (term != '`' && c == '\\') {
  349. char nc = source[(*pos)++];
  350. if (!nc)
  351. continue;
  352. switch (nc) {
  353. case 'n':
  354. buffer_appends(text, "\\n");
  355. break;
  356. case 't':
  357. buffer_appends(text, "\\t");
  358. break;
  359. case 'r':
  360. buffer_appends(text, "\\r");
  361. break;
  362. case 'b':
  363. buffer_appends(text, "\\b");
  364. break;
  365. case 'e':
  366. buffer_appends(text, "\\e");
  367. break;
  368. case 's':
  369. buffer_appends(text, " ");
  370. break;
  371. case '"':
  372. buffer_appends(text, "\\\"");
  373. break;
  374. case '\\':
  375. buffer_appends(text, "\\\\");
  376. break;
  377. case '\n':
  378. buffer_appends(text, "\\n");
  379. break;
  380. default:
  381. buffer_append(text, nc);
  382. break;
  383. }
  384. continue;
  385. }
  386. if (c == '"' || c == '\\')
  387. buffer_append(text, '\\');
  388. else if (c == '\n')
  389. buffer_appends(text, "\\n");
  390. buffer_append(text, c);
  391. }
  392. (*pos)++;
  393. return token(T_STRING, buffer_read(text));
  394. }
  395. token_t *next_token(char *source, size_t *pos) {
  396. if (!source[*pos])
  397. return token(T_EOF, NULL);
  398. if (source[*pos] == '"' || source[*pos] == '\'' || source[*pos] == '`')
  399. return tokenize_string(source, pos);
  400. else if (source[*pos] == 'f' && (source[(*pos)+1] == '"' || source[(*pos)+1] == '\'' || source[(*pos)+1] == '`')) {
  401. (*pos)++;
  402. token_t *t = tokenize_string(source, pos);
  403. t->tag = T_FSTRING;
  404. return t;
  405. } else if (source[*pos] == '0' && (source[(*pos)+1] == 'x' || source[(*pos)+1] == 'b' || source[(*pos)+1] == 'o')) {
  406. buffer_t *number = buffer_new();
  407. buffer_append(number, source[(*pos)++]);
  408. char b = source[(*pos)++];
  409. buffer_append(number, b);
  410. while (source[*pos] && strchr(b == 'x' ? "0123456789abcdefABCDEF": b == 'b' ? "01": "01234567", source[*pos]) != NULL)
  411. buffer_append(number, source[(*pos)++]);
  412. if (number->size < 3)
  413. LEX_ERROR("illegal number literal (trailing base)");
  414. return token(T_NUMBER, buffer_read(number));
  415. } else if ((source[*pos] == '.' && isdigit(source[(*pos)+1])) || isdigit(source[*pos])) {
  416. buffer_t *number = buffer_new();
  417. int dot = 0;
  418. int sub = 0;
  419. int skip = 0;
  420. if (source[*pos] == '.') {
  421. buffer_append(number, '0');
  422. skip = 1;
  423. }
  424. do {
  425. if (skip) skip = 0;
  426. else
  427. buffer_append(number, source[(*pos)++]);
  428. if (!dot && source[*pos] == '.') {
  429. buffer_append(number, source[(*pos)++]);
  430. if (!isdigit(source[*pos]))
  431. LEX_ERROR("illegal number literal (missing part after floating point)");
  432. dot = 1;
  433. } else if (!sub && source[*pos] == '_') {
  434. (*pos)++;
  435. if (!isdigit(source[*pos]))
  436. LEX_ERROR("illegal number literal (missing part after underscore)");
  437. sub = 1;
  438. } else if (sub) sub = 0;
  439. } while (isdigit(source[*pos]));
  440. return token(T_NUMBER, buffer_read(number));
  441. } else if (isalpha(source[*pos]) || source[*pos] == '_') {
  442. buffer_t *text = buffer_new();
  443. do {
  444. buffer_append(text, source[(*pos)++]);
  445. } while (isalpha(source[*pos]) || source[*pos] == '_' || isdigit(source[*pos]));
  446. char *name = buffer_read(text);
  447. if (strcmp(name, "var") == 0)
  448. return TK(VAR);
  449. else if (strcmp(name, "let") == 0)
  450. return TK(LET);
  451. else if (strcmp(name, "const") == 0)
  452. return TK(CONST);
  453. else if (strcmp(name, "unpack") == 0)
  454. return TK(UNPACK);
  455. else if (strcmp(name, "if") == 0)
  456. return TK(IF);
  457. else if (strcmp(name, "else") == 0)
  458. return TK(ELSE);
  459. else if (strcmp(name, "elif") == 0)
  460. return TK(ELIF);
  461. else if (strcmp(name, "switch") == 0)
  462. return TK(SWITCH);
  463. else if (strcmp(name, "case") == 0)
  464. return TK(CASE);
  465. else if (strcmp(name, "default") == 0)
  466. return TK(DEFAULT);
  467. else if (strcmp(name, "for") == 0)
  468. return TK(FOR);
  469. else if (strcmp(name, "break") == 0)
  470. return TK(BREAK);
  471. else if (strcmp(name, "continue") == 0)
  472. return TK(CONTINUE);
  473. else if (strcmp(name, "func") == 0)
  474. return TK(FUNC);
  475. else if (strcmp(name, "use") == 0)
  476. return TK(USE);
  477. else if (strcmp(name, "return") == 0)
  478. return TK(RETURN);
  479. else if (strcmp(name, "defer") == 0)
  480. return TK(DEFER);
  481. else if (strcmp(name, "pass") == 0)
  482. return TK(PASS);
  483. else if (strcmp(name, "require") == 0)
  484. return TK(REQUIRE);
  485. else if (strcmp(name, "try") == 0)
  486. return TK(TRY);
  487. else if (strcmp(name, "catch") == 0)
  488. return TK(CATCH);
  489. else if (strcmp(name, "finally") == 0)
  490. return TK(FINALLY);
  491. else if (strcmp(name, "throw") == 0)
  492. return TK(THROW);
  493. else if (strcmp(name, "goto") == 0)
  494. return TK(GOTO);
  495. else if (strcmp(name, "class") == 0)
  496. return TK(CLASS);
  497. else if (strcmp(name, "is") == 0)
  498. return TK(IS);
  499. else if (strcmp(name, "in") == 0)
  500. return TK(IN);
  501. else if (strcmp(name, "of") == 0)
  502. return TK(OF);
  503. else if (strcmp(name, "inline") == 0)
  504. return TK(INLINE);
  505. else if (strcmp(name, "header") == 0)
  506. return TK(HEADER);
  507. else if (strcmp(name, "include") == 0)
  508. return TK(INCLUDE);
  509. return token(T_NAME, name);
  510. } else if (strncmp(&source[*pos], "==", 2) == 0 && ++(*pos) && ++(*pos))
  511. return TK(EQUALS);
  512. else if (strncmp(&source[*pos], "!=", 2) == 0 && ++(*pos) && ++(*pos))
  513. return TK(NOTEQUALS);
  514. else if (strncmp(&source[*pos], "+=", 2) == 0 && ++(*pos) && ++(*pos))
  515. return TK(PLUSASSIGN);
  516. else if (strncmp(&source[*pos], "-=", 2) == 0 && ++(*pos) && ++(*pos))
  517. return TK(MINUSASSIGN);
  518. else if (strncmp(&source[*pos], "*=", 2) == 0 && ++(*pos) && ++(*pos))
  519. return TK(STARASSIGN);
  520. else if (strncmp(&source[*pos], "/=", 2) == 0 && ++(*pos) && ++(*pos))
  521. return TK(SLASHASSIGN);
  522. else if (strncmp(&source[*pos], "//=", 3) == 0 && ++(*pos) && ++(*pos) && ++(*pos))
  523. return TK(SLASHSLASHASSIGN);
  524. else if (strncmp(&source[*pos], "%=", 2) == 0 && ++(*pos) && ++(*pos))
  525. return TK(PERCENTASSIGN);
  526. else if (strncmp(&source[*pos], "**=", 3) == 0 && ++(*pos) && ++(*pos) && ++(*pos))
  527. return TK(STARSTARASSIGN);
  528. else if (strncmp(&source[*pos], "|=", 2) == 0 && ++(*pos) && ++(*pos))
  529. return TK(BARASSIGN);
  530. else if (strncmp(&source[*pos], "&=", 2) == 0 && ++(*pos) && ++(*pos))
  531. return TK(ANDASSIGN);
  532. else if (strncmp(&source[*pos], "||", 2) == 0 && ++(*pos) && ++(*pos))
  533. return TK(BARBAR);
  534. else if (strncmp(&source[*pos], "&&", 2) == 0 && ++(*pos) && ++(*pos))
  535. return TK(ANDAND);
  536. else if (strncmp(&source[*pos], "++", 2) == 0 && ++(*pos) && ++(*pos))
  537. return TK(PLUSPLUS);
  538. else if (strncmp(&source[*pos], "--", 2) == 0 && ++(*pos) && ++(*pos))
  539. return TK(MINUSMINUS);
  540. else if (strncmp(&source[*pos], "//", 2) == 0 && ++(*pos) && ++(*pos))
  541. return TK(SLASHSLASH);
  542. else if (strncmp(&source[*pos], "**", 2) == 0 && ++(*pos) && ++(*pos))
  543. return TK(STARSTAR);
  544. else if (strncmp(&source[*pos], "<<", 2) == 0 && ++(*pos) && ++(*pos))
  545. return TK(LTLT);
  546. else if (strncmp(&source[*pos], ">>", 2) == 0 && ++(*pos) && ++(*pos))
  547. return TK(GTGT);
  548. else if (strncmp(&source[*pos], "<=", 2) == 0 && ++(*pos) && ++(*pos))
  549. return TK(LE);
  550. else if (strncmp(&source[*pos], ">=", 2) == 0 && ++(*pos) && ++(*pos))
  551. return TK(GE);
  552. else if (source[*pos] == '(' && ++(*pos))
  553. return TK(LPAR);
  554. else if (source[*pos] == ')' && ++(*pos))
  555. return TK(RPAR);
  556. else if (source[*pos] == '[' && ++(*pos))
  557. return TK(LSB);
  558. else if (source[*pos] == ']' && ++(*pos))
  559. return TK(RSB);
  560. else if (source[*pos] == '{' && ++(*pos))
  561. return TK(LCB);
  562. else if (source[*pos] == '}' && ++(*pos))
  563. return TK(RCB);
  564. else if (source[*pos] == '+' && ++(*pos))
  565. return TK(PLUS);
  566. else if (source[*pos] == '-' && ++(*pos))
  567. return TK(MINUS);
  568. else if (source[*pos] == '*' && ++(*pos))
  569. return TK(STAR);
  570. else if (source[*pos] == '/' && ++(*pos))
  571. return TK(SLASH);
  572. else if (source[*pos] == '%' && ++(*pos))
  573. return TK(PERCENT);
  574. else if (source[*pos] == '?' && ++(*pos))
  575. return TK(QM);
  576. else if (source[*pos] == ':' && ++(*pos))
  577. return TK(COLON);
  578. else if (source[*pos] == '=' && ++(*pos))
  579. return TK(ASSIGN);
  580. else if (source[*pos] == ';' && ++(*pos))
  581. return TK(SEMI);
  582. else if (source[*pos] == ',' && ++(*pos))
  583. return TK(COMMA);
  584. else if (source[*pos] == '.' && ++(*pos))
  585. return TK(DOT);
  586. else if (source[*pos] == '<' && ++(*pos))
  587. return TK(LT);
  588. else if (source[*pos] == '>' && ++(*pos))
  589. return TK(GT);
  590. else if (source[*pos] == '!' && ++(*pos))
  591. return TK(BANG);
  592. else if (source[*pos] == '|' && ++(*pos))
  593. return TK(BAR);
  594. else if (source[*pos] == '&' && ++(*pos))
  595. return TK(AND);
  596. else if (source[*pos] == '^' && ++(*pos))
  597. return TK(RAISE);
  598. else if (source[*pos] == '~' && ++(*pos))
  599. return TK(TILDE);
  600. else if (source[*pos] == '@' && ++(*pos))
  601. return TK(AT);
  602. LEX_ERROR("unexpected input")
  603. }
  604. list_t *tokenize(char *source) {
  605. size_t pos = 0;
  606. list_t *toks = list_new();
  607. do {
  608. consume_ignored(source, &pos);
  609. size_t tok_pos = pos;
  610. token_t *tok = next_token(source, &pos);
  611. tok->fi = FILES->length-1;
  612. tok->pos = tok_pos;
  613. list_push(toks, tok);
  614. if (tok->tag == T_EOF)
  615. break;
  616. } while (1);
  617. return toks;
  618. }
  619. struct _node_t {
  620. enum {
  621. N_TOPLEVEL,
  622. N_PROGRAM,
  623. N_EXPRSTMT,
  624. N_BLOCK,
  625. N_NOT,
  626. N_NEGATE,
  627. N_BNOT,
  628. N_LITERAL,
  629. N_LIST,
  630. N_LISTGEN,
  631. N_TUPLE,
  632. N_NILTUPLE,
  633. N_TABLE,
  634. N_CALL,
  635. N_STAR,
  636. N_MEMBER,
  637. N_INDEX,
  638. N_SLICE,
  639. N_ADD,
  640. N_SUB,
  641. N_MUL,
  642. N_DIV,
  643. N_IDIV,
  644. N_MOD,
  645. N_POW,
  646. N_SHL,
  647. N_SHR,
  648. N_XOR,
  649. N_BOR,
  650. N_BAND,
  651. N_ASSIGN,
  652. N_ASSIGN_ADD,
  653. N_ASSIGN_SUB,
  654. N_ASSIGN_MUL,
  655. N_ASSIGN_DIV,
  656. N_ASSIGN_IDIV,
  657. N_ASSIGN_MOD,
  658. N_ASSIGN_POW,
  659. N_ASSIGN_BOR,
  660. N_ASSIGN_BAND,
  661. N_EQUALS,
  662. N_NOTEQUALS,
  663. N_IS,
  664. N_IN,
  665. N_NOTIS,
  666. N_NOTIN,
  667. N_LT,
  668. N_GT,
  669. N_LE,
  670. N_GE,
  671. N_INC,
  672. N_DEC,
  673. N_VAR,
  674. N_LET,
  675. N_VARUNPACK,
  676. N_LETUNPACK,
  677. N_CONST,
  678. N_IF,
  679. N_SWITCH,
  680. N_FOR,
  681. N_FOROF,
  682. N_FOROFVAR,
  683. N_FOROFUNPACK,
  684. N_FOROFVARUNPACK,
  685. N_BREAK,
  686. N_CONTINUE,
  687. N_FUNCDEF,
  688. N_RETURN,
  689. N_DEFER,
  690. N_PASS,
  691. N_REQUIRE,
  692. N_TRY,
  693. N_THROW,
  694. N_LABEL,
  695. N_GOTO,
  696. N_CLASS,
  697. N_INLINE,
  698. N_HEADER,
  699. N_INCLUDE,
  700. N_IFEXPR,
  701. N_FUNCEXPR,
  702. N_LOGOR,
  703. N_LOGAND,
  704. N_BUFFER
  705. } tag;
  706. struct _node_t *a;
  707. struct _node_t *b;
  708. struct _node_t *c;
  709. struct _node_t *d;
  710. list_t *l;
  711. table_t *h;
  712. table_t *h2;
  713. token_t *t;
  714. token_t *t2;
  715. buffer_t *buf;
  716. size_t fi;
  717. size_t pos;
  718. };
  719. typedef struct _node_t node_t;
  720. node_t *node_pos(node_t *node, size_t fi, size_t pos) {
  721. node->fi = fi;
  722. node->pos = pos;
  723. return node;
  724. }
  725. node_t *nodet(int tag, token_t *t) {
  726. node_t *node = malloc(sizeof(node_t));
  727. node->tag = tag;
  728. node->t = t;
  729. return node;
  730. }
  731. #define NODET(n, a) (node_pos(nodet(N_##n, (a)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  732. node_t *nodel(int tag, list_t *l) {
  733. node_t *node = malloc(sizeof(node_t));
  734. node->tag = tag;
  735. node->l = l;
  736. return node;
  737. }
  738. #define NODEL(n, a) (node_pos(nodel(N_##n, (a)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  739. node_t *nodetl(int tag, token_t *t, list_t *l) {
  740. node_t *node = malloc(sizeof(node_t));
  741. node->tag = tag;
  742. node->t = t;
  743. node->l = l;
  744. return node;
  745. }
  746. #define NODETL(n, t, l) (node_pos(nodetl(N_##n, (t), (l)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  747. node_t *nodeh(int tag, table_t *h) {
  748. node_t *node = malloc(sizeof(node_t));
  749. node->tag = tag;
  750. node->h = h;
  751. return node;
  752. }
  753. #define NODEH(n, a) (node_pos(nodeh(N_##n, (a)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  754. node_t *node0(int tag) {
  755. node_t *node = malloc(sizeof(node_t));
  756. node->tag = tag;
  757. return node;
  758. }
  759. #define NODE0(n) (node_pos(node0(N_##n), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  760. node_t *node1(int tag, node_t *a) {
  761. node_t *node = malloc(sizeof(node_t));
  762. node->tag = tag;
  763. node->a = a;
  764. return node;
  765. }
  766. #define NODE1(n, a) (node_pos(node1(N_##n, (a)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  767. node_t *node1l(int tag, node_t *a, list_t *l) {
  768. node_t *node = malloc(sizeof(node_t));
  769. node->tag = tag;
  770. node->a = a;
  771. node->l = l;
  772. return node;
  773. }
  774. #define NODE1l(n, a, l) (node_pos(node1l(N_##n, (a), (l)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  775. node_t *node1t(int tag, node_t *a, token_t *t) {
  776. node_t *node = malloc(sizeof(node_t));
  777. node->tag = tag;
  778. node->a = a;
  779. node->t = t;
  780. return node;
  781. }
  782. #define NODE1t(n, a, t) (node_pos(node1t(N_##n, (a), (t)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  783. node_t *node2(int tag, node_t *a, node_t *b) {
  784. node_t *node = malloc(sizeof(node_t));
  785. node->tag = tag;
  786. node->a = a;
  787. node->b = b;
  788. return node;
  789. }
  790. #define NODE2(n, a, b) (node_pos(node2(N_##n, (a), (b)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  791. node_t *node2l(int tag, node_t *a, node_t *b, list_t *l) {
  792. node_t *node = malloc(sizeof(node_t));
  793. node->tag = tag;
  794. node->a = a;
  795. node->b = b;
  796. node->l = l;
  797. return node;
  798. }
  799. #define NODE2l(n, a, b, l) (node_pos(node2l(N_##n, (a), (b), (l)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  800. node_t *node2t(int tag, node_t *a, node_t *b, token_t *t) {
  801. node_t *node = malloc(sizeof(node_t));
  802. node->tag = tag;
  803. node->a = a;
  804. node->b = b;
  805. node->t = t;
  806. return node;
  807. }
  808. #define NODE2t(n, a, b, c) (node_pos(node2t(N_##n, (a), (b), (c)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  809. node_t *node3(int tag, node_t *a, node_t *b, node_t *c) {
  810. node_t *node = malloc(sizeof(node_t));
  811. node->tag = tag;
  812. node->a = a;
  813. node->b = b;
  814. node->c = c;
  815. return node;
  816. }
  817. #define NODE3(n, a, b, c) (node_pos(node3(N_##n, (a), (b), (c)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  818. node_t *node3t(int tag, node_t *a, node_t *b, node_t *c, token_t *t) {
  819. node_t *node = malloc(sizeof(node_t));
  820. node->tag = tag;
  821. node->a = a;
  822. node->b = b;
  823. node->c = c;
  824. node->t = t;
  825. return node;
  826. }
  827. #define NODE3t(n, a, b, c, d) (node_pos(node3t(N_##n, (a), (b), (c), (d)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  828. node_t *node4(int tag, node_t *a, node_t *b, node_t *c, node_t *d) {
  829. node_t *node = malloc(sizeof(node_t));
  830. node->tag = tag;
  831. node->a = a;
  832. node->b = b;
  833. node->c = c;
  834. node->d = d;
  835. return node;
  836. }
  837. #define NODE4(n, a, b, c, d) (node_pos(node4(N_##n, (a), (b), (c), (d)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  838. node_t *nodef(int tag, token_t *name, table_t *params, table_t *captured, node_t *body) {
  839. node_t *node = malloc(sizeof(node_t));
  840. node->tag = tag;
  841. node->t = name;
  842. node->h = params;
  843. node->h2 = captured;
  844. node->a = body;
  845. return node;
  846. }
  847. #define NODEF(n, a, b, c, d) (node_pos(nodef(N_##n, (a), (b), (c), (d)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  848. node_t *nodeb(buffer_t *buf) {
  849. node_t *node = malloc(sizeof(node_t));
  850. node->tag = N_BUFFER;
  851. node->buf = buf;
  852. return node;
  853. }
  854. #define LABELLOOP(n)\
  855. node_t *ln = (n);\
  856. ln->t2 = label;
  857. #define AT(tk) (*pos < tokens->length && ((token_t *)tokens->data[*pos])->tag == T_##tk)
  858. #define ATP(tk, p) ((*pos)+p < tokens->length && ((token_t *)tokens->data[(*pos)+p])->tag == T_##tk)
  859. #define MATCH(tk) (AT(tk) && ++(*pos))
  860. #define PARSE_ERROR(fmt, ...) { format_error(GETFNAME(((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi), GETSRC(((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos, fmt, ##__VA_ARGS__); exit(1); }
  861. #define EXPECT(tk, s) { if (!MATCH(tk)) PARSE_ERROR("expected %s", (s)); }
  862. node_t *parse_expr(list_t *tokens, size_t *pos);
  863. list_t *parse_sequence(list_t *tokens, size_t *pos, int term) {
  864. list_t *seq = list_new();
  865. do {
  866. if (term != -1 && *pos < tokens->length && ((token_t *)tokens->data[*pos])->tag == term)
  867. break;
  868. if (MATCH(STAR))
  869. list_push(seq, NODE1(STAR, parse_expr(tokens, pos)));
  870. else
  871. list_push(seq, parse_expr(tokens, pos));
  872. } while (MATCH(COMMA));
  873. return seq;
  874. }
  875. node_t *parse_func(list_t *tokens, size_t *pos, int is_expr);
  876. char *unescape(char *s);
  877. node_t *parse_primary(list_t *tokens, size_t *pos) {
  878. if (MATCH(FUNC))
  879. return parse_func(tokens, pos, 1);
  880. else if (MATCH(LPAR)) {
  881. if (MATCH(RPAR))
  882. return NODE0(NILTUPLE);
  883. node_t *a = parse_expr(tokens, pos);
  884. if (MATCH(COMMA)) {
  885. list_t *l = list_new();
  886. list_push(l, a);
  887. if (!AT(RPAR))
  888. do {
  889. node_t *n = parse_expr(tokens, pos);
  890. list_push(l, n);
  891. } while (MATCH(COMMA));
  892. a = NODEL(TUPLE, l);
  893. }
  894. EXPECT(RPAR, ")");
  895. return a;
  896. } else if (MATCH(LSB)) {
  897. list_t *a = parse_sequence(tokens, pos, T_RSB);
  898. node_t *loop = NULL;
  899. if (MATCH(FOR)) {
  900. if (MATCH(LSB)) {
  901. list_t *l = list_new();
  902. do {
  903. if(!AT(NAME))
  904. PARSE_ERROR("expected identifier");
  905. list_push(l, ((token_t *)tokens->data[(*pos)++])->text);
  906. } while (MATCH(COMMA));
  907. EXPECT(RSB, "]");
  908. EXPECT(OF, "of");
  909. loop = NODE2l(FOROFUNPACK, parse_expr(tokens, pos), NODEL(LIST, a), l);
  910. } else {
  911. if(!AT(NAME))
  912. PARSE_ERROR("expected identifier");
  913. token_t *t = tokens->data[(*pos)++];
  914. EXPECT(OF, "of");
  915. loop = NODE2t(FOROF, parse_expr(tokens, pos), NODEL(LIST, a), t);
  916. }
  917. }
  918. EXPECT(RSB, "]");
  919. if (loop)
  920. return NODE1(LISTGEN, loop);
  921. return NODEL(LIST, a);
  922. } else if (MATCH(LCB)) {
  923. table_t *table = table_new();
  924. do {
  925. if (AT(RCB))
  926. break;
  927. if (!AT(NAME) && !AT(STRING))
  928. PARSE_ERROR("expected identifier or string");
  929. int is_str = AT(STRING);
  930. char *key = ((token_t *)tokens->data[(*pos)++])->text;
  931. EXPECT(COLON, ":");
  932. node_t *val = parse_expr(tokens, pos);
  933. table_set(table, is_str? unescape(key): key, val);
  934. } while (MATCH(COMMA));
  935. EXPECT(RCB, "}");
  936. return NODEH(TABLE, table);
  937. } else if (MATCH(NUMBER) || MATCH(STRING) || MATCH(FSTRING) || MATCH(NAME))
  938. return NODET(LITERAL, tokens->data[(*pos)-1]);
  939. PARSE_ERROR("expected expression");
  940. return NULL;
  941. }
  942. size_t get_lineno(token_t *tok) {
  943. size_t line, col;
  944. traverse(GETSRC(tok->fi), tok->pos, &line, &col);
  945. return line;
  946. }
  947. #define CLIFF (get_lineno(((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])) != get_lineno(((token_t *)tokens->data[(*pos)>=tokens->length?tokens->length-1:(*pos)])))
  948. #define CLIFF_AHEAD (get_lineno(((token_t *)tokens->data[(*pos)>=tokens->length?tokens->length-1:(*pos)])) != get_lineno(((token_t *)tokens->data[(*pos)+1>=tokens->length?tokens->length-1:(*pos)+1])))
  949. node_t *parse_call(list_t *tokens, size_t *pos) {
  950. node_t *a = parse_primary(tokens, pos);
  951. do {
  952. if (!CLIFF && MATCH(LPAR)) {
  953. list_t *b = NULL;
  954. if (!AT(RPAR))
  955. b = parse_sequence(tokens, pos, -1);
  956. EXPECT(RPAR, ")");
  957. a = NODE1l(CALL, a, b);
  958. continue;
  959. } else if (!CLIFF && MATCH(LSB)) {
  960. if (MATCH(COLON)) {
  961. a = NODE3(SLICE, a, NULL, parse_expr(tokens, pos));
  962. EXPECT(RSB, "]");
  963. continue;
  964. }
  965. node_t *b = parse_expr(tokens, pos);
  966. if (MATCH(COLON)) {
  967. node_t *c = NULL;
  968. if (!AT(RSB))
  969. c = parse_expr(tokens, pos);
  970. EXPECT(RSB, "]");
  971. a = NODE3(SLICE, a, b, c);
  972. continue;
  973. }
  974. EXPECT(RSB, "]");
  975. a = NODE2(INDEX, a, b);
  976. continue;
  977. } else if (!CLIFF && MATCH(DOT)) {
  978. if (!AT(NAME))
  979. PARSE_ERROR("expected identifier after .");
  980. a = NODE1t(MEMBER, a, tokens->data[(*pos)++]);
  981. continue;
  982. }
  983. break;
  984. } while (1);
  985. return a;
  986. }
  987. node_t *parse_postfix(list_t *tokens, size_t *pos) {
  988. node_t *a = parse_call(tokens, pos);
  989. if (CLIFF)
  990. return a;
  991. if (MATCH(PLUSPLUS))
  992. return NODE1(INC, a);
  993. else if (MATCH(MINUSMINUS))
  994. return NODE1(DEC, a);
  995. return a;
  996. }
  997. node_t *parse_unary(list_t *tokens, size_t *pos) {
  998. if (MATCH(MINUS)) {
  999. node_t *a = parse_unary(tokens, pos);
  1000. return NODE1(NEGATE, a);
  1001. } else if (MATCH(BANG)) {
  1002. node_t *a = parse_unary(tokens, pos);
  1003. return NODE1(NOT, a);
  1004. } else if (MATCH(TILDE)) {
  1005. node_t *a = parse_unary(tokens, pos);
  1006. return NODE1(BNOT, a);
  1007. }
  1008. return parse_postfix(tokens, pos);
  1009. }
  1010. node_t *parse_pow(list_t *tokens, size_t *pos) {
  1011. node_t *a = parse_unary(tokens, pos);
  1012. do {
  1013. if (MATCH(STARSTAR)) {
  1014. node_t *b = parse_unary(tokens, pos);
  1015. a = NODE2(POW, a, b);
  1016. continue;
  1017. }
  1018. break;
  1019. } while (1);
  1020. return a;
  1021. }
  1022. node_t *parse_mul(list_t *tokens, size_t *pos) {
  1023. node_t *a = parse_pow(tokens, pos);
  1024. do {
  1025. if (MATCH(STAR)) {
  1026. node_t *b = parse_pow(tokens, pos);
  1027. a = NODE2(MUL, a, b);
  1028. continue;
  1029. } else if (MATCH(SLASH)) {
  1030. node_t *b = parse_pow(tokens, pos);
  1031. a = NODE2(DIV, a, b);
  1032. continue;
  1033. } else if (MATCH(SLASHSLASH)) {
  1034. node_t *b = parse_pow(tokens, pos);
  1035. a = NODE2(IDIV, a, b);
  1036. continue;
  1037. } else if (MATCH(PERCENT)) {
  1038. node_t *b = parse_pow(tokens, pos);
  1039. a = NODE2(MOD, a, b);
  1040. continue;
  1041. }
  1042. break;
  1043. } while (1);
  1044. return a;
  1045. }
  1046. node_t *parse_add(list_t *tokens, size_t *pos) {
  1047. node_t *a = parse_mul(tokens, pos);
  1048. do {
  1049. if (MATCH(PLUS)) {
  1050. node_t *b = parse_mul(tokens, pos);
  1051. a = NODE2(ADD, a, b);
  1052. continue;
  1053. } else if (MATCH(MINUS)) {
  1054. node_t *b = parse_mul(tokens, pos);
  1055. a = NODE2(SUB, a, b);
  1056. continue;
  1057. }
  1058. break;
  1059. } while (1);
  1060. return a;
  1061. }
  1062. node_t *parse_shift(list_t *tokens, size_t *pos) {
  1063. node_t *a = parse_add(tokens, pos);
  1064. do {
  1065. if (MATCH(LTLT)) {
  1066. node_t *b = parse_add(tokens, pos);
  1067. a = NODE2(SHL, a, b);
  1068. continue;
  1069. } else if (MATCH(GTGT)) {
  1070. node_t *b = parse_add(tokens, pos);
  1071. a = NODE2(SHR, a, b);
  1072. continue;
  1073. }
  1074. break;
  1075. } while (1);
  1076. return a;
  1077. }
  1078. node_t *parse_relation(list_t *tokens, size_t *pos) {
  1079. node_t *a = parse_shift(tokens, pos);
  1080. do {
  1081. if (MATCH(LT)) {
  1082. node_t *b = parse_shift(tokens, pos);
  1083. a = NODE2(LT, a, b);
  1084. continue;
  1085. } else if (MATCH(GT)) {
  1086. node_t *b = parse_shift(tokens, pos);
  1087. a = NODE2(GT, a, b);
  1088. continue;
  1089. } else if (MATCH(LE)) {
  1090. node_t *b = parse_shift(tokens, pos);
  1091. a = NODE2(LE, a, b);
  1092. continue;
  1093. } else if (MATCH(GE)) {
  1094. node_t *b = parse_shift(tokens, pos);
  1095. a = NODE2(GE, a, b);
  1096. continue;
  1097. }
  1098. break;
  1099. } while (1);
  1100. return a;
  1101. }
  1102. node_t *parse_equality(list_t *tokens, size_t *pos) {
  1103. node_t *a = parse_relation(tokens, pos);
  1104. do {
  1105. if (MATCH(EQUALS)) {
  1106. node_t *b = parse_relation(tokens, pos);
  1107. a = NODE2(EQUALS, a, b);
  1108. continue;
  1109. } else if (MATCH(NOTEQUALS)) {
  1110. node_t *b = parse_relation(tokens, pos);
  1111. a = NODE2(NOTEQUALS, a, b);
  1112. continue;
  1113. } else if (MATCH(IS)) {
  1114. node_t *b = parse_relation(tokens, pos);
  1115. a = NODE2(IS, a, b);
  1116. continue;
  1117. } else if (AT(BANG) && ATP(IS, 1)) {
  1118. EXPECT(BANG, "!");
  1119. EXPECT(IS, "is");
  1120. node_t *b = parse_relation(tokens, pos);
  1121. a = NODE2(NOTIS, a, b);
  1122. continue;
  1123. } else if (MATCH(IN)) {
  1124. node_t *b = parse_relation(tokens, pos);
  1125. a = NODE2(IN, a, b);
  1126. continue;
  1127. } else if (AT(BANG) && ATP(IN, 1)) {
  1128. EXPECT(BANG, "!");
  1129. EXPECT(IN, "in");
  1130. node_t *b = parse_relation(tokens, pos);
  1131. a = NODE2(NOTIN, a, b);
  1132. continue;
  1133. }
  1134. break;
  1135. } while (1);
  1136. return a;
  1137. }
  1138. node_t *parse_bitand(list_t *tokens, size_t *pos) {
  1139. node_t *a = parse_equality(tokens, pos);
  1140. while (MATCH(AND)) {
  1141. node_t *b = parse_equality(tokens, pos);
  1142. a = NODE2(BAND, a, b);
  1143. }
  1144. return a;
  1145. }
  1146. node_t *parse_bitxor(list_t *tokens, size_t *pos) {
  1147. node_t *a = parse_bitand(tokens, pos);
  1148. while (MATCH(RAISE)) {
  1149. node_t *b = parse_bitand(tokens, pos);
  1150. a = NODE2(XOR, a, b);
  1151. }
  1152. return a;
  1153. }
  1154. node_t *parse_bitor(list_t *tokens, size_t *pos) {
  1155. node_t *a = parse_bitxor(tokens, pos);
  1156. while (MATCH(BAR)) {
  1157. node_t *b = parse_bitxor(tokens, pos);
  1158. a = NODE2(BOR, a, b);
  1159. }
  1160. return a;
  1161. }
  1162. node_t *parse_logand(list_t *tokens, size_t *pos) {
  1163. node_t *a = parse_bitor(tokens, pos);
  1164. if (MATCH(ANDAND)) {
  1165. node_t *b = parse_logand(tokens, pos);
  1166. return NODE2(LOGAND, a, b);
  1167. }
  1168. return a;
  1169. }
  1170. node_t *parse_logor(list_t *tokens, size_t *pos) {
  1171. node_t *a = parse_logand(tokens, pos);
  1172. if (MATCH(BARBAR)) {
  1173. node_t *b = parse_logor(tokens, pos);
  1174. return NODE2(LOGOR, a, b);
  1175. }
  1176. return a;
  1177. }
  1178. node_t *parse_assignment(list_t *tokens, size_t *pos);
  1179. node_t *parse_conditional(list_t *tokens, size_t *pos) {
  1180. node_t *a = parse_logor(tokens, pos);
  1181. if (MATCH(QM)) {
  1182. node_t *b = parse_assignment(tokens, pos);
  1183. EXPECT(COLON, ":");
  1184. node_t *c = parse_assignment(tokens, pos);
  1185. return NODE3(IFEXPR, a, b, c);
  1186. }
  1187. return a;
  1188. }
  1189. node_t *parse_assignment(list_t *tokens, size_t *pos) {
  1190. node_t *a = parse_conditional(tokens, pos);
  1191. if (MATCH(ASSIGN)) {
  1192. node_t *b = parse_assignment(tokens, pos);
  1193. return NODE2(ASSIGN, a, b);
  1194. } else if (MATCH(PLUSASSIGN)) {
  1195. node_t *b = parse_assignment(tokens, pos);
  1196. return NODE2(ASSIGN_ADD, a, b);
  1197. } else if (MATCH(MINUSASSIGN)) {
  1198. node_t *b = parse_assignment(tokens, pos);
  1199. return NODE2(ASSIGN_SUB, a, b);
  1200. } else if (MATCH(STARASSIGN)) {
  1201. node_t *b = parse_assignment(tokens, pos);
  1202. return NODE2(ASSIGN_MUL, a, b);
  1203. } else if (MATCH(SLASHASSIGN)) {
  1204. node_t *b = parse_assignment(tokens, pos);
  1205. return NODE2(ASSIGN_DIV, a, b);
  1206. } else if (MATCH(SLASHSLASHASSIGN)) {
  1207. node_t *b = parse_assignment(tokens, pos);
  1208. return NODE2(ASSIGN_IDIV, a, b);
  1209. } else if (MATCH(PERCENTASSIGN)) {
  1210. node_t *b = parse_assignment(tokens, pos);
  1211. return NODE2(ASSIGN_MOD, a, b);
  1212. } else if (MATCH(STARSTARASSIGN)) {
  1213. node_t *b = parse_assignment(tokens, pos);
  1214. return NODE2(ASSIGN_POW, a, b);
  1215. } else if (MATCH(BARASSIGN)) {
  1216. node_t *b = parse_assignment(tokens, pos);
  1217. return NODE2(ASSIGN_BOR, a, b);
  1218. }
  1219. return a;
  1220. }
  1221. node_t *parse_expr(list_t *tokens, size_t *pos) {
  1222. return parse_assignment(tokens, pos);
  1223. }
  1224. node_t *parse_stmt(list_t *tokens, size_t *pos);
  1225. node_t *parse_block(list_t *tokens, size_t *pos) {
  1226. EXPECT(LCB, "{");
  1227. list_t *stmts = list_new();
  1228. while (!AT(EOF) && !AT(RCB)) {
  1229. list_push(stmts, parse_stmt(tokens, pos));
  1230. MATCH(SEMI);
  1231. }
  1232. EXPECT(RCB, "}");
  1233. return NODEL(PROGRAM, stmts);
  1234. }
  1235. #define BLOCK() (CLIFF||MATCH(COLON)?parse_stmt(tokens, pos):parse_block(tokens, pos))
  1236. node_t *parse_if(list_t *tokens, size_t *pos) {
  1237. node_t *a = parse_expr(tokens, pos);
  1238. node_t *b = BLOCK();
  1239. node_t *c = NULL;
  1240. if (MATCH(ELSE))
  1241. c = BLOCK();
  1242. else if (MATCH(ELIF))
  1243. c = parse_if(tokens, pos);
  1244. return NODE3(IF, a, b, c);
  1245. }
  1246. node_t *parse_var(list_t *tokens, size_t *pos, int is_let) {
  1247. table_t *h = table_new();
  1248. do {
  1249. if(!AT(NAME))
  1250. PARSE_ERROR("expected identifier");
  1251. char *k = ((token_t *)tokens->data[(*pos)++])->text;
  1252. node_t *v = NULL;
  1253. if (is_let) {
  1254. EXPECT(ASSIGN, "=");
  1255. v = parse_expr(tokens, pos);
  1256. } else if (MATCH(ASSIGN))
  1257. v = parse_expr(tokens, pos);
  1258. table_set(h, k, v);
  1259. } while (MATCH(COMMA));
  1260. if (is_let)
  1261. return NODEH(LET, h);
  1262. return NODEH(VAR, h);
  1263. }
  1264. node_t *parse_unpack(list_t *tokens, size_t *pos, int tag) {
  1265. EXPECT(LSB, "[");
  1266. list_t *l = list_new();
  1267. do {
  1268. if(!AT(NAME))
  1269. PARSE_ERROR("expected identifier");
  1270. list_push(l, ((token_t *)tokens->data[(*pos)++])->text);
  1271. } while (MATCH(COMMA));
  1272. EXPECT(RSB, "]");
  1273. EXPECT(ASSIGN, "=");
  1274. node_t *a = parse_expr(tokens, pos);
  1275. if (tag == N_LETUNPACK)
  1276. return NODE1l(LETUNPACK, a, l);
  1277. return NODE1l(VARUNPACK, a, l);
  1278. }
  1279. node_t *parse_func(list_t *tokens, size_t *pos, int is_expr) {
  1280. token_t *name = NULL;
  1281. if (!is_expr) {
  1282. if(!AT(NAME))
  1283. PARSE_ERROR("expected identifier");
  1284. name = tokens->data[(*pos)++];
  1285. }
  1286. table_t *params = NULL;
  1287. if (MATCH(LPAR)) {
  1288. if (!AT(RPAR)) {
  1289. int flag = 0;
  1290. params = table_new();
  1291. size_t argc = 0;
  1292. do {
  1293. if(!AT(NAME))
  1294. PARSE_ERROR("expected identifier");
  1295. char *l = ((token_t *)tokens->data[(*pos)++])->text;
  1296. node_t *r = NULL;
  1297. if (!flag && AT(ASSIGN))
  1298. flag = 1;
  1299. if (flag) {
  1300. EXPECT(ASSIGN, "=");
  1301. r = parse_expr(tokens, pos);
  1302. }
  1303. list_t *pair = list_new();
  1304. size_t *argcp = malloc(sizeof(size_t));
  1305. memcpy(argcp, &argc, sizeof(size_t));
  1306. argc++;
  1307. list_push(pair, argcp);
  1308. list_push(pair, r);
  1309. table_set(params, l, pair);
  1310. } while (MATCH(COMMA));
  1311. }
  1312. EXPECT(RPAR, ")");
  1313. }
  1314. table_t *captured = NULL;
  1315. if (MATCH(USE)) {
  1316. EXPECT(LPAR, "(");
  1317. captured = table_new();
  1318. do {
  1319. if(!AT(NAME))
  1320. PARSE_ERROR("expected identifier");
  1321. token_t *name = tokens->data[(*pos)++];
  1322. table_set(captured, name->text, NODET(LITERAL, name));
  1323. } while (MATCH(COMMA));
  1324. EXPECT(RPAR, ")");
  1325. }
  1326. int colon = AT(COLON);
  1327. node_t *body = !colon && !AT(LCB)? parse_stmt(tokens, pos): BLOCK();
  1328. if (colon && body->tag == N_EXPRSTMT)
  1329. body = NODE1(RETURN, body->a);
  1330. if (is_expr)
  1331. return NODEF(FUNCEXPR, NULL, params, captured, body);
  1332. return NODEF(FUNCDEF, name, params, captured, body);
  1333. }
  1334. node_t *parse_stmt(list_t *tokens, size_t *pos) {
  1335. if (MATCH(LCB)) {
  1336. list_t *stmts = list_new();
  1337. while (!AT(EOF) && !AT(RCB)) {
  1338. node_t *n = parse_stmt(tokens, pos);
  1339. MATCH(SEMI);
  1340. list_push(stmts, n);
  1341. }
  1342. EXPECT(RCB, "}");
  1343. return NODEL(BLOCK, stmts);
  1344. } else if (MATCH(VAR)) {
  1345. if (AT(LSB))
  1346. return parse_unpack(tokens, pos, N_VARUNPACK);
  1347. return parse_var(tokens, pos, 0);
  1348. } else if (MATCH(LET)) {
  1349. if (AT(LSB))
  1350. return parse_unpack(tokens, pos, N_LETUNPACK);
  1351. return parse_var(tokens, pos, 1);
  1352. } else if (MATCH(CONST)) {
  1353. table_t *h = table_new();
  1354. do {
  1355. if(!AT(NAME))
  1356. PARSE_ERROR("expected identifier");
  1357. char *k = ((token_t *)tokens->data[(*pos)++])->text;
  1358. if (!(k[0] >= 'A' && k[0] <= 'Z'))
  1359. PARSE_ERROR("compile-time constant identifiers must begin with an uppercase letter, but '%s' does not", k);
  1360. if (table_get(h, k))
  1361. PARSE_ERROR("duplicated compile-time constant definition: '%s'", k);
  1362. EXPECT(ASSIGN, "=");
  1363. node_t *v = parse_expr(tokens, pos);
  1364. table_set(h, k, v);
  1365. } while (MATCH(COMMA));
  1366. return NODEH(CONST, h);
  1367. } else if (MATCH(IF))
  1368. return parse_if(tokens, pos);
  1369. else if (MATCH(SWITCH)) {
  1370. token_t *label = NULL;
  1371. if (MATCH(AT)) {
  1372. if(!AT(NAME))
  1373. PARSE_ERROR("expected identifier");
  1374. label = tokens->data[(*pos)++];
  1375. }
  1376. node_t *a = parse_expr(tokens, pos);
  1377. EXPECT(LCB, "{");
  1378. list_t *cases = list_new();
  1379. for (;;) {
  1380. if (AT(RCB) || AT(DEFAULT)) break;
  1381. EXPECT(CASE, "case");
  1382. node_t *expr = parse_expr(tokens, pos);
  1383. MATCH(COLON);
  1384. list_t *stmts = list_new();
  1385. while (!AT(CASE) && !AT(DEFAULT) && !AT(RCB))
  1386. list_push(stmts, parse_stmt(tokens, pos));
  1387. list_t *pair = list_new();
  1388. list_push(pair, expr);
  1389. list_push(pair, NODEL(PROGRAM, stmts));
  1390. list_push(cases, pair);
  1391. }
  1392. node_t *b = NULL;
  1393. if (MATCH(DEFAULT)) {
  1394. MATCH(COLON);
  1395. list_t *stmts = list_new();
  1396. while (!AT(RCB))
  1397. list_push(stmts, parse_stmt(tokens, pos));
  1398. b = NODEL(PROGRAM, stmts);
  1399. }
  1400. EXPECT(RCB, "}");
  1401. if (!cases->length && !b)
  1402. PARSE_ERROR("empty switch statement");
  1403. LABELLOOP(NODE2l(SWITCH, a, b, cases));
  1404. return ln;
  1405. } else if (MATCH(FOR)) {
  1406. token_t *label = NULL;
  1407. if (MATCH(AT)) {
  1408. if(!AT(NAME))
  1409. PARSE_ERROR("expected identifier");
  1410. label = tokens->data[(*pos)++];
  1411. }
  1412. node_t *a = NULL;
  1413. node_t *b = NULL;
  1414. node_t *c = NULL;
  1415. if (!AT(LCB) && !AT(COLON) && !CLIFF) {
  1416. if (MATCH(LSB)) {
  1417. list_t *l = list_new();
  1418. do {
  1419. if(!AT(NAME))
  1420. PARSE_ERROR("expected identifier");
  1421. list_push(l, ((token_t *)tokens->data[(*pos)++])->text);
  1422. } while (MATCH(COMMA));
  1423. EXPECT(RSB, "]");
  1424. EXPECT(OF, "of");
  1425. a = parse_expr(tokens, pos);
  1426. b = BLOCK();
  1427. LABELLOOP(NODE2l(FOROFUNPACK, a, b, l));
  1428. return ln;
  1429. }
  1430. if (AT(NAME) && ATP(OF, 1)) {
  1431. token_t *t = tokens->data[(*pos)++];
  1432. EXPECT(OF, "of");
  1433. a = parse_expr(tokens, pos);
  1434. b = BLOCK();
  1435. LABELLOOP(NODE2t(FOROF, a, b, t));
  1436. return ln;
  1437. }
  1438. if (MATCH(VAR)) {
  1439. if (MATCH(LSB)) {
  1440. list_t *l = list_new();
  1441. do {
  1442. if(!AT(NAME))
  1443. PARSE_ERROR("expected identifier");
  1444. list_push(l, ((token_t *)tokens->data[(*pos)++])->text);
  1445. } while (MATCH(COMMA));
  1446. EXPECT(RCB, "]");
  1447. EXPECT(OF, "of");
  1448. a = parse_expr(tokens, pos);
  1449. b = BLOCK();
  1450. LABELLOOP(NODE2l(FOROFVARUNPACK, a, b, l));
  1451. return ln;
  1452. }
  1453. if (AT(NAME) && ATP(OF, 1)) {
  1454. token_t *t = tokens->data[(*pos)++];
  1455. EXPECT(OF, "of");
  1456. a = parse_expr(tokens, pos);
  1457. b = BLOCK();
  1458. LABELLOOP(NODE2t(FOROFVAR, a, b, t));
  1459. return ln;
  1460. }
  1461. a = parse_var(tokens, pos, 0);
  1462. EXPECT(SEMI, ";");
  1463. b = parse_expr(tokens, pos);
  1464. EXPECT(SEMI, ";");
  1465. c = parse_expr(tokens, pos);
  1466. } else a = parse_expr(tokens, pos);
  1467. }
  1468. node_t *d = BLOCK();
  1469. LABELLOOP(NODE4(FOR, a, b, c, d));
  1470. return ln;
  1471. } else if (MATCH(BREAK)) {
  1472. if ((AT(NUMBER) || AT(NAME)) && !CLIFF)
  1473. return NODET(BREAK, tokens->data[(*pos)++]);
  1474. return NODE0(BREAK);
  1475. } else if (MATCH(CONTINUE)) {
  1476. if ((AT(NUMBER) || AT(NAME)) && !CLIFF)
  1477. return NODET(CONTINUE, tokens->data[(*pos)++]);
  1478. return NODE0(CONTINUE);
  1479. } else if (MATCH(FUNC))
  1480. return parse_func(tokens, pos, 0);
  1481. else if (MATCH(RETURN)) {
  1482. node_t *a = NULL;
  1483. if (!AT(RCB) && !AT(EOF) && !CLIFF)
  1484. a = parse_expr(tokens, pos);
  1485. return NODE1(RETURN, a);
  1486. } else if (MATCH(DEFER)) {
  1487. node_t *a;
  1488. if (AT(LCB))
  1489. a = BLOCK();
  1490. else a = parse_stmt(tokens, pos);
  1491. return NODE1(DEFER, a);
  1492. } else if (MATCH(PASS)) return NODE0(PASS);
  1493. else if (MATCH(TRY)) {
  1494. node_t *a = BLOCK();
  1495. token_t *t = NULL;
  1496. EXPECT(CATCH, "catch");
  1497. if (!AT(COLON) && !AT(LCB) && !CLIFF) {
  1498. if (!AT(NAME))
  1499. PARSE_ERROR("expected identifier");
  1500. t = tokens->data[(*pos)++];
  1501. }
  1502. node_t *b = BLOCK();
  1503. node_t *c = NULL;
  1504. if (MATCH(FINALLY))
  1505. c = BLOCK();
  1506. return NODE3t(TRY, a, b, c, t);
  1507. } else if (MATCH(THROW)) {
  1508. node_t *a = NULL;
  1509. if (!CLIFF && !AT(COMMA) && !AT(RPAR) && !AT(RCB))
  1510. a = parse_expr(tokens, pos);
  1511. return NODE1(THROW, a);
  1512. } else if (MATCH(GOTO)) {
  1513. if(!AT(NAME))
  1514. PARSE_ERROR("expected identifier");
  1515. token_t *t = tokens->data[(*pos)++];
  1516. return NODET(GOTO, t);
  1517. } else if (AT(NAME) && ATP(COLON, 1) && !CLIFF_AHEAD) {
  1518. token_t *t = tokens->data[(*pos)++];
  1519. EXPECT(COLON, ":");
  1520. return NODET(LABEL, t);
  1521. } else if (MATCH(CLASS)) {
  1522. if(!AT(NAME))
  1523. PARSE_ERROR("expected identifier");
  1524. token_t *t = tokens->data[(*pos)++];
  1525. list_t *l = NULL;
  1526. if (MATCH(LPAR)) {
  1527. l = list_new();
  1528. do {
  1529. if(!AT(NAME))
  1530. PARSE_ERROR("expected identifier");
  1531. token_t *t = tokens->data[(*pos)++];
  1532. list_push(l, t);
  1533. } while (MATCH(COMMA));
  1534. EXPECT(RPAR, ")");
  1535. }
  1536. EXPECT(LCB, "{");
  1537. list_t *triples = list_new();
  1538. for (;;) {
  1539. if (!AT(NAME))
  1540. break;
  1541. list_t *triple = list_new();
  1542. token_t *t = tokens->data[(*pos)++];
  1543. list_push(triple, t);
  1544. if (MATCH(ASSIGN)) {
  1545. list_push(triple, t);
  1546. list_push(triple, parse_expr(tokens, pos));
  1547. } else {
  1548. list_push(triple, NULL);
  1549. list_push(triple, parse_func(tokens, pos, 1));
  1550. }
  1551. list_push(triples, triple);
  1552. }
  1553. EXPECT(RCB, "}");
  1554. list_t *pair = list_new();
  1555. list_push(pair, l);
  1556. list_push(pair, triples);
  1557. return NODETL(CLASS, t, pair);
  1558. } else if (MATCH(INLINE)) {
  1559. if (!AT(STRING))
  1560. PARSE_ERROR("expected string");
  1561. token_t *t = tokens->data[(*pos)++];
  1562. return NODET(INLINE, t);
  1563. }
  1564. node_t *n = parse_expr(tokens, pos);
  1565. return NODE1(EXPRSTMT, n);
  1566. }
  1567. node_t *parse_program(list_t *tokens, size_t *pos) {
  1568. if (AT(EOF))
  1569. PARSE_ERROR("empty program");
  1570. list_t *stmts = list_new();
  1571. int flag = 0;
  1572. while (!AT(EOF) && *pos < tokens->length) {
  1573. node_t *n;
  1574. if (MATCH(REQUIRE)) {
  1575. if (flag)
  1576. PARSE_ERROR("misplaced require statement")
  1577. if (!AT(STRING))
  1578. PARSE_ERROR("expected string");
  1579. token_t *path = tokens->data[(*pos)++];
  1580. n = NODET(REQUIRE, path);
  1581. } else if (MATCH(HEADER)) {
  1582. if (flag)
  1583. PARSE_ERROR("misplaced header statement")
  1584. if (!AT(STRING))
  1585. PARSE_ERROR("expected string");
  1586. token_t *text = tokens->data[(*pos)++];
  1587. n = NODET(HEADER, text);
  1588. } else if (MATCH(INCLUDE)) {
  1589. if (flag)
  1590. PARSE_ERROR("misplaced include statement")
  1591. if (!AT(STRING))
  1592. PARSE_ERROR("expected string");
  1593. token_t *text = tokens->data[(*pos)++];
  1594. n = NODET(INCLUDE, text);
  1595. } else { n = parse_stmt(tokens, pos); flag = 1; }
  1596. MATCH(SEMI);
  1597. list_push(stmts, n);
  1598. }
  1599. return NODEL(TOPLEVEL, stmts);
  1600. }
  1601. node_t *parse(char *source) {
  1602. size_t pos = 0;
  1603. return parse_program(tokenize(source), &pos);
  1604. }
  1605. #define NEWGID() size_t gid = GID++
  1606. #define EMIT(fmt, ...) buffer_fmt(buf, (fmt), ##__VA_ARGS__);
  1607. #define BINOP(s) { EMIT("qi_" s "(state, "); compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a); EMIT(", "); compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b); EMIT(")"); }
  1608. #define UNOP(s) { EMIT("qi_" s "(state, "); compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a); EMIT(")"); }
  1609. #define ASSIGNIN(buf, lhs, rhs) {\
  1610. if ((lhs)->tag == N_LITERAL && (lhs)->t->tag == T_NAME) {\
  1611. buffer_fmt(buf, "qi_set(state, false, \"%s\", ", (lhs)->t->text);\
  1612. rhs;\
  1613. buffer_fmt(buf, ")");\
  1614. } else if ((lhs)->tag == N_INDEX) {\
  1615. buffer_fmt(buf, "qi_index_set(state, false, ");\
  1616. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, (lhs)->a);\
  1617. buffer_fmt(buf, ", ");\
  1618. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, (lhs)->b);\
  1619. buffer_fmt(buf, ", ");\
  1620. rhs;\
  1621. buffer_fmt(buf, ")");\
  1622. } else if ((lhs)->tag == N_MEMBER) {\
  1623. buffer_fmt(buf, "qi_index_set(state, false, ");\
  1624. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, (lhs)->a);\
  1625. buffer_fmt(buf, ", qi_make_string(state, \"%s\"), ", (lhs)->t->text);\
  1626. rhs;\
  1627. buffer_fmt(buf, ")");\
  1628. } else COMPILE_ERROR("illegal assignment left-hand side");\
  1629. }
  1630. #define ASSIGN(lhs, rhs) ASSIGNIN(buf, lhs, rhs)
  1631. #define COMPASSIGN(lhs, s, rhs) {\
  1632. ASSIGN(node->a, {\
  1633. EMIT("qi_%s(state, ", s);\
  1634. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, (lhs));\
  1635. EMIT(", ");\
  1636. rhs;\
  1637. EMIT(")");\
  1638. });\
  1639. }
  1640. #define COMPILE_ERROR(fmt, ...) { format_error(GETFNAME(node->fi), GETSRC(node->fi), node->pos, fmt, ##__VA_ARGS__); exit(1); }
  1641. void compile_node(buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab, stack_t *lstk, stack_t *sstk, list_t *lbl, node_t *node);
  1642. char *tempvar() {
  1643. NEWGID();
  1644. char *s = malloc(sizeof(char) * 64);
  1645. snprintf(s, 64, "__temp%zu", gid);
  1646. return s;
  1647. }
  1648. void compile_list(buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab, stack_t *lstk, stack_t *sstk, list_t *lbl, list_t *seq) {
  1649. if (!seq || seq->length < 1) {
  1650. EMIT("NULL");
  1651. return;
  1652. }
  1653. int has_star = 0;
  1654. for (size_t i = 0; i < seq->length; i++)
  1655. if (((node_t *)seq->data[i])->tag == N_STAR) {
  1656. has_star = 1; break;
  1657. }
  1658. buffer_t *tbuf = buffer_new();
  1659. NEWGID();
  1660. buffer_fmt(tbuf, "inline static qi_list_t *__list%d(qi_state_t *state) {\n", gid);
  1661. if (has_star)
  1662. buffer_fmt(tbuf, "qi_list_t *list = qi_list_make();\n");
  1663. else
  1664. buffer_fmt(tbuf, "qi_list_t *list = qi_list_make_n(%d);\n", seq->length);
  1665. for (size_t i = 0; i < seq->length; i++) {
  1666. node_t *node = seq->data[i];
  1667. if (!has_star) {
  1668. buffer_fmt(tbuf, "qi_list_data(list, %d) = ", i);
  1669. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node);
  1670. buffer_fmt(tbuf, ";\n");
  1671. continue;
  1672. }
  1673. if (node->tag == N_STAR) {
  1674. char *varname = tempvar();
  1675. buffer_fmt(tbuf, "qi_value_t *%s = qi_iter(state, ", varname);
  1676. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->a);
  1677. buffer_fmt(tbuf, ");\n");
  1678. buffer_fmt(tbuf, "for (qi_size_t i = 0; i < %s->value.list->length; i++)\n", varname);
  1679. buffer_fmt(tbuf, "qi_list_push(list, qi_index(state, %s, qi_make_number(state, i)));\n", varname);
  1680. } else {
  1681. buffer_fmt(tbuf, "qi_list_push(list, ");
  1682. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node);
  1683. buffer_fmt(tbuf, ");\n");
  1684. }
  1685. }
  1686. buffer_fmt(tbuf, "return list;\n");
  1687. buffer_fmt(tbuf, "}\n");
  1688. buffer_appendb(gbuf, tbuf);
  1689. EMIT("__list%d(state)", gid);
  1690. }
  1691. void compile_table(buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab, stack_t *lstk, stack_t *sstk, list_t *lbl, table_t *table) {
  1692. if (!table || table->used < 1) {
  1693. EMIT("NULL");
  1694. return;
  1695. }
  1696. buffer_t *tbuf = buffer_new();
  1697. NEWGID();
  1698. buffer_fmt(tbuf, "inline static qi_table_t *__table%d(qi_state_t *state) {\n", gid);
  1699. buffer_fmt(tbuf, "qi_table_t *table = qi_table_make();\n");
  1700. table_iterate(table, {
  1701. buffer_fmt(tbuf, "qi_table_set(table, \"%s\", ", entry.key);
  1702. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, entry.value);
  1703. buffer_fmt(tbuf, ");\n");
  1704. });
  1705. buffer_fmt(tbuf, "return table;\n");
  1706. buffer_fmt(tbuf, "}\n");
  1707. buffer_appendb(gbuf, tbuf);
  1708. EMIT("__table%d(state)", gid);
  1709. }
  1710. #define CTXPUSH(s) list_push(ctx, (s))
  1711. #define CTXPOP() list_pop(ctx)
  1712. int in_context(list_t *ctx, char *s) {
  1713. if (!ctx->length)
  1714. return 0;
  1715. for (ssize_t i = ctx->length - 1; i >= 0; i--) {
  1716. if (strcmp(ctx->data[i], "gap") == 0)
  1717. break;
  1718. else if (strcmp(ctx->data[i], s) == 0)
  1719. return 1;
  1720. }
  1721. return 0;
  1722. }
  1723. int in_switch(list_t *ctx) {
  1724. if (!ctx->length)
  1725. return 0;
  1726. for (ssize_t i = ctx->length - 1; i >= 0; i--) {
  1727. if (strcmp(ctx->data[i], "gap") == 0 || strcmp(ctx->data[i], "for") == 0)
  1728. break;
  1729. else if (strcmp(ctx->data[i], "switch") == 0)
  1730. return 1;
  1731. }
  1732. return 0;
  1733. }
  1734. size_t count_ctxs(list_t *ctx, char *s) {
  1735. if (!ctx->length)
  1736. return 0;
  1737. size_t k = 0;
  1738. for (ssize_t i = ctx->length - 1; i >= 0; i--) {
  1739. if (strcmp(ctx->data[i], "gap") == 0)
  1740. break;
  1741. else if (strcmp(ctx->data[i], s) == 0)
  1742. k++;
  1743. }
  1744. return k;
  1745. }
  1746. #define INCTX(s) (in_context(ctx, (s)))
  1747. #define SCOPESK (count_ctxs(ctx, "scope"))
  1748. #define TRAPSK (count_ctxs(ctx, "trap"))
  1749. #define LPUSH(i) stack_push(lstk, (i))
  1750. #define LPOP() stack_pop(lstk)
  1751. #define LID (lstk->data[lstk->length-1])
  1752. #define SPUSH(i) stack_push(sstk, (i))
  1753. #define SPOP() stack_pop(sstk)
  1754. #define SID (sstk->data[sstk->length-1])
  1755. #define LBPUSH() list_push(lbl, table_new())
  1756. #define LBPOP() list_pop(lbl)
  1757. void compile_func(buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab, stack_t *lstk, stack_t *sstk, list_t *lbl, node_t *node, char *name) {
  1758. NEWGID();
  1759. buffer_t *tbuf = buffer_new();
  1760. buffer_fmt(tbuf, "qi_value_t *__func%d(qi_state_t *state, qi_size_t pargc, qi_list_t *pargs) {\n", gid);
  1761. LBPUSH();
  1762. CTXPUSH("gap");
  1763. CTXPUSH("func");
  1764. size_t optargc = 0;
  1765. if (node->h) {
  1766. table_iterate(node->h, {
  1767. list_t *pair = entry.value;
  1768. size_t argc = *(size_t *)pair->data[0];
  1769. if (pair->data[1]) {
  1770. optargc++;
  1771. buffer_fmt(tbuf, "qi_decl(state, \"%s\", pargc >= %d? qi_list_index(pargs, %d): ", entry.key, argc+1, argc);
  1772. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, pair->data[1]);
  1773. buffer_fmt(tbuf, ");\n");
  1774. } else
  1775. buffer_fmt(tbuf, "qi_decl(state, \"%s\", qi_list_index(pargs, %d));\n", entry.key, argc);
  1776. argc++;
  1777. });
  1778. }
  1779. compile_node(gbuf, tbuf, ctx, table_new(), stack_new(), stack_new(), lbl, node->a);
  1780. CTXPOP();
  1781. CTXPOP();
  1782. LBPOP();
  1783. buffer_fmt(tbuf, "return state->nil;\n");
  1784. buffer_fmt(tbuf, "}\n");
  1785. buffer_appendb(gbuf, tbuf);
  1786. tbuf = buffer_new();
  1787. buffer_fmt(tbuf, "qi_make_function(state, \"%s\", %d, __func%d, ", name? name: node->t? node->t->text: "<anon>", !node->h? 0: (node->h->used - optargc), gid);
  1788. compile_table(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->h2);
  1789. buffer_fmt(tbuf, ")");
  1790. if (node->tag == N_FUNCEXPR) {
  1791. buffer_appendb(buf, tbuf);
  1792. return;
  1793. }
  1794. EMIT("qi_set(state, false, \"%s\", ", node->t->text);
  1795. buffer_appendb(buf, tbuf);
  1796. EMIT(");");
  1797. }
  1798. table_t *CONSTANTS;
  1799. void compile_block(buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab, stack_t *lstk, stack_t *sstk, list_t *lbl, list_t *block, int toplevel) {
  1800. for (size_t i = 0; i < block->length; i++) {
  1801. node_t *node = block->data[i];
  1802. if (node->tag == N_CONST) {
  1803. if (!toplevel)
  1804. COMPILE_ERROR("const is not on top-level")
  1805. table_iterate(node->h, {
  1806. char *name = entry.key;
  1807. if (table_get(CONSTANTS, name))
  1808. COMPILE_ERROR("redeclaration of compile-time constant: '%s'", name);
  1809. table_set(CONSTANTS, name, entry.value);
  1810. });
  1811. } else if (node->tag == N_FUNCDEF) {
  1812. compile_func(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node, NULL);
  1813. EMIT("\n");
  1814. } else if (node->tag == N_CLASS) {
  1815. NEWGID();
  1816. char *name = node->t->text;
  1817. list_t *supers = list_index(node->l, 0);
  1818. list_t *triples = list_index(node->l, 1);
  1819. buffer_t *tbuf = buffer_new();
  1820. buffer_fmt(tbuf, "qi_value_t *__class%d(qi_state_t *state) {\n", gid);
  1821. buffer_fmt(tbuf, "qi_list_t *supers = qi_list_make_n(%d);\n", !supers? 0: supers->length);
  1822. if (supers)
  1823. for (size_t i = 0; i < supers->length; i++) {
  1824. token_t *t = supers->data[i];
  1825. buffer_fmt(tbuf, "qi_list_data(supers, %d) = qi_get(state, \"%s\");\n", i, t->text);
  1826. }
  1827. buffer_fmt(tbuf, "qi_table_t *table = qi_table_make();\n");
  1828. buffer_fmt(tbuf, "qi_table_t *metatable = qi_table_make();\n");
  1829. for (size_t i = 0; i < triples->length; i++) {
  1830. list_t *triple = triples->data[i];
  1831. token_t *t = triple->data[0];
  1832. buffer_t *methodname = buffer_new();
  1833. buffer_fmt(methodname, "%s.%s", name, t->text);
  1834. buffer_fmt(tbuf, "qi_table_set(%s, \"%s\", ", triple->data[1] != NULL? "table": "metatable", t->text);
  1835. if (triple->data[1] == NULL)
  1836. compile_func(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, triple->data[2], buffer_read(methodname));
  1837. else
  1838. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, triple->data[2]);
  1839. buffer_fmt(tbuf, ");\n");
  1840. }
  1841. buffer_fmt(tbuf, "qi_list_t *pargs = qi_list_make_n(4);\n");
  1842. buffer_fmt(tbuf, "qi_list_data(pargs, 0) = qi_make_string(state, \"%s\");\n", name);
  1843. buffer_fmt(tbuf, "qi_list_data(pargs, 1) = qi_make_list(state, supers);\n");
  1844. buffer_fmt(tbuf, "qi_list_data(pargs, 2) = qi_make_table(state, table);\n");
  1845. buffer_fmt(tbuf, "qi_list_data(pargs, 3) = qi_make_table(state, metatable);\n");
  1846. buffer_fmt(tbuf, "return qi_call(state, qi_get(state, \"__class_wrapper\"), pargs);\n");
  1847. buffer_fmt(tbuf, "}\n");
  1848. buffer_appendb(gbuf, tbuf);
  1849. EMIT("qi_set(state, false, \"%s\", __class%d(state));", name, gid);
  1850. } else if (node->tag == N_LABEL) {
  1851. char *label = node->t->text;
  1852. if (table_get(list_index(lbl, -1), label))
  1853. COMPILE_ERROR("duplicated label: '%s'", label);
  1854. NEWGID();
  1855. size_t *n = malloc(sizeof(size_t));
  1856. memcpy(n, &gid, sizeof(size_t));
  1857. table_set(list_index(lbl, -1), label, n);
  1858. }
  1859. }
  1860. for (size_t i = 0; i < block->length; i++) {
  1861. node_t *n = block->data[i];
  1862. if (n->tag == N_FUNCDEF)
  1863. continue;
  1864. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, n);
  1865. EMIT("\n");
  1866. }
  1867. }
  1868. const char *STD[][2] = {
  1869. {"std",
  1870. "func exit(c) {\n"
  1871. " if type(c) != \"number\"\n"
  1872. " throw \"expected first argument to be: number, but got: \" + type(c)\n"
  1873. " inline `qi_exit(state, qi_get(state, \"c\")->value.number)`\n"
  1874. "}\n"
  1875. "func head(l): return l[0]\n"
  1876. "func tail(l): return slice(l, 1)\n"
  1877. "func die(msg, c=1) {\n"
  1878. " fputs(STDERR, str(msg) + \"\\n\")\n"
  1879. " exit(c)\n"
  1880. "}\n"
  1881. "func min(x, y): x < y? x: y\n"
  1882. "func max(x, y): x > y? x: y\n"
  1883. "func reverse(x) {\n"
  1884. " if type(x) !in (\"list\", \"string\", \"bytes\")\n"
  1885. " throw \"expected first argument to be: list, string or bytes, but got: \" + type(x)\n"
  1886. " var r = []\n"
  1887. " for var i = len(x)-1; i >= 0; i--\n"
  1888. " list_push(r, x[i])\n"
  1889. " if type(x) == \"string\"\n"
  1890. " return list_join(r)\n"
  1891. " elif type(x) == \"bytes\"\n"
  1892. " return bytes(r)\n"
  1893. " return r\n"
  1894. "}\n"
  1895. "set_pseudomethod(\"list.reverse\", reverse)\n"
  1896. "set_pseudomethod(\"string.reverse\", reverse)\n"
  1897. "set_pseudomethod(\"bytes.reverse\", reverse)\n"
  1898. "func range(f) {\n"
  1899. " var t, s\n"
  1900. " if len(arguments) >= 3 {\n"
  1901. " t = arguments[1]\n"
  1902. " s = arguments[2]\n"
  1903. " } elif len(arguments) >= 2 {\n"
  1904. " t = arguments[1]\n"
  1905. " s = 1\n"
  1906. " } else {\n"
  1907. " t = f\n"
  1908. " f = 0\n"
  1909. " s = 1\n"
  1910. " }\n"
  1911. " if type(f) != \"number\"\n"
  1912. " throw \"expected first argument to be: number, but got: \" + type(f)\n"
  1913. " if type(t) != \"number\"\n"
  1914. " throw \"expected second argument to be: number, but got: \" + type(t)\n"
  1915. " if type(s) != \"number\"\n"
  1916. " throw \"expected third argument to be: number, but got: \" + type(s)\n"
  1917. " if f > t\n"
  1918. " return reverse(range(t, f, s))\n"
  1919. " var r = []\n"
  1920. " for var i = f; i < t; i += s\n"
  1921. " list_push(r, i)\n"
  1922. " return r\n"
  1923. "}\n"
  1924. "const SEEK_SET = 0, SEEK_CUR = 1, SEEK_END = 2\n"
  1925. "func frewind(file)\n"
  1926. " return file.rewind()\n"
  1927. "func file_read(filename) {\n"
  1928. " let file = fopen(filename, \"r\")\n"
  1929. " defer fclose(file)\n"
  1930. " return str(fread(file, -1))\n"
  1931. "}\n"
  1932. "func file_write(filename, data) {\n"
  1933. " let file = fopen(filename, \"w\")\n"
  1934. " defer fclose(file)\n"
  1935. " fwrite(file, bytes(data))\n"
  1936. "}\n"
  1937. "func is_defined(name) {\n"
  1938. " if type(name) != \"string\"\n"
  1939. " throw \"expected first argument to be: string, but got: \" + type(name)\n"
  1940. " inline `bool b = qi_find(state, qi_get(state, \"name\")->value.string) != NULL`\n"
  1941. " inline `return qi_make_boolean(state, b)`\n"
  1942. "}\n"
  1943. "func list_remove(l, x, first=false) {\n"
  1944. " if type(l) != \"list\"\n"
  1945. " throw \"expected first argument to be: list, but got: \" + type(l)\n"
  1946. " repeat:\n"
  1947. " for var i = 0; i < len(l); i++\n"
  1948. " if l[i] == x {\n"
  1949. " list_delete(l, i)\n"
  1950. " if first\n"
  1951. " break\n"
  1952. " goto repeat\n"
  1953. " }\n"
  1954. "}\n"
  1955. "set_pseudomethod(\"list.remove\", list_remove)\n"
  1956. "func list_join(l) {\n"
  1957. " if type(l) != \"list\"\n"
  1958. " throw \"expected first argument to be: list, but got: \" + type(l)\n"
  1959. " var r = \"\"\n"
  1960. " var s\n"
  1961. " if len(arguments) == 1\n"
  1962. " s = \"\"\n"
  1963. " else\n"
  1964. " s = arguments[1]\n"
  1965. " if type(s) != \"string\"\n"
  1966. " throw \"expected second argument to be: string, but got: \" + type(s)\n"
  1967. " var first = true\n"
  1968. " for var x of l {\n"
  1969. " if type(x) != \"string\"\n"
  1970. " throw \"expected sequence item to be: string, but got: \" + type(x)\n"
  1971. " if s != \"\" && !first\n"
  1972. " r += s\n"
  1973. " r += x\n"
  1974. " first = false\n"
  1975. " }\n"
  1976. " return r\n"
  1977. "}\n"
  1978. "set_pseudomethod(\"list.join\", list_join)\n"
  1979. "func list_pop_at(l, i) {\n"
  1980. " if type(l) != \"list\"\n"
  1981. " throw \"expected first argument to be: list, but got: \" + type(l)\n"
  1982. " if type(i) != \"number\"\n"
  1983. " throw \"expected second argument to be: number, but got: \" + type(i)\n"
  1984. " var x = l[i]\n"
  1985. " list_delete(l, i)\n"
  1986. " return x\n"
  1987. "}\n"
  1988. "set_pseudomethod(\"list.popAt\", list_pop_at)\n"
  1989. "func list_sort(l, cmp=func (x, y): x > y) {\n"
  1990. " if type(l) != \"list\"\n"
  1991. " throw \"expected first argument to be: list, but got: \" + type(l)\n"
  1992. " if type(cmp) != \"function\"\n"
  1993. " throw \"expected second argument to be: function, but got: \" + type(cmp)\n"
  1994. " if len(l) == 0\n"
  1995. " return l\n"
  1996. " var z = len(l)\n"
  1997. " for var i = 0; i < z - 1; i++\n"
  1998. " for var j = 0; j < z - 1 - i; j++\n"
  1999. " if cmp(l[j], l[j+1]) {\n"
  2000. " let tmp = l[j]\n"
  2001. " l[j] = l[j+1]\n"
  2002. " l[j+1] = tmp\n"
  2003. " }\n"
  2004. " return l\n"
  2005. "}\n"
  2006. "func list_sorted(l, cmp=func (x, y): x > y) {\n"
  2007. " l = list_copy(l)\n"
  2008. " return list_sort(l, cmp)\n"
  2009. "}\n"
  2010. "set_pseudomethod(\"list.sort\", list_sort)\n"
  2011. "set_pseudomethod(\"list.sorted\", list_sorted)\n"
  2012. "func list_shift(l) {\n"
  2013. " if type(l) != \"list\"\n"
  2014. " throw \"expected first argument to be: list, but got: \" + type(l)\n"
  2015. " if is_empty(l)\n"
  2016. " throw \"shift from empty list\"\n"
  2017. " var a = l[0]\n"
  2018. " list_delete(l, 0)\n"
  2019. " return a\n"
  2020. "}\n"
  2021. "func list_unshift(l, x) {\n"
  2022. " list_insert(l, 0, x)\n"
  2023. "}\n"
  2024. "set_pseudomethod(\"list.shift\", list_shift)\n"
  2025. "set_pseudomethod(\"list.unshift\", list_unshift)\n"
  2026. "func slice(l) {\n"
  2027. " if type(l) !in (\"list\", \"string\", \"bytes\")\n"
  2028. " throw \"expected first argument to be: list, string or bytes, but got: \" + type(l)\n"
  2029. " var r = []\n"
  2030. " if len(arguments) == 2 {\n"
  2031. " var f = arguments[1]\n"
  2032. " if type(f) != \"number\"\n"
  2033. " throw \"expected second argument to be: number, but got: \" + type(f)\n"
  2034. " for var i = f; i < len(l); i++\n"
  2035. " list_push(r, l[i])\n"
  2036. " } elif len(arguments) == 3 {\n"
  2037. " var f = arguments[1], t = arguments[2]\n"
  2038. " if type(f) != \"number\"\n"
  2039. " throw \"expected second argument to be: number, but got: \" + type(f)\n"
  2040. " if type(t) != \"number\"\n"
  2041. " throw \"expected third argument to be: number, but got: \" + type(t)\n"
  2042. " for var i = f; i < len(l) && i <= t; i++\n"
  2043. " list_push(r, l[i])\n"
  2044. " }\n"
  2045. " if type(l) == \"string\"\n"
  2046. " return list_join(r)\n"
  2047. " elif type(l) == \"bytes\"\n"
  2048. " return bytes(r)\n"
  2049. " return r\n"
  2050. "}\n"
  2051. "set_pseudomethod(\"list.slice\", slice)\n"
  2052. "set_pseudomethod(\"string.slice\", slice)\n"
  2053. "set_pseudomethod(\"bytes.slice\", slice)\n"
  2054. "let __slice = slice;\n"
  2055. "func str_startswith(s, p) {\n"
  2056. " if type(s) != \"string\"\n"
  2057. " throw \"expected first argument to be: string, but got: \" + type(s)\n"
  2058. " if len(s) < len(p)\n"
  2059. " return false\n"
  2060. " return slice(s, 0, len(p)-1) == p\n"
  2061. "}\n"
  2062. "set_pseudomethod(\"string.startsWith\", str_startswith)\n"
  2063. "func str_endswith(s, p) {\n"
  2064. " if type(s) != \"string\"\n"
  2065. " throw \"expected first argument to be: string, but got: \" + type(s)\n"
  2066. " if len(s) < len(p)\n"
  2067. " return false\n"
  2068. " return slice(s, len(s) - len(p)) == p\n"
  2069. "}\n"
  2070. "set_pseudomethod(\"string.endsWith\", str_endswith)\n"
  2071. "func str_split(s) {\n"
  2072. " if len(arguments) == 1 || arguments[1] == \"\"\n"
  2073. " return list(s)\n"
  2074. " if type(s) != \"string\"\n"
  2075. " throw \"expected first argument to be:!string, but got: \" + type(s)\n"
  2076. " var r = []\n"
  2077. " var d = arguments[1]\n"
  2078. " if type(d) != \"string\"\n"
  2079. " throw \"expected second argument to be: string, but got: \" + type(s)\n"
  2080. " var t = \"\"\n"
  2081. " for var i = 0; i < len(s); i++ {\n"
  2082. " if slice(s, i, i+len(d)-1) == d {\n"
  2083. " list_push(r, t)\n"
  2084. " t = \"\"\n"
  2085. " i += len(d)-1\n"
  2086. " continue\n"
  2087. " }\n"
  2088. " t += s[i]\n"
  2089. " }\n"
  2090. " if t != \"\"\n"
  2091. " list_push(r, t)\n"
  2092. " return r\n"
  2093. "}\n"
  2094. "set_pseudomethod(\"string.split\", str_split)\n"
  2095. "func str_replace(s, w, b) {\n"
  2096. " if type(s) != \"string\"\n"
  2097. " throw \"expected first argument to be: string, but got: \" + type(s)\n"
  2098. " if type(w) != \"string\"\n"
  2099. " throw \"expected second argument to be: string, but got: \" + type(w)\n"
  2100. " if type(b) != \"string\"\n"
  2101. " throw \"expected third argument to be: string, but got: \" + type(b)\n"
  2102. " var r = \"\"\n"
  2103. " for var i = 0; i < len(s); i++ {\n"
  2104. " if slice(s, i, i+len(w)-1) == w {\n"
  2105. " r += b\n"
  2106. " i += len(w)-1\n"
  2107. " continue\n"
  2108. " }\n"
  2109. " r += s[i]\n"
  2110. " }\n"
  2111. " return r\n"
  2112. "}\n"
  2113. "set_pseudomethod(\"string.replace\", str_replace)\n"
  2114. "func table_keys(t) {\n"
  2115. " if type(t) != \"table\"\n"
  2116. " throw \"expected first argument to be: table, but got: \" + type(t)\n"
  2117. " var r = []\n"
  2118. " for var k of t\n"
  2119. " list_push(r, k)\n"
  2120. " return r\n"
  2121. "}\n"
  2122. "set_pseudomethod(\"table.keys\", table_keys)\n"
  2123. "func table_values(t) {\n"
  2124. " if type(t) != \"table\"\n"
  2125. " throw \"expected first argument to be: table, but got: \" + type(t)\n"
  2126. " var r = []\n"
  2127. " for var k of t\n"
  2128. " list_push(r, t[k])\n" " return r\n"
  2129. "}\n"
  2130. "set_pseudomethod(\"table.values\", table_values)\n"
  2131. "func reduce(f, xs) {\n"
  2132. " if type(f) != \"function\"\n"
  2133. " throw \"expected first argument to be: function, but got: \" + type(f)\n"
  2134. " if type(xs) !in (\"list\", \"tuple\", \"string\", \"bytes\")\n"
  2135. " throw \"expected second argument to be: list, tuple, string or bytes, but got: \" + type(xs)\n"
  2136. " if len(xs) == 0\n"
  2137. " throw \"cannot reduce empty list\"\n"
  2138. " r = xs[0]\n"
  2139. " for var x of slice(xs, 1)\n"
  2140. " r = f(r, x)\n"
  2141. " if type(xs) == \"tuple\"\n"
  2142. " return tuple(r)\n"
  2143. " elif type(xs) == \"string\"\n"
  2144. " return list_join(r)\n"
  2145. " elif type(xs) == \"bytes\"\n"
  2146. " return bytes(r)\n"
  2147. " return r\n"
  2148. "}\n"
  2149. "set_pseudomethod(\"list.reduce\", func (xs, f): reduce(f, xs))\n"
  2150. "set_pseudomethod(\"tuple.reduce\", func (xs, f): reduce(f, xs))\n"
  2151. "set_pseudomethod(\"string.reduce\", func (xs, f): reduce(f, xs))\n"
  2152. "set_pseudomethod(\"bytes.reduce\", func (xs, f): reduce(f, xs))\n"
  2153. "func sum(xs)\n"
  2154. " return reduce(func (x, y): x + y, xs)\n"
  2155. "set_pseudomethod(\"list.sum\", sum)\n"
  2156. "set_pseudomethod(\"tuple.sum\", sum)\n"
  2157. "func product(xs)\n"
  2158. " return reduce(func (x, y): x * y, xs)\n"
  2159. "set_pseudomethod(\"list.product\", product)\n"
  2160. "set_pseudomethod(\"tuple.product\", product)\n"
  2161. "func map(f, xs) {\n"
  2162. " if type(f) != \"function\"\n"
  2163. " throw \"expected first argument to be: function, but got: \" + type(f)\n"
  2164. " if type(xs) !in (\"list\", \"tuple\", \"string\", \"bytes\")\n"
  2165. " throw \"expected second argument to be: list, tuple, string or bytes, but got: \" + type(xs)\n"
  2166. " if len(xs) == 0\n"
  2167. " return xs\n"
  2168. " var r = []\n"
  2169. " for var x of xs\n"
  2170. " list_push(r, f(x))\n"
  2171. " if type(xs) == \"tuple\"\n"
  2172. " return tuple(r)\n"
  2173. " elif type(xs) == \"string\"\n"
  2174. " return list_join(r)\n"
  2175. " elif type(xs) == \"bytes\"\n"
  2176. " return bytes(r)\n"
  2177. " return r\n"
  2178. "}\n"
  2179. "set_pseudomethod(\"list.map\", func (xs, f): map(f, xs))\n"
  2180. "set_pseudomethod(\"tuple.map\", func (xs, f): map(f, xs))\n"
  2181. "set_pseudomethod(\"string.map\", func (xs, f): map(f, xs))\n"
  2182. "set_pseudomethod(\"bytes.map\", func (xs, f): map(f, xs))\n"
  2183. "func filter(f, xs) {\n"
  2184. " if type(f) != \"function\"\n"
  2185. " throw \"expected first argument to be: function, but got: \" + type(f)\n"
  2186. " if type(xs) !in (\"list\", \"tuple\", \"string\", \"bytes\")\n"
  2187. " throw \"expected second argument to be: list, tuple, string or bytes, but got: \" + type(xs)\n"
  2188. " if len(xs) == 0\n"
  2189. " return xs\n"
  2190. " var r = []\n"
  2191. " for var x of xs\n"
  2192. " if f(x)\n"
  2193. " list_push(r, x)\n"
  2194. " if type(xs) == \"tuple\"\n"
  2195. " return tuple(r)\n"
  2196. " elif type(xs) == \"string\"\n"
  2197. " return list_join(r)\n"
  2198. " elif type(xs) == \"bytes\"\n"
  2199. " return bytes(r)\n"
  2200. " return r\n"
  2201. "}\n"
  2202. "set_pseudomethod(\"list.filter\", func (xs, f): filter(f, xs))\n"
  2203. "set_pseudomethod(\"tuple.filter\", func (xs, f): filter(f, xs))\n"
  2204. "set_pseudomethod(\"string.filter\", func (xs, f): filter(f, xs))\n"
  2205. "set_pseudomethod(\"bytes.filter\", func (xs, f): filter(f, xs))\n"
  2206. "func str_index(s, w) {\n"
  2207. " if s == \"\" || w == \"\"\n"
  2208. " return -1\n"
  2209. " if type(s) != \"string\"\n"
  2210. " throw \"expected first argument to be: string, but got: \" + type(s)\n"
  2211. " if type(w) != \"string\"\n"
  2212. " throw \"expected second argument to be: string, but got: \" + type(w)\n"
  2213. " for var i = 0; i < len(s); i++\n"
  2214. " if len(w) == 1 && s[i] == w\n"
  2215. " return i\n"
  2216. " elif slice(s, i, i+len(w)-1) == w\n"
  2217. " return i\n"
  2218. " return -1\n"
  2219. "}\n"
  2220. "set_pseudomethod(\"string.index\", str_index)\n"
  2221. "func str_lstrip(s, cs=\" \\t\\n\\r\\x0b\\x0c\") {\n"
  2222. " if type(s) != \"string\"\n"
  2223. " throw \"expected first argument to be: string, but got: \" + type(s)\n"
  2224. " if type(cs) != \"string\"\n"
  2225. " throw \"expected second argument to be: string, but got: \" + type(cs)\n"
  2226. " if s == \"\"\n"
  2227. " return s\n"
  2228. " for var i = 0; s[i] in cs && i < len(s); i++\n"
  2229. " pass\n"
  2230. " return slice(s, i)\n"
  2231. "}\n"
  2232. "set_pseudomethod(\"string.lstrip\", str_lstrip)\n"
  2233. "func str_rstrip(s, cs=\" \\t\\n\\r\\x0b\\x0c\") {\n"
  2234. " if type(s) != \"string\"\n"
  2235. " throw \"expected first argument to be: string, but got: \" + type(s)\n"
  2236. " if type(cs) != \"string\"\n"
  2237. " throw \"expected second argument to be: string, but got: \" + type(cs)\n"
  2238. " if s == \"\"\n"
  2239. " return s\n"
  2240. " for var k = 0, i = len(s)-1; s[i] in cs && i >= 0; k++\n"
  2241. " i--\n"
  2242. " return slice(s, 0, len(s)-k-1)\n"
  2243. "}\n"
  2244. "set_pseudomethod(\"string.rstrip\", str_rstrip)\n"
  2245. "func str_strip(s, cs=\" \\t\\n\\r\\x0b\\x0c\") {\n"
  2246. " if type(s) != \"string\"\n"
  2247. " throw \"expected first argument to be: string, but got: \" + type(s)\n"
  2248. " if type(cs) != \"string\"\n"
  2249. " throw \"expected second argument to be: string, but got: \" + type(cs)\n"
  2250. " return str_lstrip(str_rstrip(s, cs), cs)\n"
  2251. "}\n"
  2252. "set_pseudomethod(\"string.strip\", str_strip)\n"
  2253. "func table_get(t, k, d=nil) {\n"
  2254. " if type(t) != \"table\"\n"
  2255. " throw \"expected first argument to be: table, but got: \" + type(t)\n"
  2256. " if type(k) != \"string\"\n"
  2257. " throw \"expected second argument to be: string, but got: \" + type(k)\n"
  2258. " if k !in t\n"
  2259. " return d\n"
  2260. " return t[k]\n"
  2261. "}\n"
  2262. "set_pseudomethod(\"table.get\", table_get)\n"
  2263. "func zip() {\n"
  2264. " if !arguments\n"
  2265. " return []\n"
  2266. " var l = map(len, arguments)\n"
  2267. " l = reduce(min, l)\n"
  2268. " var r = []\n"
  2269. " for var i = 0; i < l; i++ {\n"
  2270. " var t = []\n"
  2271. " for var xs of arguments\n"
  2272. " list_push(t, xs[i])\n"
  2273. " list_push(r, t)\n"
  2274. " }\n"
  2275. " return r\n"
  2276. "}\n"
  2277. "func enumerate(l)\n"
  2278. " if type(l) == \"table\"\n"
  2279. " return zip(table_keys(l), table_values(l))\n"
  2280. " else\n"
  2281. " return zip(range(len(l)), l)\n"
  2282. "func str_toupper(s) {\n"
  2283. " if type(s) != \"string\"\n"
  2284. " throw \"expected first argument to be: string, but got: \" + type(c)\n"
  2285. " return map(func (c): c >= 'a' && c <= 'z'? chr(ord(c) - 32): c, s)\n"
  2286. "}\n"
  2287. "set_pseudomethod(\"string.toupper\", str_toupper)\n"
  2288. "func str_tolower(s) {\n"
  2289. " if type(s) != \"string\"\n"
  2290. " throw \"expected first argument to be: string, but got: \" + type(c)\n"
  2291. " return map(func (c): c >= 'A' && c <= 'Z'? chr(ord(c) + 32): c, s)\n"
  2292. "}\n"
  2293. "set_pseudomethod(\"string.tolower\", str_tolower)\n"
  2294. "func Object(t, p=nil): return p !is nil? set_meta_table(p, get_meta_table(p) + t): set_meta_table({}, t)\n"
  2295. "func is_object(o): return has_meta_table(o)\n"
  2296. "func __class_wrapper(n, p, t, mt): return Object({\n"
  2297. " t: t,\n"
  2298. " mt: mt,\n"
  2299. " super: [],\n"
  2300. " __type: func (this) use (n): return n,\n"
  2301. " __str: func (this) use (n): return \"<class \" + n + \">\",\n"
  2302. " __call: func (this, pargs) use (p) {\n"
  2303. " var t = {}\n"
  2304. " var mt = {}\n"
  2305. " for var other of p {\n"
  2306. " t += other.t\n"
  2307. " mt += other.mt\n"
  2308. " list_push(this.super, other)\n"
  2309. " }\n"
  2310. " if len(this.super) == 1\n"
  2311. " this.super = this.super[0]\n"
  2312. " t += this.t\n"
  2313. " mt += this.mt\n"
  2314. " t.super = this.super\n"
  2315. " obj = set_meta_table(t, mt)\n"
  2316. " if \"constructor\" in mt\n"
  2317. " func_call(mt.constructor, [obj] + pargs)\n"
  2318. " return obj\n"
  2319. " }\n"
  2320. "})\n"
  2321. "func format(s) {\n"
  2322. " if type(s) != \"string\"\n"
  2323. " throw \"expected first argument to be: string, but got: \" + type(s)\n"
  2324. " var r = \"\"\n"
  2325. " var n = 1\n"
  2326. " for var i = 0; i < len(s); i++\n"
  2327. " switch s[i] {\n"
  2328. " case '_'\n"
  2329. " if i+1 < len(s) && s[i+1] == '_' {\n"
  2330. " r += '_'\n"
  2331. " i++\n"
  2332. " continue\n"
  2333. " }\n"
  2334. " r += repr(arguments[n++])\n"
  2335. " break\n"
  2336. " default\n"
  2337. " r += s[i]\n"
  2338. " }\n"
  2339. " return r\n"
  2340. "}\n"
  2341. "set_pseudomethod(\"string.format\", format)\n"
  2342. "func formatl(s, l) {\n"
  2343. " if type(s) != \"string\"\n"
  2344. " throw \"expected first argument to be: string, but got: \" + type(s)\n"
  2345. " if type(l) != \"list\"\n"
  2346. " throw \"expected second argument to be: list, but got: \" + type(l)\n"
  2347. " return func_call(str_format, [s] + l)\n"
  2348. "}\n"
  2349. "set_pseudomethod(\"string.formatl\", formatl)\n"
  2350. "func formatd(s, t) {\n"
  2351. " if type(s) != \"string\"\n"
  2352. " throw \"expected first argument to be: string, but got: \" + type(s)\n"
  2353. " var r = \"\"\n"
  2354. " var n = 1\n"
  2355. " for var i = 0; i < len(s); i++\n"
  2356. " switch s[i] {\n"
  2357. " case '{'\n"
  2358. " if i+1 < len(s) && s[i+1] == '{' {\n"
  2359. " r += '{'\n"
  2360. " i++\n"
  2361. " continue\n"
  2362. " }\n"
  2363. " var k = ''\n"
  2364. " i++\n"
  2365. " for i < len(s) && s[i] != '}'\n"
  2366. " k += s[i++]\n"
  2367. " if i >= len(s) || s[i] != '}'\n"
  2368. " throw \"unmatched { in format specifier\"\n"
  2369. " if !k\n"
  2370. " throw \"empty format key\"\n"
  2371. " r += repr(t[k])\n"
  2372. " break\n"
  2373. " default\n"
  2374. " r += s[i]\n"
  2375. " }\n"
  2376. " return r\n"
  2377. "}\n"
  2378. "set_pseudomethod(\"string.formatd\", formatd)\n"
  2379. "func getch() return chr(fgetc(STDIN))\n"
  2380. "func putch(c) fputc(STDOUT, c)\n"
  2381. "func getline()\n"
  2382. " return fgets(STDIN, 256)\n"
  2383. "func input() {\n"
  2384. " if len(arguments) > 0\n"
  2385. " func_call(print, arguments)\n"
  2386. " return str_rstrip(getline(), \"\\n\\r\")\n"
  2387. "}\n"
  2388. "func open(path, mode=\"r\"): fopen(path, mode)\n"
  2389. "func assert(cond, msg=\"assertion failed\")\n"
  2390. " if !cond\n"
  2391. " throw msg\n"
  2392. },
  2393. {"utf8",
  2394. "func utf8_chrlen(s) {\n"
  2395. " s = bytes(s)\n"
  2396. " var z = len(s)\n"
  2397. " if z < 2\n"
  2398. " return z\n"
  2399. " var l = 1\n"
  2400. " for var i = 1; i < z && (s[i] & 0xc0) == 0x80; i++\n"
  2401. " l++\n"
  2402. " return l\n"
  2403. "}\n"
  2404. "func utf8_decode(s) {\n"
  2405. " s = bytes(s)\n"
  2406. " var l = utf8_chrlen(s)\n"
  2407. " if !l\n"
  2408. " throw \"malformed sequence\"\n"
  2409. " var c = (s[0] & ((1 << (8 - l)) - 1)) << (l - 1) * 6\n"
  2410. " for var i = 1; i < l; i++\n"
  2411. " c |= (s[i] & 0x3f) << (l - i - 1) * 6\n"
  2412. " return (c, l)\n"
  2413. "}\n"
  2414. "func utf8_encode(c) {\n"
  2415. " if c <= 0x7f\n"
  2416. " return bytes([c & 0xFF])\n"
  2417. " elif c >= 0x80 && c <= 0x7ff\n"
  2418. " return bytes([0xC0 | ((c >> 6) & 0x1f), 0x80 | (c & 0x3f)])\n"
  2419. " elif c >= 0x800 && c <= 0xfff\n"
  2420. " return bytes([0xe0 | ((c >> 12) & 0xf), 0x80 | ((c >> 6) & 0x3f), 0x80 | (c & 0x3f)])\n"
  2421. " elif c >= 0x10000 && c <= 0x10ffff\n"
  2422. " return bytes([0xf0 | ((c >> 18) & 0x7), 0x80 | ((c >> 12) & 0x3f), 0x80 | ((c >> 6) & 0x3f), 0x80 | (c & 0x3f)])\n"
  2423. " throw \"malformed codepoint\"\n"
  2424. "}\n"
  2425. },
  2426. {"thread",
  2427. "include `pthread.h`\n"
  2428. "func thread_create(fn, args=[]) {\n"
  2429. " if type(fn) != \"function\"\n"
  2430. " throw \"expected first argument to be: function, but got: \" + type(fn)\n"
  2431. " if type(args) != \"list\"\n"
  2432. " throw \"expected second argument to be: list, but got: \" + type(args)\n"
  2433. " inline `qi_value_t *args = qi_get(state, \"args\")`\n"
  2434. " inline `qi_list_t *list`\n"
  2435. " inline `LOCKED(args, {list = qi_list_copy(args->value.list);})`\n"
  2436. " inline `void *td = qi_thread_create(state, qi_get(state, \"fn\"), list)`\n"
  2437. " inline `qi_decl(state, \"td\", qi_make_data(state, 'T', td))`\n"
  2438. " return Object({\n"
  2439. " __str: func (this): \"<Thread>\",\n"
  2440. " _td: td,\n"
  2441. " joined: false,\n"
  2442. " join: func (this) {\n"
  2443. " if this.joined\n"
  2444. " return\n"
  2445. " var td = this._td\n"
  2446. " inline `qi_value_t *ret = qi_thread_join(state, qi_get_data(state, 'T', qi_get(state, \"td\")))`\n"
  2447. " this.joined = true\n"
  2448. " inline `return ret`\n"
  2449. " }\n"
  2450. " })\n"
  2451. "}\n"
  2452. "func Thread(fn, args=[]): Object({\n"
  2453. " __str: func (this) use (fn, args): format(\"<Thread _ _>\", fn, args),\n"
  2454. " _thread: nil,\n"
  2455. " start: func (this) use (fn, args) {\n"
  2456. " if this._thread !is nil\n"
  2457. " return\n"
  2458. " this._thread = thread_create(fn, args)\n"
  2459. " return this\n"
  2460. " },\n"
  2461. " join: func (this) {\n"
  2462. " if this._thread !is nil\n"
  2463. " return this._thread.join()\n"
  2464. " },\n"
  2465. " is_joined: func (this): this._thread.joined\n"
  2466. "})\n"
  2467. "func Mutex() {\n"
  2468. " inline `void *mutex = qi_mutex_create()`\n"
  2469. " inline `if (!mutex) qi_throw_format(state, \"mutex init failed\")`\n"
  2470. " inline `qi_decl(state, \"mutex\", qi_make_data(state, 'M', mutex))`\n"
  2471. " return Object({\n"
  2472. " __fin: func (this) {\n"
  2473. " mutex = this._mutex\n"
  2474. " this._mutex = nil\n"
  2475. " inline `qi_mutex_destroy(qi_get_data(state, 'M', qi_get(state, \"mutex\")))`\n"
  2476. " },\n"
  2477. " __str: func (this): \"<Mutex>\",\n"
  2478. " _mutex: mutex,\n"
  2479. " lock: func (this) {\n"
  2480. " var mutex = this._mutex\n"
  2481. " inline `qi_mutex_lock(qi_get_data(state, 'M', qi_get(state, \"mutex\")))`\n"
  2482. " },\n"
  2483. " trylock: func (this) {\n"
  2484. " var mutex = this._mutex\n"
  2485. " inline `return qi_make_boolean(state, qi_mutex_trylock(qi_get_data(state, 'M', qi_get(state, \"mutex\"))))`\n"
  2486. " },\n"
  2487. " unlock: func (this) {\n"
  2488. " var mutex = this._mutex\n"
  2489. " inline `qi_mutex_unlock(qi_get_data(state, 'M', qi_get(state, \"mutex\")))`\n"
  2490. " }\n"
  2491. " })\n"
  2492. "}\n"
  2493. "func Cond() {\n"
  2494. " inline `void *cond = qi_cond_create()`\n"
  2495. " inline `if (!cond) qi_throw_format(state, \"cond init failed\")`\n"
  2496. " inline `qi_decl(state, \"cond\", qi_make_data(state, 'C', cond))`\n"
  2497. " return Object({\n"
  2498. " __fin: func (this) {\n"
  2499. " cond = this._cond\n"
  2500. " this._cond = nil\n"
  2501. " inline `qi_cond_destroy(qi_get_data(state, 'C', qi_get(state, \"cond\")))`\n"
  2502. " },\n"
  2503. " __str: func (this): \"<Cond>\",\n"
  2504. " _cond: cond,\n"
  2505. " wait: func (this, mutex) {\n"
  2506. " var cond = this._cond\n"
  2507. " mutex = mutex._mutex\n"
  2508. " inline `qi_cond_wait(qi_get_data(state, 'C', qi_get(state, \"cond\")), qi_get_data(state, 'M', qi_get(state, \"mutex\")))`\n"
  2509. " },\n"
  2510. " signal: func (this) {\n"
  2511. " var cond = this._cond\n"
  2512. " inline `qi_cond_signal(qi_get_data(state, 'C', qi_get(state, \"cond\")))`\n"
  2513. " },\n"
  2514. " broadcast: func (this) {\n"
  2515. " var cond = this._cond\n"
  2516. " inline `qi_cond_broadcast(qi_get_data(state, 'C', qi_get(state, \"cond\")))`\n"
  2517. " }\n"
  2518. " })\n"
  2519. "}\n"
  2520. "func thread_exit(ret=nil)\n"
  2521. " inline `qi_thread_exit(state, qi_get(state, \"ret\"))`\n"
  2522. "func is_main_thread()\n"
  2523. " inline `return qi_make_boolean(state, qi_thread_main())`\n"
  2524. },
  2525. {"str",
  2526. "let STR_LETTERS = \"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ\"\n"
  2527. "let STR_ASCII_LC = \"abcdefghijklmnopqrstuvwxyz\"\n"
  2528. "let STR_ASCII_UC = \"ABCDEFGHIJKLMNOPQRSTUVWXYZ\"\n"
  2529. "let STR_DIGITS = \"0123456789\"\n"
  2530. "func is_char(c): return type(c) == \"string\" && len(c) == 1\n"
  2531. },
  2532. {"time",
  2533. "include `time.h`\n"
  2534. "include `errno.h`\n"
  2535. "header `#ifdef _WIN32`\n"
  2536. "include `Windows.h`\n"
  2537. "header `#endif`\n"
  2538. "func time() {\n"
  2539. " inline `unsigned long long ts = time(NULL)`\n"
  2540. " inline `return qi_make_number(state, ts)`\n"
  2541. "}\n"
  2542. "func strftime(f, t=time()) {\n"
  2543. " if type(f) != \"string\"\n"
  2544. " throw \"expected first argument to be: string, but got: \" + type(f)\n"
  2545. " if type(t) != \"number\"\n"
  2546. " throw \"expected second argument to be: number, but got: \" + type(t)\n"
  2547. " inline `time_t ts = qi_get(state, \"t\")->value.number`\n"
  2548. " inline `struct tm lt`\n"
  2549. " inline `lt = *localtime(&ts)`\n"
  2550. " inline `char buffer[512]`\n"
  2551. " inline `strftime(buffer, sizeof(buffer), qi_get(state, \"f\")->value.string, &lt)`\n"
  2552. " inline `return qi_make_string_copy(state, buffer)`\n"
  2553. "}\n"
  2554. "func usleep(t) {\n"
  2555. " if type(t) != \"number\"\n"
  2556. " throw \"expected first argument to be: number, but got: \" + type(t)\n"
  2557. " \n"
  2558. " inline `#ifdef _WIN32`\n"
  2559. " inline `Sleep((unsigned long)(qi_get(state, \"t\")->value.number))`\n"
  2560. " inline `#else`\n"
  2561. " inline `unsigned long ms = (unsigned long)(qi_get(state, \"t\")->value.number)`\n"
  2562. " inline `struct timespec ts`\n"
  2563. " inline `ts.tv_sec = ms / 1000`\n"
  2564. " inline `ts.tv_nsec = (ms % 1000) * 1000000`\n"
  2565. " inline `struct timespec r`\n"
  2566. " inline `while (nanosleep(&ts, &r) < 0) if (errno == EINTR) ts = r; else break`\n"
  2567. " inline `#endif`\n"
  2568. "}\n"
  2569. "func sleep(t)\n"
  2570. " usleep(t * 1000)\n"
  2571. },
  2572. {"random",
  2573. "func rand() {\n"
  2574. " inline `return qi_make_number(state, rand())`\n"
  2575. "}\n"
  2576. "func random_int(min, max): return rand() % (max + 1 - min) + min\n"
  2577. "func random_choice(l, k=1) {\n"
  2578. " l = list_copy(list(l))\n"
  2579. " var r = []\n"
  2580. " for _ of range(k)\n"
  2581. " list_push(r, list_pop_at(l, random_int(0, len(l)-1)))\n"
  2582. " return r\n"
  2583. "}\n"
  2584. "func random_pick(l, k=1) {\n"
  2585. " var r = []\n"
  2586. " for _ of range(k)\n"
  2587. " list_push(r, l[random_int(0, len(l)-1)])\n"
  2588. " return r\n"
  2589. "}\n"
  2590. "inline `srand(time(NULL))`\n"
  2591. },
  2592. {"math", NULL},
  2593. {NULL, NULL}
  2594. };
  2595. const struct {
  2596. const char *name;
  2597. const char *fname;
  2598. int arity;
  2599. } MATHFUNCS[] = {
  2600. { "ceil", NULL, 1 },
  2601. { "floor", NULL, 1 },
  2602. { "trunc", NULL, 1 },
  2603. { "round", NULL, 1 },
  2604. { "abs", "fabs", 1 },
  2605. { "exp", NULL, 1 },
  2606. { "sqrt", NULL, 1 },
  2607. { "sinh", NULL, 1 },
  2608. { "cosh", NULL, 1 },
  2609. { "tanh", NULL, 1 },
  2610. { "asinh", NULL, 1 },
  2611. { "acosh", NULL, 1 },
  2612. { "atanh", NULL, 1 },
  2613. { "sin", NULL, 1 },
  2614. { "cos", NULL, 1 },
  2615. { "tan", NULL, 1 },
  2616. { "asin", NULL, 1 },
  2617. { "acos", NULL, 1 },
  2618. { "atan", NULL, 1 },
  2619. { "atan2", NULL, 2 },
  2620. { "hypot", NULL, 2 },
  2621. { NULL, 0 }
  2622. };
  2623. void genmathlib(void) {
  2624. buffer_t *buffer = buffer_new();
  2625. buffer_appends(buffer, "let Math = {\"tau\": 6.283185307179586, \"pi\": 3.141592653589793, \"e\": 2.718281828459045, \"inf\": INFINITY, \"nan\": NAN, ");
  2626. for (size_t i = 0; MATHFUNCS[i].name; i++) {
  2627. if (MATHFUNCS[i].arity == 0)
  2628. buffer_fmt(buffer, "\"%s\": func () { inline `return qi_make_number(state, %s())` }", MATHFUNCS[i].name, MATHFUNCS[i].fname? MATHFUNCS[i].fname: MATHFUNCS[i].name);
  2629. else if (MATHFUNCS[i].arity == 1)
  2630. buffer_fmt(buffer, "\"%s\": func (x) { if type(x) != \"number\" { throw \"expected first argument to be: number, but got: \" + type(x) } inline `double n = %s(qi_get(state, \"x\")->value.number)`; inline `return qi_make_number(state, n)` }", MATHFUNCS[i].name, MATHFUNCS[i].fname? MATHFUNCS[i].fname: MATHFUNCS[i].name);
  2631. else
  2632. buffer_fmt(buffer, "\"%s\": func (x, y) { if type(x) != \"number\" { throw \"expected first argument to be: number, but got: \" + type(x) } if type(y) != \"number\" { throw \"expected second argument to be: number, but got: \" + type(y) } inline `double n = %s(qi_get(state, \"x\")->value.number, qi_get(state, \"y\")->value.number)`; inline `return qi_make_number(state, n)` }", MATHFUNCS[i].name, MATHFUNCS[i].fname? MATHFUNCS[i].fname: MATHFUNCS[i].name);
  2633. if (MATHFUNCS[i + 1].name)
  2634. buffer_append(buffer, ',');
  2635. }
  2636. buffer_append(buffer, '}');
  2637. size_t i;
  2638. for (i = 0; strcmp(STD[i][0], "math") != 0; i++) ;
  2639. STD[i][1] = buffer_read(buffer);
  2640. }
  2641. char *unescape(char *s) {
  2642. buffer_t *buf = buffer_new();
  2643. for (size_t i = 0; i < strlen(s); i++) {
  2644. char c = s[i];
  2645. if (c == '\\') {
  2646. char nc = s[i+1];
  2647. if (!nc)
  2648. continue;
  2649. switch (nc) {
  2650. case 'n':
  2651. buffer_append(buf, '\n');
  2652. break;
  2653. default:
  2654. buffer_append(buf, nc);
  2655. break;
  2656. }
  2657. i++;
  2658. } else buffer_append(buf, c);
  2659. }
  2660. return buffer_read(buf);
  2661. }
  2662. void compile_into(char *source, buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab, stack_t *lstk, stack_t *sstk, list_t *lbl);
  2663. int require_once(buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab, stack_t *lstk, stack_t *sstk, list_t *lbl, char *path) {
  2664. char *source = NULL;
  2665. for (size_t i = 0; STD[i][0]; i++) {
  2666. if (strcmp(path, STD[i][0]) == 0) {
  2667. source = (char *)STD[i][1];
  2668. break;
  2669. }
  2670. }
  2671. if (is_required(path))
  2672. return 1;
  2673. if (!source) {
  2674. FILE *fd = fopen(path, "rb");
  2675. if (!fd)
  2676. return -1;
  2677. buffer_t *fbuf = buffer_new();
  2678. for (;;) {
  2679. char line[512];
  2680. if (!fgets(line, sizeof(line), fd))
  2681. break;
  2682. buffer_appends(fbuf, line);
  2683. }
  2684. source = buffer_read(fbuf);
  2685. path = realpath(path, NULL);
  2686. }
  2687. list_t *pair = list_new();
  2688. list_push(pair, path);
  2689. list_push(pair, source);
  2690. list_push(FILES, pair);
  2691. compile_into(source, gbuf, buf, ctx, ltab, lstk, sstk, lbl);
  2692. list_pop(FILES);
  2693. list_push(REQUIRED, path);
  2694. return 0;
  2695. }
  2696. buffer_t *HBUF;
  2697. void compile_node(buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab, stack_t *lstk, stack_t *sstk, list_t *lbl, node_t *node) {
  2698. switch (node->tag) {
  2699. case N_TOPLEVEL: case N_PROGRAM:
  2700. compile_block(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->l, node->tag == N_TOPLEVEL);
  2701. break;
  2702. case N_EXPRSTMT:
  2703. EMIT("(void)(");
  2704. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  2705. EMIT(");");
  2706. break;
  2707. case N_BLOCK:
  2708. LBPUSH();
  2709. CTXPUSH("scope");
  2710. EMIT("qi_new_scope(state);\n");
  2711. compile_block(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->l, 0);
  2712. EMIT("qi_old_scope(state);");
  2713. CTXPOP();
  2714. LBPOP();
  2715. break;
  2716. case N_LITERAL:
  2717. switch (node->t->tag) {
  2718. case T_NUMBER: {
  2719. char *number = node->t->text;
  2720. if (strncmp(number, "0o", 2) == 0 || strncmp(number, "0b", 2) == 0) {
  2721. buffer_t *buf = buffer_new();
  2722. if (number[1] == 'o')
  2723. buffer_fmt(buf, "0%s", number + 2);
  2724. else
  2725. buffer_fmt(buf, "%d", strtol(number + 2, NULL, 2));
  2726. number = buffer_read(buf);
  2727. } else if (number[0] == '0' && number[1] && isdigit(number[1])) {
  2728. size_t i;
  2729. for (i = 0; i < strlen(number); i++)
  2730. if (number[i] != '0' || number[i+1] == '.')
  2731. break;
  2732. number += i;
  2733. }
  2734. EMIT("qi_make_number(state, %s)", number);
  2735. } break;
  2736. case T_STRING:
  2737. if (!*(node->t->text)) {
  2738. EMIT("state->empty_string");
  2739. } else {
  2740. EMIT("qi_make_string(state, \"%s\")", node->t->text);
  2741. }
  2742. break;
  2743. case T_FSTRING: {
  2744. char *text = node->t->text;
  2745. if (!*text) {
  2746. EMIT("state->empty_string");
  2747. break;
  2748. }
  2749. list_t *parts = list_new();
  2750. buffer_t *tbuf = buffer_new();
  2751. for (size_t i = 0; i < strlen(text); i++) {
  2752. char c = text[i];
  2753. if (c == '$' && text[i+1] == '$') {
  2754. buffer_append(tbuf, '$');
  2755. i++;
  2756. continue;
  2757. } else if (c == '$' && text[i+1] == '{') {
  2758. i += 2;
  2759. buffer_t *tbuf2 = buffer_new();
  2760. while (text[i] && text[i] != '}')
  2761. buffer_append(tbuf2, text[i++]);
  2762. if (text[i] != '}') {
  2763. i--;
  2764. buffer_appends(tbuf, "${");
  2765. buffer_appendb(tbuf, tbuf2);
  2766. continue;
  2767. }
  2768. if (tbuf->size > 0)
  2769. list_push(parts, nodeb(tbuf));
  2770. tbuf = buffer_new();
  2771. char *source = buffer_read(tbuf2);
  2772. list_t *pair = list_new();
  2773. list_push(pair, "<fstring>");
  2774. list_push(pair, source);
  2775. list_push(FILES, pair);
  2776. size_t pos = 0;
  2777. node_t *n = parse_expr(tokenize(source), &pos);
  2778. list_push(parts, n);
  2779. } else buffer_append(tbuf, c);
  2780. }
  2781. if (tbuf->size > 0)
  2782. list_push(parts, nodeb(tbuf));
  2783. tbuf = buffer_new();
  2784. NEWGID();
  2785. buffer_fmt(tbuf, "inline static qi_value_t *__fstring%d(qi_state_t *state) {\n", gid);
  2786. buffer_fmt(tbuf, "qi_value_t *str = state->empty_string;\n");
  2787. for (size_t i = 0; i < parts->length; i++) {
  2788. node_t *part = parts->data[i];
  2789. buffer_fmt(tbuf, "str = qi_add(state, str, ");
  2790. if (part->tag == N_BUFFER)
  2791. buffer_fmt(tbuf, "qi_make_string(state, \"%s\")", buffer_read(part->buf));
  2792. else {
  2793. buffer_fmt(tbuf, "qi_to_string(state, ");
  2794. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, part);
  2795. buffer_fmt(tbuf, ")");
  2796. }
  2797. buffer_fmt(tbuf, ");\n");
  2798. }
  2799. buffer_fmt(tbuf, "return str;\n}\n");
  2800. buffer_appendb(gbuf, tbuf);
  2801. EMIT("__fstring%d(state)", gid);
  2802. } break;
  2803. case T_NAME: {
  2804. char *name = node->t->text;
  2805. node_t *n = table_get(CONSTANTS, name);
  2806. if (n)
  2807. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, n);
  2808. else
  2809. EMIT("qi_get(state, \"%s\")", name);
  2810. } break;
  2811. default:
  2812. COMPILE_ERROR("not yet implemented");
  2813. }
  2814. break;
  2815. case N_LIST:
  2816. EMIT("qi_make_list(state, ");
  2817. compile_list(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->l);
  2818. EMIT(")");
  2819. break;
  2820. case N_LISTGEN: {
  2821. NEWGID();
  2822. buffer_t *tbuf = buffer_new();
  2823. buffer_fmt(tbuf, "inline static qi_value_t *__listgen%d(qi_state_t *state) {\n", gid);
  2824. buffer_fmt(tbuf, "qi_list_t *list = qi_list_make();\n");
  2825. buffer_t *bbuf = buffer_new();
  2826. for (size_t i = 0; i < node->a->b->l->length; i++) {
  2827. buffer_fmt(bbuf, "qi_list_push(list, ");
  2828. compile_node(gbuf, bbuf, ctx, ltab, lstk, sstk, lbl, node->a->b->l->data[i]);
  2829. buffer_fmt(bbuf, ");\n");
  2830. }
  2831. node->a->b = nodeb(bbuf);
  2832. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->a);
  2833. buffer_fmt(tbuf, "return qi_make_list(state, list);\n}\n");
  2834. buffer_appendb(gbuf, tbuf);
  2835. EMIT("__listgen%d(state)", gid);
  2836. } break;
  2837. case N_TUPLE:
  2838. EMIT("qi_make_tuple(state, ");
  2839. compile_list(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->l);
  2840. EMIT(")");
  2841. break;
  2842. case N_NILTUPLE: EMIT("state->empty_tuple"); break;
  2843. case N_TABLE:
  2844. EMIT("qi_make_table(state, ");
  2845. compile_table(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->h);
  2846. EMIT(")");
  2847. break;
  2848. case N_CALL:
  2849. EMIT("qi_call(state, ");
  2850. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  2851. EMIT(", ");
  2852. compile_list(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->l);
  2853. EMIT(")");
  2854. break;
  2855. case N_MEMBER:
  2856. EMIT("qi_index(state, ");
  2857. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  2858. EMIT(", qi_make_string(state, \"%s\"))", node->t->text);
  2859. break;
  2860. case N_INDEX:
  2861. EMIT("qi_index(state, ");
  2862. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  2863. EMIT(", ");
  2864. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b);
  2865. EMIT(")");
  2866. break;
  2867. case N_SLICE: {
  2868. NEWGID();
  2869. buffer_t *tbuf = buffer_new();
  2870. buffer_fmt(tbuf, "inline static qi_value_t *__slice%d(qi_state_t *state) {\n", gid);
  2871. if (node->b && node->c) {
  2872. buffer_fmt(tbuf, "qi_list_t *pargs = qi_list_make_n(3);\n");
  2873. buffer_fmt(tbuf, "qi_list_data(pargs, 0) = ");
  2874. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->a);
  2875. buffer_fmt(tbuf, ";\n");
  2876. buffer_fmt(tbuf, "qi_list_data(pargs, 1) = ");
  2877. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->b);
  2878. buffer_fmt(tbuf, ";\n");
  2879. buffer_fmt(tbuf, "qi_list_data(pargs, 2) = ");
  2880. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->c);
  2881. buffer_fmt(tbuf, ";\n");
  2882. } else if (node->b) {
  2883. buffer_fmt(tbuf, "qi_list_t *pargs = qi_list_make_n(2);\n");
  2884. buffer_fmt(tbuf, "qi_list_data(pargs, 0) = ");
  2885. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->a);
  2886. buffer_fmt(tbuf, ";\n");
  2887. buffer_fmt(tbuf, "qi_list_data(pargs, 1) = ");
  2888. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->b);
  2889. buffer_fmt(tbuf, ";\n");
  2890. } else {
  2891. buffer_fmt(tbuf, "qi_list_t *pargs = qi_list_make_n(3);\n");
  2892. buffer_fmt(tbuf, "qi_list_data(pargs, 0) = ");
  2893. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->a);
  2894. buffer_fmt(tbuf, ";\n");
  2895. buffer_fmt(tbuf, "qi_list_data(pargs, 1) = state->zero;\n");
  2896. buffer_fmt(tbuf, "qi_list_data(pargs, 2) = ");
  2897. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->c);
  2898. buffer_fmt(tbuf, ";\n");
  2899. }
  2900. buffer_fmt(tbuf, "return qi_call(state, qi_get(state, \"__slice\"), pargs);\n");
  2901. buffer_fmt(tbuf, "}\n");
  2902. buffer_appendb(gbuf, tbuf);
  2903. EMIT("__slice%d(state)", gid);
  2904. } break;
  2905. case N_ASSIGN:
  2906. if (node->a->tag == N_LIST) {
  2907. if (node->a->l->length < 2)
  2908. COMPILE_ERROR("illegal unpack assignment left-hand side");
  2909. NEWGID();
  2910. buffer_t *tbuf = buffer_new();
  2911. buffer_fmt(tbuf, "inline static qi_value_t *__assign%d(qi_state_t *state) {\n", gid);
  2912. char *varname = tempvar();
  2913. buffer_fmt(tbuf, "qi_value_t *%s = ", varname);
  2914. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->b);
  2915. buffer_fmt(tbuf, ";\n");
  2916. for (size_t i = 0; i < node->a->l->length; i++) {
  2917. ASSIGNIN(tbuf, (node_t *)node->a->l->data[i], buffer_fmt(tbuf, "qi_index(state, %s, qi_make_number(state, %d))", varname, i));
  2918. buffer_fmt(tbuf, ";\n");
  2919. }
  2920. buffer_fmt(tbuf, "return %s;\n}\n", varname);
  2921. buffer_appendb(gbuf, tbuf);
  2922. EMIT("__assign%d(state)", gid);
  2923. break;
  2924. } else if (node->a->tag == N_TUPLE) {
  2925. if (node->a->l->length < 2)
  2926. COMPILE_ERROR("illegal multiple assignment left-hand side");
  2927. if (node->b->tag != N_TUPLE || node->b->l->length < 2 || node->a->l->length != node->b->l->length)
  2928. COMPILE_ERROR("illegal multiple assignment right-hand side");
  2929. NEWGID();
  2930. buffer_t *tbuf = buffer_new();
  2931. buffer_fmt(tbuf, "qi_value_t *__assign%d(qi_state_t *state) {\n", gid);
  2932. list_t *vals = list_new();
  2933. for (size_t i = 0; i < node->b->l->length; i++) {
  2934. char *varname = tempvar();
  2935. buffer_fmt(tbuf, "qi_value_t *%s = ", varname);
  2936. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->b->l->data[i]);
  2937. buffer_fmt(tbuf, ";\n");
  2938. list_push(vals, varname);
  2939. }
  2940. for (size_t i = 0; i < node->a->l->length; i++) {
  2941. char *varname = vals->data[i];
  2942. ASSIGNIN(tbuf, (node_t *)node->a->l->data[i], buffer_fmt(tbuf, "%s", varname));
  2943. buffer_fmt(tbuf, ";\n");
  2944. }
  2945. buffer_fmt(tbuf, "return %s;\n}\n", vals->data[vals->length-1]);
  2946. buffer_appendb(gbuf, tbuf);
  2947. EMIT("__assign%d(state)", gid);
  2948. break;
  2949. }
  2950. ASSIGN(node->a, compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b));
  2951. break;
  2952. case N_ASSIGN_ADD: COMPASSIGN(node->a, "add", compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b)); break;
  2953. case N_ASSIGN_SUB: COMPASSIGN(node->a, "sub", compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b)); break;
  2954. case N_ASSIGN_MUL: COMPASSIGN(node->a, "mul", compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b)); break;
  2955. case N_ASSIGN_DIV: COMPASSIGN(node->a, "div", compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b)); break;
  2956. case N_ASSIGN_IDIV: COMPASSIGN(node->a, "idiv", compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b)); break;
  2957. case N_ASSIGN_MOD: COMPASSIGN(node->a, "mod", compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b)); break;
  2958. case N_ASSIGN_POW: COMPASSIGN(node->a, "pow", compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b)); break;
  2959. case N_ASSIGN_BOR: COMPASSIGN(node->a, "bor", compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b)); break;
  2960. case N_ASSIGN_BAND: COMPASSIGN(node->a, "band", compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b)); break;
  2961. case N_INC:
  2962. COMPASSIGN(node->a, "add", EMIT("state->one"));
  2963. break;
  2964. case N_DEC:
  2965. COMPASSIGN(node->a, "sub", EMIT("state->one"));
  2966. break;
  2967. case N_VAR: case N_LET:
  2968. table_iterate(node->h, {
  2969. EMIT("qi_%s(state, \"%s\", ", node->tag == N_LET? "decl_const": "decl", entry.key);
  2970. if (entry.value)
  2971. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, entry.value);
  2972. else EMIT("state->nil");
  2973. EMIT(");\n");
  2974. });
  2975. break;
  2976. case N_VARUNPACK: case N_LETUNPACK: {
  2977. char *varname = tempvar();
  2978. EMIT("qi_value_t *%s = ", varname);
  2979. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  2980. EMIT(";\n");
  2981. for (size_t i = 0; i < node->l->length; i++)
  2982. EMIT("%s(state, \"%s\", qi_index(state, %s, qi_make_number(state, %d)));\n", node->tag == N_VARUNPACK? "qi_decl": "qi_decl_const", node->l->data[i], varname, i);
  2983. } break;
  2984. case N_CONST:break;
  2985. case N_IF:
  2986. EMIT("if (_qi_truthy(state, ");
  2987. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  2988. EMIT(")) {\n");
  2989. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b);
  2990. if (node->c) {
  2991. EMIT("} else {\n");
  2992. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->c);
  2993. }
  2994. EMIT("}");
  2995. break;
  2996. case N_SWITCH: {
  2997. NEWGID();
  2998. if (node->t2) {
  2999. if (table_get(ltab, node->t2->text))
  3000. COMPILE_ERROR("redeclaration of loop label: '%s'", node->t2->text);
  3001. stack_t *pair = stack_new();
  3002. stack_push(pair, 1);
  3003. stack_push(pair, gid);
  3004. table_set(ltab, node->t2->text, pair);
  3005. }
  3006. char *varname = tempvar();
  3007. EMIT("qi_value_t *%s = ", varname);
  3008. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  3009. EMIT(";\n");
  3010. for (size_t i = 0; i < node->l->length; i++) {
  3011. list_t *pair = node->l->data[i];
  3012. char *label = tempvar();
  3013. EMIT("if (_qi_equals(state, %s, ", varname);
  3014. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, pair->data[0]);
  3015. EMIT(")) goto %s;\n", label);
  3016. pair->data[0] = label;
  3017. }
  3018. EMIT("goto __default%d;\n", gid);
  3019. SPUSH(gid);
  3020. CTXPUSH("switch");
  3021. for (size_t i = 0; i < node->l->length; i++) {
  3022. list_t *pair = node->l->data[i];
  3023. char *label = pair->data[0];
  3024. node_t *block = pair->data[1];
  3025. EMIT("%s:;\n", label);
  3026. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, block);
  3027. }
  3028. EMIT("__default%d:;\n", gid);
  3029. if (node->b)
  3030. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b);
  3031. CTXPOP();
  3032. SPOP();
  3033. EMIT("__break%d:;\n", gid);
  3034. } break;
  3035. case N_FOR: {
  3036. NEWGID();
  3037. if (node->t2) {
  3038. if (table_get(ltab, node->t2->text))
  3039. COMPILE_ERROR("redeclaration of loop label: '%s'", node->t2->text);
  3040. stack_t *pair = stack_new();
  3041. stack_push(pair, 0);
  3042. stack_push(pair, gid);
  3043. table_set(ltab, node->t2->text, pair);
  3044. }
  3045. if (!node->a) {
  3046. EMIT("for (;;) {\n");
  3047. } else if (node->a && !node->b) {
  3048. EMIT("while (_qi_truthy(state, ");
  3049. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  3050. EMIT(")) {\n");
  3051. } else {
  3052. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  3053. EMIT("while (_qi_truthy(state, ");
  3054. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b);
  3055. EMIT(")) {\n");
  3056. }
  3057. LPUSH(gid);
  3058. CTXPUSH("for");
  3059. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->d);
  3060. EMIT("__continue%d:;\n", gid);
  3061. if (node->c) {
  3062. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->c);
  3063. EMIT(";\n");
  3064. }
  3065. CTXPOP();
  3066. LPOP();
  3067. EMIT("}\n");
  3068. EMIT("__break%d:;\n", gid);
  3069. } break;
  3070. case N_FOROF: case N_FOROFVAR: case N_FOROFUNPACK: case N_FOROFVARUNPACK: {
  3071. NEWGID();
  3072. if (node->t2) {
  3073. if (table_get(ltab, node->t2->text))
  3074. COMPILE_ERROR("redeclaration of loop label: '%s'", node->t2->text);
  3075. stack_t *pair = stack_new();
  3076. stack_push(pair, 0);
  3077. stack_push(pair, gid);
  3078. table_set(ltab, node->t2->text, pair);
  3079. }
  3080. char *varname = tempvar();
  3081. EMIT("qi_value_t *%s = qi_iter(state, ", varname);
  3082. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  3083. EMIT(");\n");
  3084. if (node->tag == N_FOROFVAR) {
  3085. EMIT("qi_decl(state, \"%s\", state->nil);\n", node->t->text);
  3086. } else if (node->tag == N_FOROFVARUNPACK) {
  3087. for (size_t i = 0; i < node->l->length; i++)
  3088. EMIT("qi_decl(state, \"%s\", state->nil);\n", node->l->data[i]);
  3089. }
  3090. EMIT("for (qi_size_t length = _qi_length(state, %s), i = 0; i < length; i++) {\n", varname);
  3091. if (node->tag == N_FOROFUNPACK || node->tag == N_FOROFVARUNPACK) {
  3092. for (size_t i = 0; i < node->l->length; i++)
  3093. EMIT("qi_set(state, false, \"%s\", qi_index(state, qi_index(state, %s, qi_make_number(state, i)), qi_make_number(state, %d)));\n", node->l->data[i], varname, i);
  3094. } else
  3095. EMIT("qi_set(state, false, \"%s\", qi_index(state, %s, qi_make_number(state, i)));\n", node->t->text, varname);
  3096. LPUSH(gid);
  3097. CTXPUSH("for");
  3098. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b);
  3099. CTXPOP();
  3100. LPOP();
  3101. EMIT("__continue%d:;\n", gid);
  3102. EMIT("}\n");
  3103. EMIT("__break%d:;\n", gid);
  3104. } break;
  3105. case N_BREAK:
  3106. if (!INCTX("for") && !INCTX("switch"))
  3107. COMPILE_ERROR("break outside of a loop or a switch");
  3108. if (node->t) {
  3109. if (node->t->tag == T_NUMBER) {
  3110. unsigned int offset = abs(atoi(node->t->text)) + 1;
  3111. if (offset < 2 || offset > lstk->length)
  3112. COMPILE_ERROR("%d is not a valid break loop offset", offset-1);
  3113. EMIT("goto __break%d;", lstk->data[lstk->length-offset]);
  3114. } else {
  3115. char *label = node->t->text;
  3116. stack_t *pair = table_get(ltab, label);
  3117. if (!pair)
  3118. COMPILE_ERROR("undefined loop label: '%s'", label);
  3119. EMIT("goto __break%d;", pair->data[1]);
  3120. }
  3121. break;
  3122. }
  3123. EMIT("goto __break%d;", in_switch(ctx)? SID: LID);
  3124. break;
  3125. case N_CONTINUE:
  3126. if (!INCTX("for"))
  3127. COMPILE_ERROR("continue outside of a loop");
  3128. if (node->t) {
  3129. if (node->t->tag == T_NUMBER) {
  3130. unsigned int offset = abs(atoi(node->t->text)) + 1;
  3131. if (offset < 2 || offset > lstk->length)
  3132. COMPILE_ERROR("%d is not a valid break loop offset", offset-1);
  3133. EMIT("goto __continue%d;", lstk->data[lstk->length-offset]);
  3134. } else {
  3135. char *label = node->t->text;
  3136. stack_t *pair = table_get(ltab, label);
  3137. if (pair->data[1])
  3138. COMPILE_ERROR("continue on a switch loop label: '%s'", label);
  3139. if (!pair)
  3140. COMPILE_ERROR("undefined loop label: '%s'", label);
  3141. EMIT("goto __continue%d;", pair->data[1]);
  3142. }
  3143. break;
  3144. }
  3145. EMIT("goto __continue%d;", LID);
  3146. break;
  3147. case N_DEFER: {
  3148. NEWGID();
  3149. buffer_t *tbuf = buffer_new();
  3150. buffer_fmt(tbuf, "void __defer%d(qi_state_t *state) {\n", gid);
  3151. LBPUSH();
  3152. CTXPUSH("gap");
  3153. compile_node(gbuf, tbuf, ctx, table_new(), stack_new(), stack_new(), lbl, node->a);
  3154. CTXPOP();
  3155. LBPOP();
  3156. buffer_fmt(tbuf, "\n}\n");
  3157. buffer_appendb(gbuf, tbuf);
  3158. EMIT("qi_add_defer(state, -1, __defer%d);", gid);
  3159. } break;
  3160. case N_RETURN:
  3161. if (!INCTX("func"))
  3162. COMPILE_ERROR("return outside of a function");
  3163. for (size_t i = 0; i < SCOPESK; i++)
  3164. EMIT("qi_old_scope(state);\n");
  3165. for (size_t i = 0; i < TRAPSK; i++)
  3166. EMIT("qi_unset_trap(state, trap);\n");
  3167. EMIT("return ");
  3168. if (node->a)
  3169. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  3170. else EMIT("state->nil");
  3171. EMIT(";");
  3172. break;
  3173. case N_FUNCDEF: break;
  3174. case N_CLASS: break;
  3175. case N_PASS: break;
  3176. case N_TRY:
  3177. EMIT("qi_try(state, {\n");
  3178. LBPUSH();
  3179. CTXPUSH("gap");
  3180. CTXPUSH("trap");
  3181. compile_node(gbuf, buf, ctx, table_new(), stack_new(), stack_new(), lbl, node->a);
  3182. CTXPOP();
  3183. CTXPOP();
  3184. LBPOP();
  3185. EMIT("}, {\n");
  3186. if (node->t)
  3187. EMIT("qi_decl(state, \"%s\", trap->value);\n", node->t->text);
  3188. LBPUSH();
  3189. CTXPUSH("gap");
  3190. compile_node(gbuf, buf, ctx, table_new(), stack_new(), stack_new(), lbl, node->b);
  3191. CTXPOP();
  3192. LBPOP();
  3193. if (node->c) {
  3194. NEWGID();
  3195. buffer_t *tbuf = buffer_new();
  3196. buffer_fmt(tbuf, "void __finally%d(qi_state_t *state) {\n", gid);
  3197. LBPUSH();
  3198. CTXPUSH("gap");
  3199. compile_node(gbuf, tbuf, ctx, table_new(), stack_new(), stack_new(), lbl, node->c);
  3200. CTXPOP();
  3201. LBPOP();
  3202. buffer_fmt(tbuf, "\n}\n");
  3203. buffer_appendb(gbuf, tbuf);
  3204. EMIT("}, __finally%d);\n", gid);
  3205. } else {
  3206. EMIT("}, NULL);\n");
  3207. }
  3208. break;
  3209. case N_THROW:
  3210. EMIT("qi_throw(state, ");
  3211. if (node->a)
  3212. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  3213. else {
  3214. EMIT("state->nil");
  3215. }
  3216. EMIT(");");
  3217. break;
  3218. case N_LABEL: {
  3219. size_t *gid = table_get(list_index(lbl, -1), node->t->text);
  3220. EMIT("__label%d:;", *gid);
  3221. } break;
  3222. case N_GOTO: {
  3223. char *label = node->t->text;
  3224. size_t *gid = table_get(list_index(lbl, -1), label);
  3225. if (!gid)
  3226. COMPILE_ERROR("undefined label: '%s'", label);
  3227. EMIT("goto __label%d;", *gid);
  3228. } break;
  3229. case N_REQUIRE: {
  3230. char *path = unescape(node->t->text);
  3231. if (require_once(gbuf, buf, ctx, ltab, lstk, sstk, lbl, path) < 0)
  3232. COMPILE_ERROR("'%s' is not a valid file path or a builtin library name", path);
  3233. } break;
  3234. case N_IFEXPR:
  3235. EMIT("(_qi_truthy(state, ");
  3236. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  3237. EMIT(")? ");
  3238. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b);
  3239. EMIT(": ");
  3240. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->c);
  3241. EMIT(")");
  3242. break;
  3243. case N_FUNCEXPR:
  3244. compile_func(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node, NULL);
  3245. break;
  3246. case N_EQUALS:
  3247. BINOP("equals");
  3248. break;
  3249. case N_NOTEQUALS:
  3250. BINOP("not_equals");
  3251. break;
  3252. case N_IS:
  3253. BINOP("is");
  3254. break;
  3255. case N_NOTIS:
  3256. BINOP("not_is");
  3257. break;
  3258. case N_IN:
  3259. BINOP("in");
  3260. break;
  3261. case N_NOTIN:
  3262. BINOP("not_in");
  3263. break;
  3264. case N_LT:
  3265. BINOP("lt");
  3266. break;
  3267. case N_GT:
  3268. BINOP("gt");
  3269. break;
  3270. case N_LE:
  3271. BINOP("le");
  3272. break;
  3273. case N_GE:
  3274. BINOP("ge");
  3275. break;
  3276. case N_ADD:
  3277. BINOP("add");
  3278. break;
  3279. case N_SUB:
  3280. BINOP("sub");
  3281. break;
  3282. case N_MUL:
  3283. BINOP("mul");
  3284. break;
  3285. case N_DIV:
  3286. BINOP("div");
  3287. break;
  3288. case N_IDIV:
  3289. BINOP("idiv");
  3290. break;
  3291. case N_MOD:
  3292. BINOP("mod");
  3293. break;
  3294. case N_POW:
  3295. BINOP("pow");
  3296. break;
  3297. case N_SHL:
  3298. BINOP("shl");
  3299. break;
  3300. case N_SHR:
  3301. BINOP("shr");
  3302. break;
  3303. case N_XOR:
  3304. BINOP("xor");
  3305. break;
  3306. case N_BOR:
  3307. BINOP("bor");
  3308. break;
  3309. case N_BAND:
  3310. BINOP("band");
  3311. break;
  3312. case N_LOGOR:
  3313. BINOP("or");
  3314. break;
  3315. case N_LOGAND:
  3316. BINOP("and");
  3317. break;
  3318. case N_NEGATE:
  3319. UNOP("negate");
  3320. break;
  3321. case N_NOT:
  3322. UNOP("not");
  3323. break;
  3324. case N_BNOT:
  3325. UNOP("bnot");
  3326. break;
  3327. case N_INLINE: {
  3328. char *text = unescape(node->t->text);
  3329. if (text[0] == '#') {
  3330. EMIT("%s", text);
  3331. } else {
  3332. EMIT("%s;", text);
  3333. }
  3334. } break;
  3335. case N_HEADER: buffer_fmt(HBUF, "%s\n", unescape(node->t->text)); break;
  3336. case N_INCLUDE: buffer_fmt(HBUF, "#include <%s>\n", unescape(node->t->text)); break;
  3337. case N_BUFFER: buffer_appendb(buf, node->buf); break;
  3338. default:
  3339. COMPILE_ERROR("not yet implemented");
  3340. }
  3341. }
  3342. void compile_into(char *source, buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab, stack_t *lstk, stack_t *sstk, list_t *lbl) {
  3343. node_t *n = parse(source);
  3344. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, n);
  3345. }
  3346. char *compile(char *source) {
  3347. list_t *ctx = list_new();
  3348. table_t *ltab = table_new();
  3349. stack_t *lstk = stack_new();
  3350. stack_t *sstk = stack_new();
  3351. list_t *lbl = list_new();
  3352. LBPUSH();
  3353. buffer_t *gbuf = buffer_new();
  3354. buffer_t *buf = buffer_new();
  3355. require_once(gbuf, buf, ctx, ltab, lstk, sstk, lbl, "std");
  3356. compile_into(source, gbuf, buf, ctx, ltab, lstk, sstk, lbl);
  3357. buffer_t *rbuf = buffer_new();
  3358. buffer_appends(rbuf, "#include <qirt.h>\n");
  3359. buffer_appendb(rbuf, HBUF);
  3360. buffer_appendb(rbuf, gbuf);
  3361. buffer_appends(rbuf, "int main(int argc, char **argv) {\n");
  3362. buffer_appends(rbuf, "qi_state_t *state;\n");
  3363. buffer_appends(rbuf, "qi_state_init(&state);\n");
  3364. buffer_appendb(rbuf, buf);
  3365. buffer_appends(rbuf, "qi_old_scope(state);\n");
  3366. buffer_appends(rbuf, "qi_finalize();\n");
  3367. buffer_appends(rbuf, "return 0;\n");
  3368. buffer_appends(rbuf, "}\n");
  3369. return buffer_read(rbuf);
  3370. }
  3371. char *compile_file(char *filename, FILE *fd) {
  3372. buffer_t *buf = buffer_new();
  3373. for (;;) {
  3374. char line[512];
  3375. if (!fgets(line, sizeof(line), fd))
  3376. break;
  3377. buffer_appends(buf, line);
  3378. }
  3379. char *source = buffer_read(buf);
  3380. list_t *pair = list_new();
  3381. list_push(pair, filename);
  3382. list_push(pair, source);
  3383. list_push(FILES, pair);
  3384. char *out = compile(source);
  3385. list_pop(FILES);
  3386. return out;
  3387. }
  3388. int main(int argc, char **argv) {
  3389. FILES = list_new();
  3390. REQUIRED = list_new();
  3391. CONSTANTS = table_new();
  3392. HBUF = buffer_new();
  3393. genmathlib();
  3394. char *out = compile_file("<stdin>", stdin);
  3395. fwrite(out, sizeof(char), strlen(out), stdout);
  3396. return 0;
  3397. }