Fork of daniellemaywood.uk/gleam — Wasm codegen work
Something went wrong. Try again.
37 kB · 2849 lines
Rust
at wasm
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844284528462847284828492850// SPDX-License-Identifier: Apache-2.0// SPDX-FileCopyrightText: 2021 The Gleam contributors
use hexpm::version::Version;use pubgrub::Range;
use crate::{ assert_js, assert_js_no_warnings_with_gleam_version, assert_js_warnings_with_gleam_version, assert_ts_def,};
#[test]fn empty() { assert_js!( r#"pub fn go() { <<>>}"#, );}
#[test]fn one() { assert_js!( r#"pub fn go() { <<256>>}"#, );}
#[test]fn two() { assert_js!( r#"pub fn go() { <<256, 4>>}"#, );}
#[test]fn integer() { assert_js!( r#"pub fn go() { <<256:int>>}"#, );}
#[test]fn float() { assert_js!( r#"pub fn go() { <<1.1:float>>}"#, );}
#[test]fn float_big_endian() { assert_js!( r#"pub fn go() { <<1.1:float-big>>}"#, );}
#[test]fn float_little_endian() { assert_js!( r#"pub fn go() { <<1.1:float-little>>}"#, );}
#[test]fn float_sized() { assert_js!( r#"pub fn go() { <<1.1:float-32>>}"#, );}
#[test]fn float_sized_big_endian() { assert_js!( r#"pub fn go() { <<1.1:float-32-big>>}"#, );}
#[test]fn float_sized_little_endian() { assert_js!( r#"pub fn go() { <<1.1:float-32-little>>}"#, );}
#[test]fn sized_constant_value() { assert_js!( r#"pub fn go() { <<256:64>>}"#, );}
#[test]fn sized_dynamic_value() { assert_js!( r#"pub fn go(i: Int) { <<i:64>>}"#, );}
#[test]fn sized_constant_value_positive_overflow() { assert_js!( r#"pub fn go() { <<80_000:16>>}"#, );}
#[test]fn sized_constant_value_negative_overflow() { assert_js!( r#"pub fn go() { <<-80_000:16>>}"#, );}
#[test]fn sized_constant_value_max_size_for_compile_time_evaluation() { assert_js!( r#"pub fn go() { <<-1:48>>}"#, );}
#[test]fn sized_big_endian_constant_value() { assert_js!( r#"pub fn go() { <<256:16-big>>}"#, );}
#[test]fn sized_big_endian_dynamic_value() { assert_js!( r#"pub fn go(i: Int) { <<i:16-big>>}"#, );}
#[test]fn sized_little_endian_constant_value() { assert_js!( r#"pub fn go() { <<256:16-little>>}"#, );}
#[test]fn sized_little_endian_dynamic_value() { assert_js!( r#"pub fn go(i: Int) { <<i:16-little>>}"#, );}
#[test]fn explicit_sized_constant_value() { assert_js!( r#"pub fn go() { <<256:size(32)>>}"#, );}
#[test]fn explicit_sized_dynamic_value() { assert_js!( r#"pub fn go(i: Int) { <<i:size(32)>>}"#, );}
#[test]fn variable_sized() { assert_js!( r#"pub fn go(x, y) { <<x:size(y)>>}"#, );}
#[test]fn variable() { assert_js!( r#"pub fn go(x) { <<256, 4, x>>}"#, );}
#[test]fn utf8() { assert_js!( r#"pub fn go(x) { <<256, 4, x, "Gleam":utf8>>}"#, );}
#[test]fn match_utf8_with_escape_chars() { assert_js!( r#"pub fn go(x) { let assert <<"\"\\\r\n\t\f\u{1f600}">> = x}"#, );}
#[test]fn match_utf8() { assert_js!( r#"pub fn go(x) { let assert <<"Gleam 👍":utf8>> = x}"#, );}
#[test]fn match_case_utf8_with_escape_chars() { assert_js!( r#"pub fn go(x) { case x { <<"\"\\\r\n\t\f\u{1f600}">> -> 1 _ -> 2 }}"#, );}
#[test]fn match_case_utf8() { assert_js!( r#"pub fn go(x) { case x { <<"Gleam 👍":utf8>> -> 1 _ -> 2 }}"#, );}
#[test]fn utf8_codepoint() { assert_js!( r#"pub fn go(x) { <<x:utf8_codepoint, "Gleam":utf8>>}"#, );}
#[test]fn utf8_codepoint_typescript() { assert_ts_def!( r#"pub fn go(x) { <<x:utf8_codepoint, "Gleam":utf8>>}"#, );}
#[test]fn bit_string() { assert_js!( r#"pub fn go(x) { <<x:bits>>}"#, );}
#[test]fn bits() { assert_js!( r#"pub fn go(x) { <<x:bits>>}"#, );}
#[test]fn bit_array_sliced() { assert_js!( r#"pub fn go(x) { <<<<0xAB>>:bits-4>>}"#, );}
#[test]fn bit_array_dynamic_slice() { assert_js!( r#"pub fn go(x) { let i = 4 <<<<0xAB>>:bits-size(i)>>}"#, );}
#[test]fn bit_string_typescript() { assert_ts_def!( r#"pub fn go(x) { <<x:bits>>}"#, );}
#[test]fn bits_typescript() { assert_ts_def!( r#"pub fn go(x) { <<x:bits>>}"#, );}
#[test]fn empty_match() { assert_js!( r#"pub fn go(x) { let assert <<>> = x}"#, );}
#[test]fn case_empty_match() { assert_js!( r#"pub fn go(x) { case x { <<>> -> 1 _ -> 2 }}"#, );}
#[test]fn match_bytes() { assert_js!( r#"pub fn go(x) { let assert <<1, y>> = x}"#, );}
#[test]fn case_match_bytes() { assert_js!( r#"pub fn go(x) { case x { <<1, y>> -> y _ -> 1 }}"#, );}
#[test]fn match_sized() { assert_js!( r#"pub fn go(x) { let assert <<a:16, b:8>> = x}"#, );}
#[test]fn case_match_sized() { assert_js!( r#"pub fn go(x) { case x { <<a:16, b:8>> -> a + b _ -> 1 }}"#, );}
#[test]fn match_sized_unaligned() { assert_js!( r#"pub fn go(x) { let assert <<a:17, b:7>> = x}"#, );}
#[test]fn case_match_sized_unaligned() { assert_js!( r#"pub fn go(x) { case x { <<a:17, b:7>> -> b * 2 _ -> 1 }}"#, );}
#[test]fn match_sized_constant_pattern() { assert_js!( r#"pub fn go(x) { let assert <<1234:16, 123:8>> = x}"#, );}
#[test]fn case_match_sized_constant_pattern() { assert_js!( r#"pub fn go(x) { case x { <<1234:16, 123:8>> -> 1 _ -> 2 }}"#, );}
#[test]fn match_unsigned() { assert_js!( r#"pub fn go(x) { let assert <<a:unsigned>> = x}"#, );}
#[test]fn case_match_unsigned() { assert_js!( r#"pub fn go(x) { case x { <<a:unsigned>> -> a _ -> 1 }}"#, );}
#[test]fn match_unsigned_constant_pattern() { assert_js!( r#"pub fn go(x) { let assert <<-2:unsigned>> = x}"#, );}
#[test]fn case_match_unsigned_constant_pattern() { assert_js!( r#"pub fn go(x) { case x { <<-2:unsigned>> -> 1 _ -> 2 }}"#, );}
#[test]fn match_signed() { assert_js!( r#"pub fn go(x) { let assert <<a:signed>> = x}"#, );}
#[test]fn case_match_signed() { assert_js!( r#"pub fn go(x) { case x { <<a:signed>> -> a _ -> 1 }}"#, );}
#[test]fn match_signed_constant_pattern() { assert_js!( r#"pub fn go(x) { let assert <<-1:signed>> = x}"#, );}
#[test]fn case_match_signed_constant_pattern() { assert_js!( r#"pub fn go(x) { case x { <<-1:signed>> -> 1 _ -> 2 }}"#, );}
#[test]fn match_sized_big_endian() { assert_js!( r#"pub fn go(x) { let assert <<a:16-big>> = x}"#, );}
#[test]fn case_match_sized_big_endian() { assert_js!( r#"pub fn go(x) { case x { <<a:16-big>> -> a _ -> 1 }}"#, );}
#[test]fn match_sized_big_endian_constant_pattern() { assert_js!( r#"pub fn go(x) { let assert <<1234:16-big>> = x}"#, );}
#[test]fn case_match_sized_big_endian_constant_pattern() { assert_js!( r#"pub fn go(x) { case x { <<1234:16-big>> -> 1 _ -> 2 }}"#, );}
#[test]fn match_sized_little_endian() { assert_js!( r#"pub fn go(x) { let assert <<a:16-little>> = x}"#, );}
#[test]fn case_match_sized_little_endian() { assert_js!( r#"pub fn go(x) { case x { <<a:16-little>> -> a _ -> 1 }}"#, );}
#[test]fn match_sized_little_endian_constant_pattern() { assert_js!( r#"pub fn go(x) { let assert <<1234:16-little>> = x}"#, );}
#[test]fn case_match_sized_little_endian_constant_pattern() { assert_js!( r#"pub fn go(x) { case x { <<1234:16-little>> -> 1 _ -> 2 }}"#, );}
#[test]fn match_sized_big_endian_unsigned() { assert_js!( r#"pub fn go(x) { let assert <<a:16-big-unsigned>> = x}"#, );}
#[test]fn case_match_sized_big_endian_unsigned() { assert_js!( r#"pub fn go(x) { case x { <<a:16-big-unsigned>> -> a _ -> 1 }}"#, );}
#[test]fn match_sized_big_endian_unsigned_constant_pattern() { assert_js!( r#"pub fn go(x) { let assert <<1234:16-big-unsigned>> = x}"#, );}
#[test]fn case_match_sized_big_endian_unsigned_constant_pattern() { assert_js!( r#"pub fn go(x) { case x { <<1234:16-big-unsigned>> -> 1 _ -> 2 }}"#, );}
#[test]fn match_sized_big_endian_signed() { assert_js!( r#"pub fn go(x) { let assert <<a:16-big-signed>> = x}"#, );}
#[test]fn case_match_sized_big_endian_signed() { assert_js!( r#"pub fn go(x) { case x { <<a:16-big-signed>> -> a _ -> 1 }}"#, );}
#[test]fn match_sized_big_endian_signed_constant_pattern() { assert_js!( r#"pub fn go(x) { let assert <<1234:16-big-signed>> = x}"#, );}
#[test]fn case_match_sized_big_endian_signed_constant_pattern() { assert_js!( r#"pub fn go(x) { case x { <<1234:16-big-signed>> -> 1 _ -> 2 }}"#, );}
#[test]fn match_sized_little_endian_unsigned() { assert_js!( r#"pub fn go(x) { let assert <<a:16-little-unsigned>> = x}"#, );}
#[test]fn case_match_sized_little_endian_unsigned() { assert_js!( r#"pub fn go(x) { case x { <<a:16-little-unsigned>> -> a _ -> 1 }}"#, );}
#[test]fn match_sized_little_endian_unsigned_constant_pattern() { assert_js!( r#"pub fn go(x) { let assert <<1234:16-little-unsigned>> = x}"#, );}
#[test]fn case_match_sized_little_endian_unsigned_constant_pattern() { assert_js!( r#"pub fn go(x) { case x { <<1234:16-little-unsigned>> -> 1 _ -> 2 }}"#, );}
#[test]fn match_sized_little_endian_signed() { assert_js!( r#"pub fn go(x) { let assert <<a:16-little-signed>> = x}"#, );}
#[test]fn case_match_sized_little_endian_signed() { assert_js!( r#"pub fn go(x) { case x { <<a:16-little-signed>> -> a _ -> 1 }}"#, );}
#[test]fn match_sized_little_endian_signed_constant_pattern() { assert_js!( r#"pub fn go(x) { let assert <<1234:16-little-signed>> = x}"#, );}
#[test]fn case_match_sized_little_endian_signed_constant_pattern() { assert_js!( r#"pub fn go(x) { case x { <<1234:16-little-signed>> -> 1 _ -> 2 }}"#, );}
#[test]fn match_dynamic_size() { assert_js!( r#"pub fn go(x) { let n = 16 let assert <<a:size(n)>> = x}"# );}
#[test]fn case_match_dynamic_size() { assert_js!( r#"pub fn go(x) { let n = 16 case x { <<a:size(n)>> -> a _ -> 1 }}"# );}
#[test]fn match_dynamic_size_with_other_segments() { assert_js!( r#"pub fn go(x) { let n = 16 let m = 32 let assert <<first:size(8), a:size(n), b:size(m), rest:bits>> = x}"# );}
#[test]fn case_match_dynamic_size_with_other_segments() { assert_js!( r#"pub fn go(x) { let n = 16 let m = 32 case x { <<first:size(8), a:size(n), b:size(m), rest:bits>> -> first + a + b _ -> 1 }}"# );}
#[test]fn match_dynamic_size_shadowed_variable() { assert_js!( r#"pub fn go(x) { let n = 16 let n = 5 let assert <<a:size(n)>> = x}"# );}
#[test]fn case_match_dynamic_size_shadowed_variable() { assert_js!( r#"pub fn go(x) { let n = 16 let n = 5 case x { <<a:size(n)>> -> a _ -> 1 }}"# );}
#[test]fn match_dynamic_size_literal_value() { assert_js!( r#"pub fn go(x) { let n = 8 let assert <<a:size(n), 0b010101:size(8)>> = x}"# );}
#[test]fn case_match_dynamic_size_literal_value() { assert_js!( r#"pub fn go(x) { let n = 8 case x { <<a:size(n), 0b010101:size(8)>> -> a _ -> 1 }}"# );}
#[test]fn match_dynamic_bits_size() { assert_js!( r#"pub fn go(x) { let n = 16 let assert <<a:bits-size(n)>> = x}"# );}
#[test]fn case_match_dynamic_bits_size() { assert_js!( r#"pub fn go(x) { let n = 16 case x { <<a:bits-size(n)>> -> a _ -> x }}"# );}
#[test]fn match_dynamic_bytes_size() { assert_js!( r#"pub fn go(x) { let n = 3 let assert <<a:bytes-size(n)>> = x}"# );}
#[test]fn case_match_dynamic_bytes_size() { assert_js!( r#"pub fn go(x) { let n = 3 case x { <<a:bytes-size(n)>> -> a _ -> x }}"# );}
#[test]fn discard_sized() { assert_js!( r#"pub fn go(x) { let assert <<_:16, _:8>> = x let assert <<_:16-little-signed, _:8>> = x}"#, );}
#[test]fn case_discard_sized() { assert_js!( r#"pub fn go(x) { case x { <<_:16, _:8>> -> 1 _ -> 2 } case x { <<_:16-little-signed, _:8>> -> 1 _ -> 2 }}"#, );}
#[test]fn match_sized_value() { assert_js!( r#"pub fn go(x) { let assert <<i:16>> = x}"#, );}
#[test]fn case_match_sized_value() { assert_js!( r#"pub fn go(x) { case x { <<i:16>> -> i _ -> 1 }}"#, );}
#[test]fn match_sized_value_constant_pattern() { assert_js!( r#"pub fn go(x) { let assert <<258:16>> = x}"#, );}
#[test]fn case_match_sized_value_constant_pattern() { assert_js!( r#"pub fn go(x) { case x { <<258:16>> -> 1 _ -> 2 }}"#, );}
#[test]fn match_float() { assert_js!( r#"pub fn go(x) { let assert <<a:float, b:int>> = x}"#, );}
#[test]fn case_match_float() { assert_js!( r#"pub fn go(x) { case x { <<a:float, b:int>> -> #(a, b) _ -> #(1.1, 2) }}"#, );}
#[test]fn match_float_big_endian() { assert_js!( r#"pub fn go(x) { let assert <<a:float-big, b:int>> = x}"#, );}
#[test]fn case_match_float_big_endian() { assert_js!( r#"pub fn go(x) { case x { <<a:float-big, b:int>> -> #(a, b) _ -> #(1.1, 1) }}"#, );}
#[test]fn match_float_little_endian() { assert_js!( r#"pub fn go(x) { let assert <<a:float-little, b:int>> = x}"#, );}
#[test]fn case_match_float_little_endian() { assert_js!( r#"pub fn go(x) { case x { <<a:float-little, b:int>> -> #(a, b) _ -> #(1.1, 2) }}"#, );}
#[test]fn match_float_sized() { assert_js!( r#"pub fn go(x) { let assert <<a:float-32, b:int>> = x}"#, );}
#[test]fn case_match_float_sized() { assert_js!( r#"pub fn go(x) { case x { <<a:float-32, b:int>> -> #(a, b) _ -> #(1.1, 2) }}"#, );}
#[test]fn match_float_sized_big_endian() { assert_js!( r#"pub fn go(x) { let assert <<a:float-32-big, b:int>> = x}"#, );}
#[test]fn case_match_float_sized_big_endian() { assert_js!( r#"pub fn go(x) { case x { <<a:float-32-big, b:int>> -> #(a, b) _ -> #(1.1, 2) }}"#, );}
#[test]fn match_float_sized_little_endian() { assert_js!( r#"pub fn go(x) { let assert <<a:float-32-little, b:int>> = x}"#, );}
#[test]fn case_match_float_sized_little_endian() { assert_js!( r#"pub fn go(x) { case x { <<a:float-32-little, b:int>> -> #(a, b) _ -> #(1.1, 2) }}"#, );}
#[test]fn match_literal_float() { assert_js!( r#"pub fn go(x) { let assert <<1.4, b:int>> = x}"#, );}
#[test]fn case_match_literal_float() { assert_js!( r#"pub fn go(x) { case x { <<1.4, b:int>> -> 1 _ -> 2 }}"#, );}
#[test]fn match_literal_unaligned_float() { assert_js!( r#"pub fn go(x) { let n = 1 let assert <<_:size(n), 1.1, _:bits>> = x}"#, );}
#[test]fn case_match_literal_unaligned_float() { assert_js!( r#"pub fn go(x) { let n = 1 case x { <<_:size(n), 1.1, _:int>> -> 1 _ -> 2 }}"#, );}
#[test]fn match_literal_aligned_float() { assert_js!( r#"pub fn go(x) { let assert <<_, 1.1, _:bits>> = x}"#, );}
#[test]fn case_match_literal_aligned_float() { assert_js!( r#"pub fn go(x) { case x { <<_, 1.1, _:int>> -> 1 _ -> 2 }}"#, );}
#[test]fn match_float_16_bit() { assert_js!( r#"pub fn go(x) { let assert <<a:float-size(16)>> = x}"# );}
#[test]fn case_match_float_16_bit() { assert_js!( r#"pub fn go(x) { case x { <<a:float-size(16)>> -> a _ -> 1.1 }}"# );}
#[test]fn match_rest() { assert_js!( r#"pub fn go(x) { let assert <<_, b:bytes>> = <<1,2,3>>}"#, );}
#[test]fn case_match_rest() { assert_js!( r#"pub fn go(x) { case <<1, 2, 3>> { <<_, b:bytes>> -> b _ -> x }}"#, );}
#[test]fn match_bytes_with_size() { assert_js!( r#"pub fn go(x) { let assert <<f:bytes-2>> = <<1, 2>>}"#, );}
#[test]fn case_match_bytes_with_size() { assert_js!( r#"pub fn go(x) { case <<1, 2>> { <<f:bytes-2>> -> f _ -> x }}"#, );}
#[test]fn match_bits_with_size() { assert_js!( r#"pub fn go(x) { let assert <<_:4, f:bits-2, _:1>> = <<0x77:7>>}"#, );}
#[test]fn case_match_bits_with_size() { assert_js!( r#"pub fn go(x) { case <<0x77:7>> { <<_:4, f:bits-2, _:1>> -> f _ -> x }}"#, );}
#[test]fn match_rest_bytes() { assert_js!( r#"pub fn go(x) { let assert <<_, b:bytes>> = <<1,2,3>>}"#, );}
#[test]fn case_match_rest_bytes() { assert_js!( r#"pub fn go(x) { case x { <<_, b:bytes>> -> b _ -> x }}"#, );}
#[test]fn match_rest_bits() { assert_js!( r#"pub fn go(x) { let assert <<_, b:bits>> = <<1,2,3>>}"#, );}
#[test]fn case_match_rest_bits() { assert_js!( r#"pub fn go(x) { case x { <<_, b:bits>> -> b _ -> x }}"#, );}
#[test]fn match_rest_bits_unaligned() { assert_js!( r#"pub fn go(x) { let assert <<_:5, b:bits>> = <<1,2,3>>}"#, );}
#[test]fn case_match_rest_bits_unaligned() { assert_js!( r#"pub fn go(x) { case x { <<_:5, b:bits>> -> b _ -> x }}"#, );}
#[test]fn match_binary_size() { assert_js!( r#"pub fn go(x) { let assert <<_, a:2-bytes>> = x let assert <<_, b:bytes-size(2)>> = x}"#, );}
#[test]fn case_match_binary_size() { assert_js!( r#"pub fn go(x) { case x { <<_, a:2-bytes>> -> a _ -> x }
case x { <<_, b:bytes-size(2)>> -> b _ -> x }}"#, );}
#[test]fn unaligned_int_expression_requires_v1_9() { assert_js_warnings_with_gleam_version!( Range::higher_than(Version::new(1, 8, 0)), "pub fn main() { <<0:1>>} ", );}
#[test]fn bits_expression_does_not_require_v1_9() { assert_js_no_warnings_with_gleam_version!( Range::higher_than(Version::new(1, 8, 0)), "pub fn main() { <<<<0>>:bits>>} ", );}
#[test]fn sized_bits_expression_requires_v1_9() { assert_js_warnings_with_gleam_version!( Range::higher_than(Version::new(1, 8, 0)), "pub fn main() { <<<<0>>:bits-5>>} ", );}
#[test]fn unaligned_int_pattern_requires_v1_9() { assert_js_warnings_with_gleam_version!( Range::higher_than(Version::new(1, 8, 0)), "pub fn main() { let assert <<_:3>> = <<0>>} ", );}
#[test]fn bits_pattern_requires_v1_9() { assert_js_warnings_with_gleam_version!( Range::higher_than(Version::new(1, 8, 0)), "pub fn main() { let assert <<_:bits>> = <<0>>} ", );}
#[test]fn bytes_pattern_with_odd_size_does_not_require_v1_9() { assert_js_no_warnings_with_gleam_version!( Range::higher_than(Version::new(1, 8, 0)), "pub fn main() { let assert <<_:bytes-3>> = <<0, 1, 2>>} ", );}
#[test]fn sized_bits_expression_with_javascript_external_does_not_require_v1_9() { assert_js_no_warnings_with_gleam_version!( Range::higher_than(Version::new(1, 8, 0)), r#"@external(javascript, "test.mjs", "go")pub fn go() -> BitArray { <<0:size(5)>>} "#, );}
#[test]fn bits_pattern_with_javascript_external_does_not_require_v1_9() { assert_js_no_warnings_with_gleam_version!( Range::higher_than(Version::new(1, 8, 0)), r#"@external(javascript, "test.mjs", "go")pub fn go() -> BitArray { let <<a:bits>> = <<>> a} "#, );}
#[test]fn as_module_const() { assert_js!( r#" pub const data = << 0x1, 2, 2:size(16), 0x4:size(32), -1:32, "Gleam":utf8, 4.2:float, 4.2:32-float, <<0xFA>>:bits-6, -1:64, << <<1, 2, 3>>:bits, "Gleam":utf8, 1024 >>:bits >> "# )}
#[test]fn bit_array_literal_string_constant_is_treated_as_utf8() { assert_js!(r#"pub const a = <<"hello", " ", "world">>"#);}
#[test]fn bit_array_literal_string_is_treated_as_utf8() { assert_js!( r#"pub fn main() { <<"hello", " ", "world">>}"# );}
#[test]fn bit_array_literal_string_pattern_is_treated_as_utf8() { assert_js!( r#"pub fn main() { case <<>> { <<"a", "b", _:bytes>> -> 1 _ -> 2 }}"# );}
#[test]fn with_unit() { assert_js!( r#"pub fn main() { <<1:size(2)-unit(2), 2:size(3)-unit(4)>>}"#, );}
#[test]fn dynamic_size_with_unit() { assert_js!( r#"pub fn main() { let size = 3 <<1:size(size)-unit(2)>>}"#, );}
#[test]fn pattern_with_unit() { assert_js!( r#"pub fn go(x) { let assert <<1:size(2)-unit(2), 2:size(3)-unit(4)>> = x}"#, );}
#[test]fn case_pattern_with_unit() { assert_js!( r#"pub fn go(x) { case x { <<1:size(2)-unit(2), 2:size(3)-unit(4)>> -> 1 _ -> 2 }}"#, );}
#[test]fn dynamic_size_pattern_with_unit() { assert_js!( r#"pub fn go(x) { let size = 3 let assert <<1:size(size)-unit(2)>> = x}"#, );}
#[test]fn case_dynamic_size_pattern_with_unit() { assert_js!( r#"pub fn go(x) { let size = 3 case x { <<1:size(size)-unit(2)>> -> 1 _ -> 2 }}"#, );}
#[test]fn case_dynamic_size_float_pattern_with_unit() { assert_js!( r#"pub fn go(x) { let size = 3 case x { <<1.3:size(size)-unit(2)>> -> 1 _ -> 2 }}"#, );}
#[test]fn case_with_remaining_bytes_after_constant_size() { assert_js!( r#"pub fn go(x) { case x { <<_, _, _:bytes>> -> 1 _ -> 2 }}"#, );}
#[test]fn case_with_remaining_bytes_after_variable_size() { assert_js!( r#"pub fn go(x) { let n = 1 case x { <<_:size(n), _, _:bytes>> -> 1 _ -> 2 }}"#, );}
#[test]fn case_with_remaining_bytes_after_variable_size_2() { assert_js!( r#"pub fn go(x) { let n = 1 case x { <<m:size(n), _:size(m), _:bytes>> -> 1 _ -> 2 }}"#, );}
#[test]fn case_is_byte_aligned() { assert_js!( r#"pub fn is_byte_aligned(x) { case x { <<_:bytes>> -> True _ -> False }}"#, );}
#[test]fn alternative_patterns_with_variable_size() { assert_js!( r#"pub fn go(x) { case x { <<_, n, rest:size(n)>> | <<n, _, rest:size(n)>> -> True _ -> False }}"#, );}
#[test]fn variable_sized_segment() { assert_js!( r#"pub fn go(x) { case x { <<n, rest:size(n)>> -> 1 _ -> 2 }}"# )}
#[test]fn segments_shadowing_each_other() { assert_js!( r#"pub fn go(x) { let n = 1 case x { <<n, rest:size(n)>> -> 1 _ -> 2 }}"# )}
#[test]fn negative_size_pattern() { assert_js!( r#"pub fn go(x) { let n = -10 case x { <<int:size(n)>> -> int _ -> 2 }}"# )}
#[test]fn negative_size_pattern_2() { assert_js!( r#"pub fn go(x) { case x { <<n:signed, int:size(n)>> -> int _ -> 2 }}"# )}
// https://github.com/gleam-lang/gleam/issues/3375#[test]fn bit_array_assignment_int() { assert_js!( "pub fn main() { let assert <<1 as a>> = <<1>> a}" );}
#[test]fn case_bit_array_assignment_int() { assert_js!( "pub fn go(x) { case x { <<1 as n>> | <<2 as n, _:bytes>> -> n _ -> 1 }}" );}
// https://github.com/gleam-lang/gleam/issues/3375#[test]fn bit_array_assignment_float() { assert_js!( "pub fn main() { let assert <<3.14 as pi:float>> = <<3.14>> pi}" );}
#[test]fn case_bit_array_assignment_float() { assert_js!( "pub fn go(x) { case x { <<3.14 as pi:float>> | <<1.1 as pi:float, _:bytes>> -> pi _ -> 1.1 }}" );}
// https://github.com/gleam-lang/gleam/issues/3375#[test]fn bit_array_assignment_string() { assert_js!( r#"pub fn main() { let assert <<"Hello, world!" as message:utf8>> = <<"Hello, world!">> message}"# );}
#[test]fn case_bit_array_assignment_string() { assert_js!( r#"pub fn go(x) { case x { <<"Hello" as message>> | <<"Jak" as message, _:bytes>> -> message _ -> "wibble" }}"# );}
// https://github.com/gleam-lang/gleam/issues/3375#[test]fn bit_array_assignment_discard() { assert_js!( r#"pub fn main() { let assert <<_ as number>> = <<10>> number}"# );}
#[test]fn case_bit_array_assignment_discard() { assert_js!( r#"pub fn go(x) { case x { <<_ as n>> | <<_ as n, _:bytes>> -> n _ -> 1 }}"# );}
#[test]fn utf16() { assert_js!( r#"pub fn main() { <<"Hello, world!":utf16>>}"# );}
#[test]fn utf16_codepoint() { assert_js!( r#"fn codepoint() -> UtfCodepoint { todo }
pub fn main() { let my_codepoint = codepoint() <<my_codepoint:utf16_codepoint>>}"# );}
#[test]fn utf32() { assert_js!( r#"pub fn main() { <<"Hello, world!":utf32>>}"# );}
#[test]fn utf32_codepoint() { assert_js!( r#"fn codepoint() -> UtfCodepoint { todo }
pub fn main() { let my_codepoint = codepoint() <<my_codepoint:utf32_codepoint>>}"# );}
#[test]fn const_utf16() { assert_js!( r#"pub const message = <<"Hello, world!":utf16>>"# );}
#[test]fn const_utf32() { assert_js!( r#"pub const message = <<"Hello, world!":utf32>>"# );}
#[test]fn pattern_match_utf16() { assert_js!( r#"pub fn go(x) { let assert <<"Hello":utf16, _rest:bytes>> = x}"# );}
#[test]fn pattern_match_utf32() { assert_js!( r#"pub fn go(x) { let assert <<"Hello":utf32, _rest:bytes>> = x}"# );}
#[test]fn utf16_little_endian() { assert_js!( r#"pub fn main() { <<"Hello, world!":utf16-little>>}"# );}
#[test]fn utf32_little_endian() { assert_js!( r#"pub fn main() { <<"Hello, world!":utf32-little>>}"# );}
#[test]fn pattern_match_utf16_little_endian() { assert_js!( r#"pub fn go(x) { let assert <<"Hello":utf16-little, _rest:bytes>> = x}"# );}
#[test]fn pattern_match_utf32_little_endian() { assert_js!( r#"pub fn go(x) { let assert <<"Hello":utf32-little, _rest:bytes>> = x}"# );}
// https://github.com/gleam-lang/gleam/issues/4630#[test]fn tuple_bit_array() { assert_js!( "pub fn go(x) { let assert #(<<>>) = x}" );}
// https://github.com/gleam-lang/gleam/issues/4630#[test]fn tuple_bit_array_case() { assert_js!( "pub fn go(x) { case x { #(<<>>) -> 1 _ -> 2 }}" );}
#[test]fn tuple_multiple_bit_arrays() { assert_js!( "pub fn go(x) { let assert #(<<>>, <<1>>, <<2, 3>>) = x}" );}
#[test]fn tuple_multiple_bit_arrays_case() { assert_js!( "pub fn go(x) { case x { #(<<>>, <<1>>, <<2, 3>>) -> True _ -> False }}" );}
// https://github.com/gleam-lang/gleam/issues/4637#[test]fn pattern_matching_on_32_float_plus_infinity_still_reachable() { assert_js!( r#"pub fn go(x) { case x { <<_:32-float>> -> "Float" <<0x7f800000:32>> -> "+Infinity" _ -> "Other" }}"# );}
#[test]fn pattern_matching_on_32_float_plus_infinity_still_reachable_2() { assert_js!( r#"pub fn go(x) { case x { <<_:32-float>> -> "Float" <<0x7f80:16, 0x0000:16>> -> "+Infinity" _ -> "Other" }}"# );}
#[test]fn pattern_matching_on_32_float_minus_infinity_still_reachable() { assert_js!( r#"pub fn go(x) { case x { <<_:32-float>> -> "Float" <<0xff800000:32>> -> "-Infinity" _ -> "Other" }}"# );}
#[test]fn pattern_matching_on_32_float_minus_infinity_still_reachable_2() { assert_js!( r#"pub fn go(x) { case x { <<_:32-float>> -> "Float" <<0xff80:16, 0x0000:16>> -> "-Infinity" _ -> "Other" }}"# );}
#[test]fn pattern_matching_on_32_float_nan_still_reachable() { assert_js!( r#"pub fn go(x) { case x { <<_:32-float>> -> "Float" <<0x7fc00000:32>> -> "NaN" _ -> "Other" }}"# );}
#[test]fn pattern_matching_on_32_float_nan_still_reachable_2() { assert_js!( r#"pub fn go(x) { case x { <<_:32-float>> -> "Float" <<0x7fc0:16, 0x0000:16>> -> "NaN" _ -> "Other" }}"# );}
#[test]fn pattern_matching_on_64_float_plus_infinity_still_reachable() { assert_js!( r#"pub fn go(x) { case x { <<_:64-float>> -> "Float" <<0x7ff0000000000000:64>> -> "+Infinity" _ -> "Other" }}"# );}
#[test]fn pattern_matching_on_64_float_plus_infinity_still_reachable_2() { assert_js!( r#"pub fn go(x) { case x { <<_:64-float>> -> "Float" <<0x7ff00000:32, 0x00000000:32>> -> "+Infinity" _ -> "Other" }}"# );}
#[test]fn pattern_matching_on_64_float_minus_infinity_still_reachable() { assert_js!( r#"pub fn go(x) { case x { <<_:64-float>> -> "Float" <<0xfff0000000000000:64>> -> "-Infinity" _ -> "Other" }}"# );}
#[test]fn pattern_matching_on_64_float_minus_infinity_still_reachable_2() { assert_js!( r#"pub fn go(x) { case x { <<_:64-float>> -> "Float" <<0xfff00000:32, 0x00000000:32>> -> "-Infinity" _ -> "Other" }}"# );}
#[test]fn pattern_matching_on_64_float_nan_still_reachable() { assert_js!( r#"pub fn go(x) { case x { <<_:64-float>> -> "Float" <<0x7ff8000000000000:64>> -> "NaN" _ -> "Other" }}"# );}
#[test]fn pattern_matching_on_64_float_nan_still_reachable_2() { assert_js!( r#"pub fn go(x) { case x { <<_:64-float>> -> "Float" <<0x7ff80000:32, 0x00000000:32>> -> "NaN" _ -> "Other" }}"# );}
#[test]fn pattern_matching_on_64_float_int_is_still_reachable() { assert_js!( r#"pub fn go(x) { case x { <<_:64-float>> -> "Float" <<_:64-int>> -> "Int" _ -> "Other" }}"# );}
#[test]fn pattern_matching_on_64_float_float_is_unreachable() { assert_js!( r#"pub fn go(x) { case x { <<_:64-float>> -> "Float" <<_:64-float>> -> "unreachable" _ -> "Other" }}"# );}
#[test]fn unit_with_bits_option() { assert_js!( "pub fn go(x) { <<x:bits-size(4)-unit(8)>>}" );}
#[test]fn unit_with_bits_option_constant() { assert_js!( "pub const bits = <<1, 2, 3>>pub const more_bits = <<bits:bits-size(3)-unit(8)>>" );}
#[test]fn operator_in_size_for_bit_array_segment() { assert_js!( "pub fn go(x) { <<x:bits-size(4 + 1)>>}" );}
// https://github.com/gleam-lang/gleam/issues/4712#[test]fn multiple_variable_size_segments() { assert_js!( "pub fn main() { let assert <<a, b:size(a), c:size(b)>> = <<1, 2, 3, 4>> a + b + c}" );}
#[test]fn utf16_codepoint_little_endian() { assert_js!( "pub fn go(codepoint) { <<codepoint:utf16_codepoint-little>>}" );}
#[test]fn utf32_codepoint_little_endian() { assert_js!( "pub fn go(codepoint) { <<codepoint:utf32_codepoint-little>>}" );}
#[test]fn operator_in_pattern_size() { assert_js!( "pub fn main() { let assert <<len, payload:size(len * 8)>> = <<>>}" );}
#[test]fn operator_in_pattern_size2() { assert_js!( "pub fn main() { let assert <<len, payload:size(len / 8 - 1)>> = <<>>}" );}
#[test]fn operator_in_pattern_size3() { assert_js!( "pub fn main() { let additional = 10 let assert <<len, payload:size(len + additional * 8)>> = <<>>}" );}
#[test]fn subtraction_in_pattern_size_is_left_associative() { assert_js!( "pub fn main() { let a = 10 let b = 3 let c = 2 let assert <<_:bytes-size(a - b - c)>> = <<>>}" );}
#[test]fn subtraction_chain_in_pattern_size_is_left_associative() { assert_js!( "pub fn main() { let a = 10 let b = 3 let c = 2 let d = 1 let assert <<_:bytes-size(a - b - c - d)>> = <<>>}" );}
#[test]fn division_in_pattern_size_is_left_associative() { assert_js!( "pub fn main() { let a = 100 let b = 5 let c = 2 let assert <<_:bytes-size(a / b / c)>> = <<>>}" );}
#[test]fn multiplication_in_pattern_size_is_left_associative() { assert_js!( "pub fn main() { let a = 2 let b = 3 let c = 4 let assert <<_:bytes-size(a * b * c)>> = <<>>}" );}
#[test]fn mixed_mul_div_in_pattern_size_is_left_associative() { assert_js!( "pub fn main() { let a = 100 let b = 5 let c = 2 let assert <<_:bytes-size(a * b / c)>> = <<>>}" );}
#[test]fn mul_binds_tighter_than_add_in_pattern_size() { assert_js!( "pub fn main() { let a = 10 let b = 3 let c = 2 let assert <<_:bytes-size(a + b * c)>> = <<>>}" );}
#[test]fn mul_binds_tighter_than_sub_in_pattern_size() { assert_js!( "pub fn main() { let a = 10 let b = 3 let c = 2 let assert <<_:bytes-size(a * b + c)>> = <<>>}" );}
#[test]fn add_and_sub_chain_in_pattern_size_is_left_associative() { assert_js!( "pub fn main() { let a = 10 let b = 3 let c = 2 let assert <<_:bytes-size(a + b - c)>> = <<>>}" );}
#[test]fn remainder_in_pattern_size_is_left_associative() { assert_js!( "pub fn main() { let a = 10 let b = 3 let c = 2 let assert <<_:bytes-size(a % b % c)>> = <<>>}" );}
#[test]fn block_in_pattern_size() { assert_js!( "pub fn main() { let assert <<len, payload:size({ len - 1 } * 8)>> = <<>>}" );}
#[test]fn non_byte_aligned_size_calculation() { assert_js!( "pub fn main() { case <<>> { <<a:1, b:3, c:size(b - 2)>> -> c + b _ -> 1 }}" );}
#[test]fn pattern_match_on_negative_size_calculation() { assert_js!( "pub fn main() { let assert <<a, b:size(a - 100000), c:size(b)>> = <<1, 2, 3, 4, 5>>}" );}
#[test]fn pattern_match_unknown_size_and_literal_string() { assert_js!( r#"pub fn go(x, n) { case x { <<_:size(n), "\r\n">> -> 1 _ -> 2 }}"# );}
#[test]fn pattern_match_size_arithmetic() { assert_js!( r#"pub fn wibble(bits, wobble) { case bits { <<_:size(1), _:size(wobble - 1), _:bits>> -> 0 _ -> 1 }}"# );}
#[test]fn bit_array_pattern_match_all_reachable() { assert_js!( r#"pub fn main(x) { case x { <<_, "==">> -> 1 <<_, _, "=">> -> 2 // ^^^ This should be reachable _ -> 3 }} "# )}
// https://github.com/gleam-lang/gleam/issues/5600#[test]fn bit_array_size_constant() { assert_js!( r#"const some_size = 2
pub fn run(data) { case data { <<x:bytes-size(some_size), _:bits>> -> x _ -> data }} "# );}
// https://github.com/gleam-lang/gleam/issues/5208#[test]fn unit_option_ignores_bytes() { assert_js!( "pub fn main() { let assert <<x:unit(2)-bytes-size(3)>> = <<1:6>> x}" );}
#[test]fn unit_option_ignores_bytes_regardless_of_order() { assert_js!( "pub fn main() { let assert <<x:bytes-unit(2)-size(3)>> = <<1:6>> x}" );}