qic.c 96 KB

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