qic.c 118 KB

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