@shd101wyy/yo 0.0.4 → 0.0.6

package/out/esm/index.mjs

@@ -1,19 +1,19 @@
-import{readFileSync as da}from"node:fs";import Ta from"path";var v=class{constructor({characterIndex:n,message:t}){this.characterIndex=n,this.message=t}},q=class{constructor(n,t){this.tokenAndErrorList=[];this.tokenAndErrorList=n,this.isAssertionError=t||!1}toString(){return this.tokenAndErrorList.map(({token:t,errorMessage:o})=>`Error: ${o}
-${be({token:t})}`).join(`
+import{readFileSync as ba}from"node:fs";import Va from"path";var v=class{constructor({characterIndex:n,message:t}){this.characterIndex=n,this.message=t}},D=class{constructor(n,t,o){this.tokenAndErrorList=[];this.tokenAndErrorList=n,this.isAssertionError=t||!1,this.kind=o}toString(){return this.tokenAndErrorList.map(({token:t,errorMessage:o})=>`Error: ${o}
+${Ve({token:t})}`).join(`
 
-`)}};function be({token:e}){let{position:n,modulePath:t,inputString:o}=e,{row:i,column:r}=n,l=o.split(`
+`)}};function Ve({token:e}){let{position:n,modulePath:t,inputString:o}=e,{row:i,column:r}=n,l=o.split(`
 `)[i];return`${t}:${i+1}:${r+1}:
 ${l}
-${" ".repeat(r+Math.floor(e.value.length/2))}^`}function y({token:e,errorMessage:n,cause:t,isAssertionError:o}){let i=`${n.trim()}
+${" ".repeat(r+Math.floor(e.value.length/2))}^`}function f({token:e,errorMessage:n,cause:t,isAssertionError:o,kind:i}){let r=`${n.trim()}
 
-${be({token:e})}`;return new q([{token:e,errorMessage:i+(t?.message?`
-`+t.message:"")}],o)}var z=(m=>(m.Operator="operator",m.Dot=".",m.LParen="(",m.RParen=")",m.LBracket="[",m.RBracket="]",m.LCurlyBracket="{",m.RCurlyBracket="}",m.Char="char",m.String="string",m.Identifier="identifier",m.Integer="integer",m.Float="float",m.Bool="bool",m.Semicolon=";",m.Comma=",",m.SingleLineComment="single_line_comment",m.MultiLineComment="multi_line_comment",m.Whitespace="whitespace",m.BacktickIdentifier="backtick_identifier",m))(z||{}),G={modulePath:"_",inputString:"_",type:"identifier",value:"_",position:{row:0,column:0,character:0}},ht={modulePath:"drop",inputString:"drop",type:"identifier",value:"drop",position:{row:0,column:0,character:0}},oe=["=","+","-","*","/","<",">","@","$","~","&","%","|","!","?","^",".",":","\\","#"];function P(e){return oe.includes(e)}function Ce(e){let n=!0;for(let t=0;t<e.length;t++){let o=e[t];if(!P(o)){n=!1;break}}return n}var j=/^[_a-zA-Z\xA0-\uFFFF][_a-zA-Z0-9\xA0-\uFFFF]*[!?]?$/;function Ve(e,n){let t=")";if(!e[n])return-1;let o=e[n].type;if(o==="{")t="}";else if(o==="(")t=")";else if(o==="[")t="]";else throw this.formatErrorMessage(e[n],"Expected '{', '(' or '['");n=n+1;let i=1,r=-1;for(;;){let p=e[n];if(!p)return-1;if(p.type===t){if(i=i-1,i===0){r=n;break}}else p.type===o&&(i=i+1);n=n+1}return r}function Fe(e,n){let t=[],o=0,i=0;for(let r=0;r<e.length;r++){let p=e[r],l=r-i,f=r,c="",u=r;if(e[u]===".")for(;e[u]===".";)c+=e[u],u=u+1;else for(;P(e[u])&&e[u]!==".";)c+=e[u],u=u+1;if(c&&!c.startsWith("//")&&!c.startsWith("/*")){t.push({type:c==="."?".":"operator",value:c,position:{row:o,column:l,character:f},modulePath:n,inputString:e}),r=u-1;continue}switch(p){case" ":case"	":case`
+${Ve({token:e})}`;return new D([{token:e,errorMessage:r+(t?.message?`
+`+t.message:"")}],o,i)}var z=(m=>(m.Operator="operator",m.Dot=".",m.LParen="(",m.RParen=")",m.LBracket="[",m.RBracket="]",m.LCurlyBracket="{",m.RCurlyBracket="}",m.Char="char",m.String="string",m.Identifier="identifier",m.Integer="integer",m.Float="float",m.Bool="bool",m.Semicolon=";",m.Comma=",",m.SingleLineComment="single_line_comment",m.MultiLineComment="multi_line_comment",m.Whitespace="whitespace",m.BacktickIdentifier="backtick_identifier",m))(z||{}),q={modulePath:"_",inputString:"_",type:"identifier",value:"_",position:{row:0,column:0,character:0}},vt={modulePath:"drop",inputString:"drop",type:"identifier",value:"drop",position:{row:0,column:0,character:0}},Q=["=","+","-","*","/","<",">","@","$","~","&","%","|","!","?","^",".",":","\\","#"];function P(e){return Q.includes(e)}function $e(e){let n=!0;for(let t=0;t<e.length;t++){let o=e[t];if(!P(o)){n=!1;break}}return n}var j=/^[_a-zA-Z\xA0-\uFFFF][_a-zA-Z0-9\xA0-\uFFFF]*[!?]?$/;function Fe(e,n){let t=")";if(!e[n])return-1;let o=e[n].type;if(o==="{")t="}";else if(o==="(")t=")";else if(o==="[")t="]";else throw this.formatErrorMessage(e[n],"Expected '{', '(' or '['");n=n+1;let i=1,r=-1;for(;;){let p=e[n];if(!p)return-1;if(p.type===t){if(i=i-1,i===0){r=n;break}}else p.type===o&&(i=i+1);n=n+1}return r}function xe(e,n){let t=[],o=0,i=0;for(let r=0;r<e.length;r++){let p=e[r],l=r-i,y=r,c="",u=r;if(e[u]===".")for(;e[u]===".";)c+=e[u],u=u+1;else for(;P(e[u])&&e[u]!==".";)c+=e[u],u=u+1;if(c&&!c.startsWith("//")&&!c.startsWith("/*")){t.push({type:c==="."?".":"operator",value:c,position:{row:o,column:l,character:y},modulePath:n,inputString:e}),r=u-1;continue}switch(p){case" ":case"	":case`
 `:case"\r":{let s="",a=r,d=o;for(;e[a]===" "||e[a]==="	"||e[a]===`
 `||e[a]==="\r";)s+=e[a],e[a]===`
-`&&(o++,i=a+1),a=a+1;t.push({type:"whitespace",value:s,position:{row:d,column:l,character:f},modulePath:n,inputString:e}),r=a-1;break}case"/":if(e[r+1]==="/"){let s="",a=r;for(;e[a]!==`
-`&&a<e.length;)s+=e[a],a=a+1;t.push({type:"single_line_comment",value:s,position:{row:o,column:l,character:f},modulePath:n,inputString:e}),r=a-1}else if(e[r+1]==="*"){let s=r,a="",d=o,V=1;for(a+=e[s],s++,a+=e[s],s++;V>0&&s<e.length;){if(e[s]===`
-`&&(i=s+1,o++),e[s]==="/"&&e[s+1]==="*"){V++,a+="/*",s+=2;continue}if(e[s]==="*"&&e[s+1]==="/"){V--,a+="*/",s+=2;continue}a+=e[s],s++}if(V>0)throw new v({message:"Unterminated multi-line comment",characterIndex:e.length-1});t.push({type:"multi_line_comment",value:a,position:{row:d,column:l,character:f},modulePath:n,inputString:e}),r=s-1}else throw new v({message:`Unexpected character ${p}`,characterIndex:r+1});break;case"(":t.push({type:"(",value:p,position:{row:o,column:l,character:f},modulePath:n,inputString:e});break;case")":t.push({type:")",value:p,position:{row:o,column:l,character:f},modulePath:n,inputString:e});break;case"[":t.push({type:"[",value:p,position:{row:o,column:l,character:f},modulePath:n,inputString:e});break;case"]":t.push({type:"]",value:p,position:{row:o,column:l,character:f},modulePath:n,inputString:e});break;case"{":t.push({type:"{",value:p,position:{row:o,column:l,character:f},modulePath:n,inputString:e});break;case"}":t.push({type:"}",value:p,position:{row:o,column:l,character:f},modulePath:n,inputString:e});break;case"'":{let s="";for(let a=r+1;a<e.length;a++){if(e[a]==="\\"){s+=e[a],a=a+1,s+=e[a];continue}if(e[a]==="'"){r=a;break}s+=e[a]}if(s.length===1||s.length===2&&s[0]==="\\")t.push({type:"char",value:`'${s}'`,position:{row:o,column:l,character:f},modulePath:n,inputString:e});else throw new v({message:`Invalid char '${s}', expected char to have length 1.`,characterIndex:r});break}case'"':{let s="";for(let a=r+1;a<e.length;a++){if(e[a]==="\\"){s+=e[a],a=a+1,s+=e[a];continue}if(e[a]==='"'){r=a;break}s+=e[a]}t.push({type:"string",value:`"${s}"`,position:{row:o,column:l,character:f},modulePath:n,inputString:e});break}case"`":{let s="";for(let a=r+1;a<e.length;a++){if(e[a]==="\\"){s+=e[a],a=a+1,s+=e[a];continue}if(e[a]==="`"){r=a;break}s+=e[a]}if(!j.test(s))throw new v({message:`Invalid backtick identifier \`${s}\``,characterIndex:r});t.push({type:"backtick_identifier",value:`\`${s}\``,position:{row:o,column:l,character:f},modulePath:n,inputString:e});break}case",":t.push({type:",",value:p,position:{row:o,column:l,character:f},modulePath:n,inputString:e});break;case";":t.push({type:";",value:p,position:{row:o,column:l,character:f},modulePath:n,inputString:e});break;default:if(/[0-9]/.test(p)){let s=r,a=p;r=r+1;let d=/[0-9_]/;for(e[r-1]==="0"&&typeof e[r]=="string"&&(e[r]==="x"||e[r]==="X"?(a+=e[r],r=r+1,d=/[0-9A-Fa-f]/):e[r]==="b"||e[r]==="B"?(a+=e[r],r=r+1,d=/[01]/):(e[r]==="o"||e[r]==="O")&&(a+=e[r],r=r+1,d=/[0-7]/));typeof e[r]=="string"&&d.test(e[r]);)a+=e[r],r=r+1;if(e[r]==="."&&e[s-1]!=="."&&(e[r+1]??"").match(/[0-9]/)){for(a+=e[r],r=r+1;typeof e[r]=="string"&&/[0-9_]/.test(e[r]);)a+=e[r],r=r+1;if((e[r]==="e"||e[r]==="E")&&typeof e[r+1]=="string"&&(e[r+1]==="+"||e[r+1]==="-"||/[0-9]/.test(e[r+1])))for(a+=e[r],r=r+1,(e[r]==="+"||e[r]==="-")&&(a+=e[r],r=r+1);typeof e[r]=="string"&&/[0-9_]/.test(e[r]);)a+=e[r],r=r+1;t.push({type:"float",value:a,position:{row:o,column:l,character:f},modulePath:n,inputString:e}),r=r-1}else{if((e[r]==="e"||e[r]==="E")&&typeof e[r+1]=="string"&&(e[r+1]==="+"||e[r+1]==="-"||/[0-9]/.test(e[r+1])))for(a+=e[r],r=r+1,(e[r]==="+"||e[r]==="-")&&(a+=e[r],r=r+1);typeof e[r]=="string"&&/[0-9_]/.test(e[r]);)a+=e[r],r=r+1;t.push({type:"integer",value:a,position:{row:o,column:l,character:f},modulePath:n,inputString:e}),r=r-1}}else if(/[_a-zA-Z\xA0-\uFFFF]/.test(p)){let s=p,a=r;for(r=r+1;typeof e[r]=="string"&&/[_a-zA-Z0-9\xA0-\uFFFF]/.test(e[r]);)s+=e[r],r=r+1;if(r=r-1,(e[r+1]==="!"||e[r+1]==="?")&&j.test(s+e[r+1])&&(r=r+1,s+=e[r]),j.test(s))switch(s){case"true":case"false":t.push({type:"bool",value:s,position:{row:o,column:l,character:f},modulePath:n,inputString:e});break;default:t.push({type:"identifier",value:s,position:{row:o,column:l,character:f},modulePath:n,inputString:e});break}else throw new v({message:`Invalid identifier ${s}`,characterIndex:a})}else throw new v({message:`Unexpected character ${p}`,characterIndex:r});break}}return t}var L=class{constructor({modulePath:n,inputString:t}){this.modulePath=n,this.inputString=t,this.tokens=Fe(t,n),this.program=[],this.parse(this.tokens)}skipWhitespace(n,t){for(;n[t]&&(n[t].type==="whitespace"||n[t].type==="single_line_comment"||n[t].type==="multi_line_comment");)t=t+1;return t}skipWhitespaceBackward(n,t){for(;n[t]&&(n[t].type==="whitespace"||n[t].type==="single_line_comment"||n[t].type==="multi_line_comment");)t=t-1;return t}isParenthesizedExpression(n,t,o){return t=this.skipWhitespace(n,t),o=this.skipWhitespaceBackward(n,o),!!n[t]&&n[t].type==="("&&!!n[o]&&n[o].type===")"&&Ve(n,t)===o}parseParenExpr({tokens:n,index:t}){let o=t;if(n[t].type!=="(")throw y({token:n[t],errorMessage:"Expected left paren"});if(n[t+1]?.type===")")return{expr:{tag:"FuncCall",func:{tag:"Atom",token:{type:"identifier",value:_.tuple,position:n[t].position,modulePath:this.modulePath,inputString:this.inputString}},args:[],token:n[t]},index:t+2};let i=this.parseExpression({tokens:n,index:t+1}),r=i.expr;if(t=i.index,n[t].type===")")return{expr:r,index:t+1};{let p,l=[r];for(;;){if(!n[t])throw y({token:n[t-1],errorMessage:"Expected ) or , for tuple"});if(n[t].type===","){if(!p||p===",")p=",";else throw y({token:n[t],errorMessage:'Cannot mix "," with ";" as separator in (...)'});t=t+1}else if(n[t].type===";"){if(!p||p===";")p=";";else throw y({token:n[t],errorMessage:'Cannot mix ";" with "," as separator in (...)'});t=t+1}if(t=this.skipWhitespace(n,t),n[t].type===")")break;let{expr:c,index:u}=this.parseExpression({tokens:n,index:t});l.push(c),t=u}let f=p===";"||!p;return{expr:{tag:"FuncCall",func:{tag:"Atom",token:{type:"identifier",value:f?_.Tuple[0]:_.tuple,position:n[o].position,modulePath:this.modulePath,inputString:this.inputString}},args:l,token:n[o]},index:t+1}}}parseArrayExpr({tokens:n,index:t}){let o=t;if(n[t].type!=="[")throw y({token:n[t],errorMessage:"Expected left bracket"});t=t+1;let i,r=[];for(;;){if(!n[t])throw y({token:n[t-1],errorMessage:"Expected ] or , for array"});if(n[t].type===","){if(!i||i===",")i=",";else throw y({token:n[t],errorMessage:'Cannot mix "," with ";" as separator in [...]'});t=t+1}else if(n[t].type===";"){if(!i||i===";")i=";";else throw y({token:n[t],errorMessage:'Cannot mix ";" with "," as separator in [...]'});t=t+1}if(n[t].type==="]")break;let{expr:c,index:u}=this.parseExpression({tokens:n,index:t});r.push(c),t=u}let p=i===";"||!i;if(p&&r.length>2)throw y({token:n[o],errorMessage:`Expected at 2 arguments for Array type, or 1 argument for Slice type, got ${r.length}`});let l=p&&r.length===2,f=p&&r.length===1;return{expr:{tag:"FuncCall",func:{tag:"Atom",token:{type:"identifier",value:l?_.Array[0]:f?_.Slice[0]:_.array,position:n[o].position,modulePath:this.modulePath,inputString:this.inputString}},args:r,token:n[o]},index:t+1}}parseCurlyBracketExpr({tokens:n,index:t}){let o=t;if(n[t].type!=="{")throw y({token:n[t],errorMessage:"Expected left curly bracket"});let i=[],r;for(t=t+1;;){if(t=this.skipWhitespace(n,t),!n[t])throw y({token:n[t-1],errorMessage:'Unexpected end of curly bracket. Expected "}" or "," or ";"'});if(n[t].type===","){if(!r||r===",")r=",";else throw y({token:n[t],errorMessage:'Cannot mix "," with ";" as separator in {...}'});t=t+1}else if(n[t].type===";"){if(!r||r===";")r=";";else throw y({token:n[t],errorMessage:'Cannot mix ";" with "," as separator in {...}'});t=t+1}if(t=this.skipWhitespace(n,t),n[t].type==="}"){let f=n[this.skipWhitespaceBackward(n,t-1)];if(r===";"&&f&&(f.type===";"||f.type==="{")){let c={type:"identifier",value:_.tuple,position:f.position,modulePath:this.modulePath,inputString:this.inputString};i.push({tag:"FuncCall",func:{tag:"Atom",token:c},args:[],token:c})}break}let{expr:p,index:l}=this.parseExpression({tokens:n,index:t});i.push(p),t=l}if(r===","||!r){for(let l=0;l<i.length;l++){let f=i[l];if(F(f)){let c={type:"operator",value:":",position:n[o].position,modulePath:this.modulePath,inputString:this.inputString},u={tag:"FuncCall",func:{tag:"Atom",token:c},isInfix:!0,args:[f,f],token:c};i[l]=u}}return{expr:{tag:"FuncCall",func:{tag:"Atom",token:{type:"identifier",value:"_",position:n[o].position,modulePath:this.modulePath,inputString:this.inputString}},args:i,token:n[o]},index:t+1}}else return{expr:{tag:"FuncCall",func:{tag:"Atom",token:{type:"identifier",value:_.begin[0],position:n[o].position,modulePath:this.modulePath,inputString:this.inputString}},args:i,token:n[o]},index:t+1}}parsePrimary({tokens:n,index:t}){t=this.skipWhitespace(n,t);let o=n[t];if(!o)throw y({token:G,errorMessage:"Unexpected end of input"});let i=null;switch(o.type){case"identifier":case"operator":case"bool":case"integer":case"float":case"string":case"char":{i={expr:{tag:"Atom",token:o},index:t+1};break}case"(":{i=this.parseParenExpr({tokens:n,index:t});break}case"[":{i=this.parseArrayExpr({tokens:n,index:t});break}case"{":{i=this.parseCurlyBracketExpr({tokens:n,index:t});break}case".":{i={expr:{tag:"Atom",token:o},index:t+1};break}default:throw y({token:o,errorMessage:`Unexpected token "${o.type}"`})}return i}isOperatorAtLineStart(n,t){for(let o=n.length-1;o>=0;o--){let i=n[o];if(i.type==="whitespace"&&i.value.includes(`
-`))return n.slice(o+1).every(l=>l.type==="whitespace");if(i.type!=="whitespace")return!1}return n.every(o=>o.type==="whitespace")}parseLeftAssociativeOperator({primaryExpr:n,operatorToken:t,rhs:o,tokens:i,index:r}){if(o.tag==="FuncCall"&&o.isInfix&&o.func.tag==="Atom"&&o.func.token.type!=="."){let p=o.args[0],l=o.args[1],f=o.func,c={tag:"FuncCall",func:{tag:"Atom",token:t},args:[n,p],isInfix:!0,token:t};return this.parsePrimaryEnd({primaryExpr:{tag:"FuncCall",func:f,args:[c,l],isInfix:!0,token:f.token},tokens:i,index:r})}else return this.parsePrimaryEnd({primaryExpr:{tag:"FuncCall",func:{tag:"Atom",token:t},args:[n,o],isInfix:!0,token:t},tokens:i,index:r})}getExprMinimumColumnNumber(n){return F(n)?n.token.position.column:Math.min(this.getExprMinimumColumnNumber(n.func),...n.args.map(t=>this.getExprMinimumColumnNumber(t)))}parsePrimaryEnd({primaryExpr:n,tokens:t,index:o}){let i=this.skipWhitespace(t,o),r=i!==o,p=t[o-1]?.type==="whitespace";o=i;let l=t[i];if(!l||l.type===";"||l.type===","||l.type===")"||l.type==="]"||l.type==="}")return{expr:n,index:o};let f=n.tag==="Atom"&&n.token.type===".";if(f||l.type==="."&&!r&&!p&&t[i+1]?.type!=="whitespace"){let{expr:c,index:u}=this.parsePrimary({tokens:t,index:f?o:o+1});o=u;let s={expr:{tag:"FuncCall",func:{tag:"Atom",token:f?n.token:l},args:f?[c]:[n,c],isInfix:!f,token:f?n.token:l},index:o};for(;t[o]&&t[o].type===".";){let{expr:a,index:d}=this.parsePrimary({tokens:t,index:o+1});s={expr:{tag:"FuncCall",func:{tag:"Atom",token:l},args:[s.expr,a],isInfix:!0,token:l},index:d},o=d}return this.parsePrimaryEnd({primaryExpr:s.expr,tokens:t,index:s.index})}else if((l.type==="operator"||l.type==="."&&!r||l.type==="backtick_identifier")&&t[o+1]?.type!=="("){let c=this.skipWhitespace(t,o+1),{expr:u,index:s}=this.parseExpression({tokens:t,index:c});if(u.tag==="FuncCall"&&u.isInfix&&u.func.tag==="Atom"&&u.func.token.type!=="."&&!this.isParenthesizedExpression(t,c,s-1)){let a=`Ambiguous operator precedence. 
+`&&(o++,i=a+1),a=a+1;t.push({type:"whitespace",value:s,position:{row:d,column:l,character:y},modulePath:n,inputString:e}),r=a-1;break}case"/":if(e[r+1]==="/"){let s="",a=r;for(;e[a]!==`
+`&&a<e.length;)s+=e[a],a=a+1;t.push({type:"single_line_comment",value:s,position:{row:o,column:l,character:y},modulePath:n,inputString:e}),r=a-1}else if(e[r+1]==="*"){let s=r,a="",d=o,V=1;for(a+=e[s],s++,a+=e[s],s++;V>0&&s<e.length;){if(e[s]===`
+`&&(i=s+1,o++),e[s]==="/"&&e[s+1]==="*"){V++,a+="/*",s+=2;continue}if(e[s]==="*"&&e[s+1]==="/"){V--,a+="*/",s+=2;continue}a+=e[s],s++}if(V>0)throw new v({message:"Unterminated multi-line comment",characterIndex:e.length-1});t.push({type:"multi_line_comment",value:a,position:{row:d,column:l,character:y},modulePath:n,inputString:e}),r=s-1}else throw new v({message:`Unexpected character ${p}`,characterIndex:r+1});break;case"(":t.push({type:"(",value:p,position:{row:o,column:l,character:y},modulePath:n,inputString:e});break;case")":t.push({type:")",value:p,position:{row:o,column:l,character:y},modulePath:n,inputString:e});break;case"[":t.push({type:"[",value:p,position:{row:o,column:l,character:y},modulePath:n,inputString:e});break;case"]":t.push({type:"]",value:p,position:{row:o,column:l,character:y},modulePath:n,inputString:e});break;case"{":t.push({type:"{",value:p,position:{row:o,column:l,character:y},modulePath:n,inputString:e});break;case"}":t.push({type:"}",value:p,position:{row:o,column:l,character:y},modulePath:n,inputString:e});break;case"'":{let s="";for(let a=r+1;a<e.length;a++){if(e[a]==="\\"){s+=e[a],a=a+1,s+=e[a];continue}if(e[a]==="'"){r=a;break}s+=e[a]}if(s.length===1||s.length===2&&s[0]==="\\")t.push({type:"char",value:`'${s}'`,position:{row:o,column:l,character:y},modulePath:n,inputString:e});else throw new v({message:`Invalid char '${s}', expected char to have length 1.`,characterIndex:r});break}case'"':{let s="";for(let a=r+1;a<e.length;a++){if(e[a]==="\\"){s+=e[a],a=a+1,s+=e[a];continue}if(e[a]==='"'){r=a;break}s+=e[a]}t.push({type:"string",value:`"${s}"`,position:{row:o,column:l,character:y},modulePath:n,inputString:e});break}case"`":{let s="";for(let a=r+1;a<e.length;a++){if(e[a]==="\\"){s+=e[a],a=a+1,s+=e[a];continue}if(e[a]==="`"){r=a;break}s+=e[a]}if(!j.test(s))throw new v({message:`Invalid backtick identifier \`${s}\``,characterIndex:r});t.push({type:"backtick_identifier",value:`\`${s}\``,position:{row:o,column:l,character:y},modulePath:n,inputString:e});break}case",":t.push({type:",",value:p,position:{row:o,column:l,character:y},modulePath:n,inputString:e});break;case";":t.push({type:";",value:p,position:{row:o,column:l,character:y},modulePath:n,inputString:e});break;default:if(/[0-9]/.test(p)){let s=r,a=p;r=r+1;let d=/[0-9_]/;for(e[r-1]==="0"&&typeof e[r]=="string"&&(e[r]==="x"||e[r]==="X"?(a+=e[r],r=r+1,d=/[0-9A-Fa-f]/):e[r]==="b"||e[r]==="B"?(a+=e[r],r=r+1,d=/[01]/):(e[r]==="o"||e[r]==="O")&&(a+=e[r],r=r+1,d=/[0-7]/));typeof e[r]=="string"&&d.test(e[r]);)a+=e[r],r=r+1;if(e[r]==="."&&e[s-1]!=="."&&(e[r+1]??"").match(/[0-9]/)){for(a+=e[r],r=r+1;typeof e[r]=="string"&&/[0-9_]/.test(e[r]);)a+=e[r],r=r+1;if((e[r]==="e"||e[r]==="E")&&typeof e[r+1]=="string"&&(e[r+1]==="+"||e[r+1]==="-"||/[0-9]/.test(e[r+1])))for(a+=e[r],r=r+1,(e[r]==="+"||e[r]==="-")&&(a+=e[r],r=r+1);typeof e[r]=="string"&&/[0-9_]/.test(e[r]);)a+=e[r],r=r+1;t.push({type:"float",value:a,position:{row:o,column:l,character:y},modulePath:n,inputString:e}),r=r-1}else{if((e[r]==="e"||e[r]==="E")&&typeof e[r+1]=="string"&&(e[r+1]==="+"||e[r+1]==="-"||/[0-9]/.test(e[r+1])))for(a+=e[r],r=r+1,(e[r]==="+"||e[r]==="-")&&(a+=e[r],r=r+1);typeof e[r]=="string"&&/[0-9_]/.test(e[r]);)a+=e[r],r=r+1;t.push({type:"integer",value:a,position:{row:o,column:l,character:y},modulePath:n,inputString:e}),r=r-1}}else if(/[_a-zA-Z\xA0-\uFFFF]/.test(p)){let s=p,a=r;for(r=r+1;typeof e[r]=="string"&&/[_a-zA-Z0-9\xA0-\uFFFF]/.test(e[r]);)s+=e[r],r=r+1;if(r=r-1,(e[r+1]==="!"||e[r+1]==="?")&&j.test(s+e[r+1])&&(r=r+1,s+=e[r]),j.test(s))switch(s){case"true":case"false":t.push({type:"bool",value:s,position:{row:o,column:l,character:y},modulePath:n,inputString:e});break;default:t.push({type:"identifier",value:s,position:{row:o,column:l,character:y},modulePath:n,inputString:e});break}else throw new v({message:`Invalid identifier ${s}`,characterIndex:a})}else throw new v({message:`Unexpected character ${p}`,characterIndex:r});break}}return t}var L=class{constructor({modulePath:n,inputString:t}){this.modulePath=n,this.inputString=t,this.tokens=xe(t,n),this.program=[],this.parse(this.tokens)}skipWhitespace(n,t){for(;n[t]&&(n[t].type==="whitespace"||n[t].type==="single_line_comment"||n[t].type==="multi_line_comment");)t=t+1;return t}skipWhitespaceBackward(n,t){for(;n[t]&&(n[t].type==="whitespace"||n[t].type==="single_line_comment"||n[t].type==="multi_line_comment");)t=t-1;return t}isParenthesizedExpression(n,t,o){return t=this.skipWhitespace(n,t),o=this.skipWhitespaceBackward(n,o),!!n[t]&&n[t].type==="("&&!!n[o]&&n[o].type===")"&&Fe(n,t)===o}parseParenExpr({tokens:n,index:t}){let o=t;if(n[t].type!=="(")throw f({token:n[t],errorMessage:"Expected left paren"});if(n[t+1]?.type===")")return{expr:{tag:"FuncCall",func:{tag:"Atom",token:{type:"identifier",value:_.tuple,position:n[t].position,modulePath:this.modulePath,inputString:this.inputString}},args:[],token:n[t]},index:t+2};let i=this.parseExpression({tokens:n,index:t+1}),r=i.expr;if(t=i.index,n[t].type===")")return{expr:r,index:t+1};{let p,l=[r];for(;;){if(!n[t])throw f({token:n[t-1],errorMessage:"Expected ) or , for tuple"});if(n[t].type===","){if(!p||p===",")p=",";else throw f({token:n[t],errorMessage:'Cannot mix "," with ";" as separator in (...)'});t=t+1}else if(n[t].type===";"){if(!p||p===";")p=";";else throw f({token:n[t],errorMessage:'Cannot mix ";" with "," as separator in (...)'});t=t+1}if(t=this.skipWhitespace(n,t),n[t].type===")")break;let{expr:c,index:u}=this.parseExpression({tokens:n,index:t});l.push(c),t=u}let y=p===";"||!p;return{expr:{tag:"FuncCall",func:{tag:"Atom",token:{type:"identifier",value:y?_.Tuple[0]:_.tuple,position:n[o].position,modulePath:this.modulePath,inputString:this.inputString}},args:l,token:n[o]},index:t+1}}}parseArrayExpr({tokens:n,index:t}){let o=t;if(n[t].type!=="[")throw f({token:n[t],errorMessage:"Expected left bracket"});t=t+1;let i,r=[];for(;;){if(!n[t])throw f({token:n[t-1],errorMessage:"Expected ] or , for array"});if(n[t].type===","){if(!i||i===",")i=",";else throw f({token:n[t],errorMessage:'Cannot mix "," with ";" as separator in [...]'});t=t+1}else if(n[t].type===";"){if(!i||i===";")i=";";else throw f({token:n[t],errorMessage:'Cannot mix ";" with "," as separator in [...]'});t=t+1}if(n[t].type==="]")break;let{expr:c,index:u}=this.parseExpression({tokens:n,index:t});r.push(c),t=u}let p=i===";"||!i;if(p&&r.length>2)throw f({token:n[o],errorMessage:`Expected at 2 arguments for Array type, or 1 argument for Slice type, got ${r.length}`});let l=p&&r.length===2,y=p&&r.length===1;return{expr:{tag:"FuncCall",func:{tag:"Atom",token:{type:"identifier",value:l?_.Array[0]:y?_.Slice[0]:_.array,position:n[o].position,modulePath:this.modulePath,inputString:this.inputString}},args:r,token:n[o]},index:t+1}}parseCurlyBracketExpr({tokens:n,index:t}){let o=t;if(n[t].type!=="{")throw f({token:n[t],errorMessage:"Expected left curly bracket"});let i=[],r;for(t=t+1;;){if(t=this.skipWhitespace(n,t),!n[t])throw f({token:n[t-1],errorMessage:'Unexpected end of curly bracket. Expected "}" or "," or ";"'});if(n[t].type===","){if(!r||r===",")r=",";else throw f({token:n[t],errorMessage:'Cannot mix "," with ";" as separator in {...}'});t=t+1}else if(n[t].type===";"){if(!r||r===";")r=";";else throw f({token:n[t],errorMessage:'Cannot mix ";" with "," as separator in {...}'});t=t+1}if(t=this.skipWhitespace(n,t),n[t].type==="}"){let y=n[this.skipWhitespaceBackward(n,t-1)];if(r===";"&&y&&(y.type===";"||y.type==="{")){let c={type:"identifier",value:_.tuple,position:y.position,modulePath:this.modulePath,inputString:this.inputString};i.push({tag:"FuncCall",func:{tag:"Atom",token:c},args:[],token:c})}break}let{expr:p,index:l}=this.parseExpression({tokens:n,index:t});i.push(p),t=l}if(r===","||!r){for(let l=0;l<i.length;l++){let y=i[l];if($(y)){let c={type:"operator",value:":",position:n[o].position,modulePath:this.modulePath,inputString:this.inputString},u={tag:"FuncCall",func:{tag:"Atom",token:c},isInfix:!0,args:[y,y],token:c};i[l]=u}}return{expr:{tag:"FuncCall",func:{tag:"Atom",token:{type:"identifier",value:"_",position:n[o].position,modulePath:this.modulePath,inputString:this.inputString}},args:i,token:n[o]},index:t+1}}else return{expr:{tag:"FuncCall",func:{tag:"Atom",token:{type:"identifier",value:_.begin[0],position:n[o].position,modulePath:this.modulePath,inputString:this.inputString}},args:i,token:n[o]},index:t+1}}parsePrimary({tokens:n,index:t}){t=this.skipWhitespace(n,t);let o=n[t];if(!o)throw f({token:q,errorMessage:"Unexpected end of input"});let i=null;switch(o.type){case"identifier":case"operator":case"bool":case"integer":case"float":case"string":case"char":{i={expr:{tag:"Atom",token:o},index:t+1};break}case"(":{i=this.parseParenExpr({tokens:n,index:t});break}case"[":{i=this.parseArrayExpr({tokens:n,index:t});break}case"{":{i=this.parseCurlyBracketExpr({tokens:n,index:t});break}case".":{i={expr:{tag:"Atom",token:o},index:t+1};break}default:throw f({token:o,errorMessage:`Unexpected token "${o.type}"`})}return i}isOperatorAtLineStart(n,t){for(let o=n.length-1;o>=0;o--){let i=n[o];if(i.type==="whitespace"&&i.value.includes(`
+`))return n.slice(o+1).every(l=>l.type==="whitespace");if(i.type!=="whitespace")return!1}return n.every(o=>o.type==="whitespace")}parseLeftAssociativeOperator({primaryExpr:n,operatorToken:t,rhs:o,tokens:i,index:r}){if(o.tag==="FuncCall"&&o.isInfix&&o.func.tag==="Atom"&&o.func.token.type!=="."){let p=o.args[0],l=o.args[1],y=o.func,c={tag:"FuncCall",func:{tag:"Atom",token:t},args:[n,p],isInfix:!0,token:t};return this.parsePrimaryEnd({primaryExpr:{tag:"FuncCall",func:y,args:[c,l],isInfix:!0,token:y.token},tokens:i,index:r})}else return this.parsePrimaryEnd({primaryExpr:{tag:"FuncCall",func:{tag:"Atom",token:t},args:[n,o],isInfix:!0,token:t},tokens:i,index:r})}getExprMinimumColumnNumber(n){return $(n)?n.token.position.column:Math.min(this.getExprMinimumColumnNumber(n.func),...n.args.map(t=>this.getExprMinimumColumnNumber(t)))}parsePrimaryEnd({primaryExpr:n,tokens:t,index:o}){let i=this.skipWhitespace(t,o),r=i!==o,p=t[o-1]?.type==="whitespace";o=i;let l=t[i];if(!l||l.type===";"||l.type===","||l.type===")"||l.type==="]"||l.type==="}")return{expr:n,index:o};let y=n.tag==="Atom"&&n.token.type===".";if(y||l.type==="."&&!r&&!p&&t[i+1]?.type!=="whitespace"){let{expr:c,index:u}=this.parsePrimary({tokens:t,index:y?o:o+1});o=u;let s={expr:{tag:"FuncCall",func:{tag:"Atom",token:y?n.token:l},args:y?[c]:[n,c],isInfix:!y,token:y?n.token:l},index:o};for(;t[o]&&t[o].type===".";){let{expr:a,index:d}=this.parsePrimary({tokens:t,index:o+1});s={expr:{tag:"FuncCall",func:{tag:"Atom",token:l},args:[s.expr,a],isInfix:!0,token:l},index:d},o=d}return this.parsePrimaryEnd({primaryExpr:s.expr,tokens:t,index:s.index})}else if((l.type==="operator"||l.type==="."&&!r||l.type==="backtick_identifier")&&t[o+1]?.type!=="("){let c=this.skipWhitespace(t,o+1),{expr:u,index:s}=this.parseExpression({tokens:t,index:c});if(u.tag==="FuncCall"&&u.isInfix&&u.func.tag==="Atom"&&u.func.token.type!=="."&&!this.isParenthesizedExpression(t,c,s-1)){let a=`Ambiguous operator precedence. 
 Please use parentheses to clarify:
 
 ${g(n)} ${l.value} (${g(u)})
@@ -21,31 +21,31 @@ ${g(n)} ${l.value} (${g(u)})
 (${g(n)} ${l.value} ${g(u.args[0])}) ${g(u.func)} ${g(u.args[1])}
 
 Or use newline after "${l.value}" to confirm the right-associativity.
-`,V=t.slice(o+1,c).some(Ee=>Ee.type==="whitespace"&&Ee.value.includes(`
-`)),re=t.slice(0,o),x=this.isOperatorAtLineStart(re,o),U=t.slice(o+1,c),De=x&&U.length>0&&U[0]?.type==="whitespace"&&U[0]?.value.includes(`
-`);if(!(V&&!x)){if(!De){if(x)return this.parseLeftAssociativeOperator({primaryExpr:n,operatorToken:l,rhs:u,tokens:t,index:s});throw y({token:l,errorMessage:a})}}}return this.parsePrimaryEnd({primaryExpr:{tag:"FuncCall",func:{tag:"Atom",token:l},args:[n,u],isInfix:!0,token:l},tokens:t,index:s})}else if(!r&&l.type==="("){let c=this.parseFunctionCall({func:n,tokens:t,index:o+1,hasWhitespace:!1});return this.parsePrimaryEnd({primaryExpr:c.expr,tokens:t,index:c.index})}else{let c=this.parseFunctionCall({func:n,tokens:t,index:o,hasWhitespace:!0});return this.parsePrimaryEnd({primaryExpr:c.expr,tokens:t,index:c.index})}}parseFunctionArguments({tokens:n,index:t,hasWhitespace:o}){let i=[];if(t=this.skipWhitespace(n,t),!o&&n[t]?.type===")")return{args:i,index:t+1};for(;;){let{expr:r,index:p}=this.parseExpression({tokens:n,index:t});i.push(r),t=p;let l=n[t];if(l?.type===",")t=t+1;else{if(!l||l.type===";"||l.type==="]"||l.type==="}")return{args:i,index:t};if(l.type===")")return{args:i,index:o?t:t+1};throw y({token:l,errorMessage:o?"Expected ; to end the function call":`Expected , to separate arguments
+`,V=t.slice(o+1,c).some(Ce=>Ce.type==="whitespace"&&Ce.value.includes(`
+`)),Z=t.slice(0,o),k=this.isOperatorAtLineStart(Z,o),U=t.slice(o+1,c),je=k&&U.length>0&&U[0]?.type==="whitespace"&&U[0]?.value.includes(`
+`);if(!(V&&!k)){if(!je){if(k)return this.parseLeftAssociativeOperator({primaryExpr:n,operatorToken:l,rhs:u,tokens:t,index:s});throw f({token:l,errorMessage:a})}}}return this.parsePrimaryEnd({primaryExpr:{tag:"FuncCall",func:{tag:"Atom",token:l},args:[n,u],isInfix:!0,token:l},tokens:t,index:s})}else if(!r&&l.type==="("){let c=this.parseFunctionCall({func:n,tokens:t,index:o+1,hasWhitespace:!1});return this.parsePrimaryEnd({primaryExpr:c.expr,tokens:t,index:c.index})}else{let c=this.parseFunctionCall({func:n,tokens:t,index:o,hasWhitespace:!0});return this.parsePrimaryEnd({primaryExpr:c.expr,tokens:t,index:c.index})}}parseFunctionArguments({tokens:n,index:t,hasWhitespace:o}){let i=[];if(t=this.skipWhitespace(n,t),!o&&n[t]?.type===")")return{args:i,index:t+1};for(;;){let{expr:r,index:p}=this.parseExpression({tokens:n,index:t});i.push(r),t=p;let l=n[t];if(l?.type===",")t=t+1;else{if(!l||l.type===";"||l.type==="]"||l.type==="}")return{args:i,index:t};if(l.type===")")return{args:i,index:o?t:t+1};throw f({token:l,errorMessage:o?"Expected ; to end the function call":`Expected , to separate arguments
 or ) to end the function call`})}}}parseFunctionCall({func:n,tokens:t,index:o,hasWhitespace:i}){let{args:r,index:p}=this.parseFunctionArguments({tokens:t,index:o,hasWhitespace:i});return o=p,{expr:{tag:"FuncCall",func:n,args:r,token:n.token},index:o}}parseExpression({tokens:n,index:t}){t=this.skipWhitespace(n,t);let{expr:o,index:i}=this.parsePrimary({tokens:n,index:t});return this.parsePrimaryEnd({primaryExpr:o,tokens:n,index:i})}programToString(){return this.program.map(t=>g(t)).join(`;
-`)}parse(n){let t=0,o=[];for(;t<n.length;){switch(n[t].type){case"whitespace":case";":case"single_line_comment":case"multi_line_comment":{t=t+1;continue}}if(t>=n.length)break;try{let{expr:p,index:l}=this.parseExpression({tokens:n,index:t});o.push(p),t=l}catch(p){this.parserError=p;break}}let i=n[this.skipWhitespaceBackward(n,n.length-1)];if(i&&i.type===";"){let r={type:"identifier",value:_.tuple,position:i.position,modulePath:this.modulePath,inputString:this.inputString};o.push({tag:"FuncCall",func:{tag:"Atom",token:r},args:[],token:r})}this.program=o}getProgram(){return this.program}getParserError(){return this.parserError}getTokens(){return this.tokens}};function ie(e){let n=new L({modulePath:`auto-generated://
+`)}parse(n){let t=0,o=[];for(;t<n.length;){switch(n[t].type){case"whitespace":case";":case"single_line_comment":case"multi_line_comment":{t=t+1;continue}}if(t>=n.length)break;try{let{expr:p,index:l}=this.parseExpression({tokens:n,index:t});o.push(p),t=l}catch(p){this.parserError=p;break}}let i=n[this.skipWhitespaceBackward(n,n.length-1)];if(i&&i.type===";"){let r={type:"identifier",value:_.tuple,position:i.position,modulePath:this.modulePath,inputString:this.inputString};o.push({tag:"FuncCall",func:{tag:"Atom",token:r},args:[],token:r})}this.program=o}getProgram(){return this.program}getParserError(){return this.parserError}getTokens(){return this.tokens}};function J(e){let n=new L({modulePath:`auto-generated://
 // === START auto-generated code ===
 ${e}
 // === END auto-generated code ===
 `,inputString:e});if(n.getParserError())throw n.getParserError();let t=n.getProgram();if(t.length!==1)throw new Error(`Expected exactly one expression from parsed code, got ${t.length}: "${e}"
 ${t.map(o=>g(o)).join(`
 `)}      
-`);return t[0]}import{createHash as Ye}from"crypto";var Qe=0;function Ae(){return`id${Qe++}`}function Je(e){return"yo"+Ye("sha1").update(e).digest("hex").slice(0,8)}var Ie=new Map;function ce(e,n){let t="";for(let r=0;r<n.length;r++)if(P(n[r])){let p=oe.indexOf(n[r]);t+=`${p}`}else t+=n[r];let o=Je(e)+"_"+t,i=Ie.get(o);return i===void 0?i=0:i++,Ie.set(o,i),o+(i==0?"":`_${i}`)}var fe=null;function Ue(){if(fe)return fe;let e=Pe(),n=ze(e),t={id:"unit",tag:"unit",module:n};return n.receiverType=t,fe=t,t}function ze(e){return{id:`module_${Ae()}`,tag:"Module",fields:[],env:e,module:void 0}}function k(e){return e?.tag==="FuncCall"}function F(e){return e?.tag==="Atom"}function w(e){return e.tag==="Atom"&&e.token.type==="operator"}function A(e,n,t){if(e.tag!=="FuncCall"||e.func.tag!=="Atom")return!1;let o=e.func.token.value;return e.func.token.type==="backtick_identifier"&&(o=o.slice(1,-1)),e.tag==="FuncCall"&&e.func.tag==="Atom"&&(typeof n=="string"?o===n:n.includes(o))&&(t===void 0||e.args.length===t)}var _={compt:["compt"],ref:["ref"],forall:["forall","\u2200"],where:["where"],quote:["quote",":"],unquote:["unquote","#"],unquote_splicing:["unquote_splicing","...#"],return:["return"],recur:["recur"],fn:["fn"],unsafe_fn:["unsafe_fn"],extern:["extern"],cond:["cond"],type:["type"],match:["match"],test:["test"],struct:["struct"],object:["object"],newtype:["newtype"],enum:["enum"],union:["union"],module:["module"],impl:["impl"],Impl:["Impl"],begin:["begin"],module_begin:["module_begin"],import:["import"],export:["export"],open:["open"],clone:["clone","%"],break:["break"],continue:["continue"],while:["while"],if:["if"],op_and:["&&"],op_or:["||"],not:["not"],gensym:["gensym"],dyn:["dyn"],Dyn:["Dyn"],Fn:["Fn"],c_include:["c_include"],undefined:["undefined"],null:["null"],true:["true"],false:["false"],unique:["unique","^"],Ptr:["*"],Iso:["Iso"],Tuple:["Tuple"],Array:["Array"],Slice:["Slice"],Future:["Future"],Concrete:["Concrete"],Type:["Type"],Module:["Module"],ComptList:["ComptList"],tuple:"tuple",array:"array",compt_list:"compt_list"};function I(e){return!!(e.tag==="FuncCall"&&e.isInfix&&e.func.tag==="Atom"&&(e.func.token.type==="operator"||e.func.token.type==="backtick_identifier")&&e.args.length===2)}function g(e,n){let o={...{prettyPrint:!1,indentSize:2,maxLineLength:80,indentLevel:0},...n};return o.prettyPrint?T(e,o):h(e)}function h(e){let n="";switch(e.tag){case"Atom":{n=e.token.value;break}case"FuncCall":{if(e.func.tag==="Atom"&&(e.func.token.type==="operator"||e.func.token.type==="."||e.func.token.type==="backtick_identifier")){if(e.args.length===1){e.func.token.value==="."?n=`${e.func.token.value}${h(e.args[0])}`:n=`${e.func.token.value}(${h(e.args[0])})`;break}else if(e.args.length===2&&e.isInfix){let i=h(e.args[0]),r=h(e.args[1]);i=I(e.args[0])||w(e.args[0])?`(${i})`:i,r=I(e.args[1])||w(e.args[1])?`(${r})`:r,e.func.token.value==="."?n=`(${i}.${r})`:n=`${i} ${e.func.token.value} ${r}`;break}}if(e.func.tag==="Atom"&&e.func.token.type==="identifier"&&e.func.token.value===_.tuple){e.args.length===1?n=`(${h(e.args[0])},)`:n=`(${e.args.map(i=>h(i)).join(", ").trim()})`;break}let t=h(e.func);t=I(e.func)||w(e.func)?`(${t})`:t;let o=e.args.map(i=>h(i)).join(", ").trim();n=`${t}(${o})`;break}}return n}function T(e,n){let t=" ".repeat(n.indentLevel*n.indentSize),o={...n,indentLevel:n.indentLevel+1},i=" ".repeat(o.indentLevel*n.indentSize);switch(e.tag){case"Atom":return e.token.value;case"FuncCall":{if(e.func.tag==="Atom"&&(e.func.token.type==="operator"||e.func.token.type==="."||e.func.token.type==="backtick_identifier")){if(e.args.length===1){if(e.func.token.value===".")return`${e.func.token.value}${T(e.args[0],n)}`;{let c=T(e.args[0],n);return`${e.func.token.value}(${c})`}}else if(e.args.length===2&&e.isInfix){let c=T(e.args[0],n),u=T(e.args[1],n);return c=I(e.args[0])||w(e.args[0])?`(${c})`:c,u=I(e.args[1])||w(e.args[1])?`(${u})`:u,e.func.token.value==="."?`(${c}.${u})`:`${c} ${e.func.token.value} ${u}`}}if(e.func.tag==="Atom"&&e.func.token.type==="identifier"&&e.func.token.value===_.tuple){if(e.args.length===0)return"()";if(e.args.length===1)return`(${T(e.args[0],n)},)`;{let c=e.args.map(s=>T(s,n)),u=`(${c.join(", ")})`;return u.length<=n.maxLineLength?u:`(
+`);return t[0]}import{createHash as Qe}from"crypto";function Ue(e){return"yo"+Qe("sha1").update(e).digest("hex").slice(0,8)}var Ie=new Map;function ue(e){let n=Ie.get(e);return n===void 0&&(n=0),Ie.set(e,n+1),`${Ue(e)}_id_${n}`}var Ae=new Map;function pe(e,n){let t="";for(let r=0;r<n.length;r++)if(P(n[r])){let p=Q.indexOf(n[r]);t+=`${p}`}else t+=n[r];let o=Ue(e)+"_"+t,i=Ae.get(o);return i===void 0?i=0:i++,Ae.set(o,i),o+(i==0?"":`_${i}`)}var ce="__yo_self";var Nn=`(fn(${ce} : Self) -> unit)`,Dn=`(fn(${ce} : Self) -> unit)`,qn=`(fn(${ce} : Self) -> Self)`;var _e=null;function Le(){if(_e)return _e;let e=Oe(),n=Be(e),t={id:"unit",tag:"unit",module:n};return n.receiverType=t,_e=t,t}function Be(e){return{id:`module_${ue(e.modulePath)}`,tag:"Module",fields:[],env:e,module:void 0}}function x(e){return e?.tag==="FuncCall"}function $(e){return e?.tag==="Atom"}function w(e){return e.tag==="Atom"&&e.token.type==="operator"}function A(e,n,t){if(e.tag!=="FuncCall"||e.func.tag!=="Atom")return!1;let o=e.func.token.value;return e.func.token.type==="backtick_identifier"&&(o=o.slice(1,-1)),e.tag==="FuncCall"&&e.func.tag==="Atom"&&(typeof n=="string"?o===n:n.includes(o))&&(t===void 0||e.args.length===t)}var _={compt:["compt"],ref:["ref"],forall:["forall","\u2200"],where:["where"],quote:["quote",":"],unquote:["unquote","#"],unquote_splicing:["unquote_splicing","...#"],return:["return"],recur:["recur"],fn:["fn"],unsafe_fn:["unsafe_fn"],extern:["extern"],cond:["cond"],type:["type"],match:["match"],test:["test"],struct:["struct"],object:["object"],newtype:["newtype"],enum:["enum"],union:["union"],module:["module"],impl:["impl"],Impl:["Impl"],begin:["begin"],module_begin:["module_begin"],import:["import"],export:["export"],open:["open"],clone:["clone","%"],break:["break"],continue:["continue"],while:["while"],if:["if"],op_and:["&&"],op_or:["||"],not:["not"],gensym:["gensym"],dyn:["dyn"],Dyn:["Dyn"],Fn:["Fn"],c_include:["c_include"],undefined:["undefined"],null:["null"],true:["true"],false:["false"],unique:["unique","^"],Ptr:["*"],Iso:["Iso"],Tuple:["Tuple"],Array:["Array"],Slice:["Slice"],Future:["Future"],Concrete:["Concrete"],Type:["Type"],Module:["Module"],ComptList:["ComptList"],tuple:"tuple",array:"array",compt_list:"compt_list"};function I(e){return!!(e.tag==="FuncCall"&&e.isInfix&&e.func.tag==="Atom"&&(e.func.token.type==="operator"||e.func.token.type==="backtick_identifier")&&e.args.length===2)}function g(e,n){let o={...{prettyPrint:!1,indentSize:2,maxLineLength:80,indentLevel:0},...n};return o.prettyPrint?T(e,o):h(e)}function h(e){let n="";switch(e.tag){case"Atom":{n=e.token.value;break}case"FuncCall":{if(e.func.tag==="Atom"&&(e.func.token.type==="operator"||e.func.token.type==="."||e.func.token.type==="backtick_identifier")){if(e.args.length===1){e.func.token.value==="."?n=`${e.func.token.value}${h(e.args[0])}`:n=`${e.func.token.value}(${h(e.args[0])})`;break}else if(e.args.length===2&&e.isInfix){let i=h(e.args[0]),r=h(e.args[1]);i=I(e.args[0])||w(e.args[0])?`(${i})`:i,r=I(e.args[1])||w(e.args[1])?`(${r})`:r,e.func.token.value==="."?n=`(${i}.${r})`:n=`${i} ${e.func.token.value} ${r}`;break}}if(e.func.tag==="Atom"&&e.func.token.type==="identifier"&&e.func.token.value===_.tuple){e.args.length===1?n=`(${h(e.args[0])},)`:n=`(${e.args.map(i=>h(i)).join(", ").trim()})`;break}let t=h(e.func);t=I(e.func)||w(e.func)?`(${t})`:t;let o=e.args.map(i=>h(i)).join(", ").trim();n=`${t}(${o})`;break}}return n}function T(e,n){let t=" ".repeat(n.indentLevel*n.indentSize),o={...n,indentLevel:n.indentLevel+1},i=" ".repeat(o.indentLevel*n.indentSize);switch(e.tag){case"Atom":return e.token.value;case"FuncCall":{if(e.func.tag==="Atom"&&(e.func.token.type==="operator"||e.func.token.type==="."||e.func.token.type==="backtick_identifier")){if(e.args.length===1){if(e.func.token.value===".")return`${e.func.token.value}${T(e.args[0],n)}`;{let c=T(e.args[0],n);return`${e.func.token.value}(${c})`}}else if(e.args.length===2&&e.isInfix){let c=T(e.args[0],n),u=T(e.args[1],n);return c=I(e.args[0])||w(e.args[0])?`(${c})`:c,u=I(e.args[1])||w(e.args[1])?`(${u})`:u,e.func.token.value==="."?`(${c}.${u})`:`${c} ${e.func.token.value} ${u}`}}if(e.func.tag==="Atom"&&e.func.token.type==="identifier"&&e.func.token.value===_.tuple){if(e.args.length===0)return"()";if(e.args.length===1)return`(${T(e.args[0],n)},)`;{let c=e.args.map(s=>T(s,n)),u=`(${c.join(", ")})`;return u.length<=n.maxLineLength?u:`(
 ${i}${c.join(`,
 ${i}`)}
 ${t})`}}let r=e.func.tag==="Atom"?e.func.token.value:null,p=r&&[..._.begin,..._.cond,..._.match,..._.fn,..._.if,..._.while].includes(r),l=T(e.func,n);if(l=I(e.func)||w(e.func)?`(${l})`:l,e.args.length===0)return`${l}()`;if(!p){let c=e.args.map(s=>T(s,n)),u=`${l}(${c.join(", ")})`;if(u.length<=n.maxLineLength)return u}if(p){if(r===_.begin[0]){if(e.args.length===1){let u=T(e.args[0],n);if(u.length<=n.maxLineLength&&!u.includes(`
 `))return`${l}(${u})`}let c=e.args.map(u=>T(u,o));return`${l}(
 ${i}${c.join(`,
 ${i}`)}
-${t})`}else if(r===_.cond[0]){let c=e.args.map(u=>{if(k(u)&&u.isInfix&&A(u,"=>")){let s=u.args[0],a=T(u.args[1],o),d=T(s,n);if(k(s)&&s.isInfix&&!A(s,"=>")&&(d=`(${d})`),a.includes(`
-`)){let re=a.split(`
-`).map((x,U)=>U===0?x:`${i}${x}`).join(`
-`);return`${d} => ${re}`}else return`${d} => ${a}`}return T(u,o)});return`${l}(
+${t})`}else if(r===_.cond[0]){let c=e.args.map(u=>{if(x(u)&&u.isInfix&&A(u,"=>")){let s=u.args[0],a=T(u.args[1],o),d=T(s,n);if(x(s)&&s.isInfix&&!A(s,"=>")&&(d=`(${d})`),a.includes(`
+`)){let Z=a.split(`
+`).map((k,U)=>U===0?k:`${i}${k}`).join(`
+`);return`${d} => ${Z}`}else return`${d} => ${a}`}return T(u,o)});return`${l}(
 ${i}${c.join(`,
 ${i}`)}
-${t})`}}let f=e.args.map(c=>T(c,o));return`${l}(
-${i}${f.join(`,
+${t})`}}let y=e.args.map(c=>T(c,o));return`${l}(
+${i}${y.join(`,
 ${i}`)}
-${t})`}}return h(e)}var lt={tag:"Unit",type:Ue()};var ve=new Map,ne=new Map,yt=new Map;function _t(e){for(let[n,t]of ne.entries()){let o=t.filter(i=>i.sourceModulePath!==e);o.length===0?ne.delete(n):ne.set(n,o)}}function mt(){ve.clear(),ne.clear(),yt.clear()}function dt(e){let n=ve.get(e);if(n){for(let t of n)t.fields=t.fields.filter(o=>o.sourceModulePath!==e);ve.delete(e)}}function Ne({modulePath:e,inputString:n}){return{functionDeclarationFrameLevel:-1,frames:[],freeVariables:[],modulePath:e,inputString:n}}function Pe(){let e=Ne({modulePath:"",inputString:""});return R(e)}function R(e,n={id:ce(e.modulePath,"frame"),variables:[],isBeginBlockFrame:!1},t){let o=t?{...n,isBeginBlockFrame:!0}:n;return{functionDeclarationFrameLevel:e.functionDeclarationFrameLevel,freeVariables:e.freeVariables,frames:[...e.frames,o],modulePath:e.modulePath,inputString:e.inputString}}var Fa=process.env.YO_SKIP_PRELUDE==="1"||process.env.YO_SKIP_PRELUDE==="true";export{j as IdentifierRegex,oe as Operators,G as PlaceholderToken,ht as RAIIToken,z as TokenType,P as charIsOperator,mt as clearAllGlobalImplState,_t as clearGenericImplsFromModule,dt as clearImplsFromModule,Ve as findMatchingBracketTokenIndex,ie as generateExprFromCode,Ce as stringIsOperator,Fe as tokenize};
+${t})`}}return h(e)}var st={tag:"Unit",type:Le()};var be=new Map,Y=new Map,_t=new Map;function mt(e){for(let[n,t]of Y.entries()){let o=t.filter(i=>i.sourceModulePath!==e);o.length===0?Y.delete(n):Y.set(n,o)}}function dt(){be.clear(),Y.clear(),_t.clear()}function gt(e){let n=be.get(e);if(n){for(let t of n)t.fields=t.fields.filter(o=>o.sourceModulePath!==e);be.delete(e)}}function qe({modulePath:e,inputString:n}){return{functionDeclarationFrameLevel:-1,frames:[],freeVariables:[],modulePath:e,inputString:n}}function Oe(){let e=qe({modulePath:"",inputString:""});return N(e)}function N(e,n={id:pe(e.modulePath,"frame"),variables:[],isBeginBlockFrame:!1},t){let o=t?{...n,isBeginBlockFrame:!0}:n;return{functionDeclarationFrameLevel:e.functionDeclarationFrameLevel,freeVariables:e.freeVariables,frames:[...e.frames,o],modulePath:e.modulePath,inputString:e.inputString}}var wa=process.env.YO_SKIP_PRELUDE==="1"||process.env.YO_SKIP_PRELUDE==="true";export{j as IdentifierRegex,Q as Operators,q as PlaceholderToken,vt as RAIIToken,z as TokenType,P as charIsOperator,dt as clearAllGlobalImplState,mt as clearGenericImplsFromModule,gt as clearImplsFromModule,Fe as findMatchingBracketTokenIndex,J as generateExprFromCode,$e as stringIsOperator,xe as tokenize};

package/out/types/src/codegen/expressions/index.d.ts

@@ -1,2 +1 @@
-export * from "./array";
 export * from "./generation";

package/out/types/src/codegen/utils/index.d.ts

@@ -1,4 +1,5 @@
 import { Emitter } from "../../emitter";
+import { Environment } from "../../env";
 import { FunctionValue, FuncValueId } from "../../function-value";
 import { DynType, EnumType, FunctionType, IsoType, StructType, Type, TypeId } from "../../types";
 import { ModuleValue } from "../../value";
@@ -61,17 +62,18 @@ export interface CodeGenContext {
         dynType: DynType;
         concreteType: Type;
         dataType: Type;
-        moduleValue: ModuleValue;
+        moduleValues: ModuleValue[];
     }>;
     currentLoopLabel?: string;
+    currentContinueLabel?: string;
 }
-export declare function sanitizeForCIdentifier(str: string): string;
+export declare function sanitizeForCIdentifier(str: string, isExternC?: boolean): string;
 export declare function shouldAvoidConst(type: Type): boolean;
 export declare function getTypeString(type: Type | undefined, context: CodeGenContext): string;
 export declare function getVariableTypeString(type: Type, varName: string, context: CodeGenContext): string;
 export declare function getEnumVariantCName(enumType: EnumType, variantName: string, context: CodeGenContext): string;
-export declare function isGenericFunction(functionValue: FunctionValue): boolean;
 export declare function isComptFunction(functionValue: FunctionValue): boolean;
 export declare function isFunctionValueWithOnlyBuiltinYoInlineFunctionCall(functionValue: FunctionValue): string | null;
 export declare function canOptimizeAsNullablePointer(enumType: EnumType): Type | null;
 export declare function canOptimizeAsSimpleEnum(enumType: EnumType): boolean;
+export declare function getVariableNameForCodegen(variableName: string, env: Environment | undefined): string;

package/out/types/src/env.d.ts

@@ -7,8 +7,8 @@ export interface Variable {
     type: Type;
     value?: Value;
     isCompileTimeOnly: boolean;
-    isOwningTheGcValue: boolean;
-    isOwningTheSameGcValueAs?: Variable;
+    isOwningTheRcValue: boolean;
+    isOwningTheSameRcValueAs?: Variable;
     isReassignable?: boolean;
     initializedAtToken: Token | undefined;
     consumedAtToken: Token | undefined;
@@ -38,13 +38,14 @@ export declare function setEnvContainingPrelude(env: Environment): void;
 export declare function clearEnvContainingPrelude(): void;
 export declare function createEnvContainingPrelude(): Environment;
 export declare function isEvaluatingPreludeModule(): boolean;
-export declare function addVariableToEnv({ env, variable, deltaFrame, variableId, skipCheckingFunctionOverloading, addToBeginBlockFrame, }: {
+export declare const YoSelf = "__yo_self";
+export declare function addVariableToEnv({ env, variable, deltaFrame, variableId, addToBeginBlockFrame, allowVariableShadowing, }: {
     env: Environment;
     variable: Omit<Variable, "id" | "frameLevel">;
     deltaFrame?: number;
     variableId?: string;
-    skipCheckingFunctionOverloading?: boolean;
     addToBeginBlockFrame?: boolean;
+    allowVariableShadowing?: boolean;
 }): {
     env: Environment;
     variable: Variable;
@@ -69,8 +70,8 @@ export declare function getVariableInfo(variable: Variable): {
     value: string;
     isCompileTimeOnly: boolean;
     isUndefined: boolean;
-    isOwningTheGcValue: boolean;
-    isOwningTheSameGcValueAs: string | undefined;
+    isOwningTheRcValue: boolean;
+    isOwningTheSameRcValueAs: string | undefined;
     isReassignable: boolean;
     isConsumed: boolean;
 };

package/out/types/src/error.d.ts

@@ -3,6 +3,7 @@ export interface TokenAndError {
     token: Token;
     errorMessage: string;
 }
+export type ErrorKind = "overflow";
 export declare class YoLexerError {
     characterIndex: number;
     message: string;
@@ -14,7 +15,8 @@ export declare class YoLexerError {
 export declare class YoError {
     tokenAndErrorList: TokenAndError[];
     isAssertionError: boolean;
-    constructor(tokenAndErrorList: TokenAndError[], isAssertionError?: boolean);
+    kind?: ErrorKind;
+    constructor(tokenAndErrorList: TokenAndError[], isAssertionError?: boolean, kind?: ErrorKind);
     toString(): string;
 }
 export declare function getLineAtToken({ token }: {
@@ -28,13 +30,14 @@ export declare function getLineAtPosition({ modulePath, inputString, position, }
         column: number;
     };
 }): string;
-export declare function formatErrorMessage({ token, errorMessage, cause, isAssertionError, }: {
+export declare function formatErrorMessage({ token, errorMessage, cause, isAssertionError, kind, }: {
     token: Token;
     errorMessage: string;
     cause?: Error;
     isAssertionError?: boolean;
+    kind?: ErrorKind;
 }): YoError;
-export declare function formatErrorMessages(tokenAndErrorList: TokenAndError[], isAssertionError?: boolean): YoError;
+export declare function formatErrorMessages(tokenAndErrorList: TokenAndError[], isAssertionError?: boolean, kind?: ErrorKind): YoError;
 export declare function formatWarningMessages({ warningMessage, tokenAndWarningList, }: {
     warningMessage?: string;
     tokenAndWarningList: {

package/out/types/src/evaluator/async/await-analysis-types.d.ts

@@ -14,7 +14,7 @@ export interface CapturedVariable {
     name: string;
     type: Type;
     kind: "local" | "outer";
-    isOwningTheSameGcValueAs: CapturedVariable | undefined;
+    isOwningTheSameRcValueAs: CapturedVariable | undefined;
 }
 export interface AwaitAnalysisResult {
     awaitPoints: AwaitPoint[];

package/out/types/src/evaluator/builtins/arc_fns.d.ts

@@ -56,3 +56,23 @@ export declare function evaluateYoIsoDispose({ expr, env, context, }: {
     env: Environment;
     context: EvaluatorContext;
 }): Expr;
+export declare function evaluateYoDropArrayElement({ expr, env, context, }: {
+    expr: FuncCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): Expr;
+export declare function evaluateYoDupArrayElement({ expr, env, context, }: {
+    expr: FuncCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): Expr;
+export declare function evaluateYoDropTupleElement({ expr, env, context, }: {
+    expr: FuncCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): Expr;
+export declare function evaluateYoDupTupleElement({ expr, env, context, }: {
+    expr: FuncCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): Expr;

package/out/types/src/evaluator/builtins/array_fns.d.ts

@@ -0,0 +1,8 @@
+import { Environment } from "../../env";
+import { FuncCallExpr } from "../../expr";
+import { EvaluatorContext } from "../context";
+export declare function evaluateYoArrayFill({ expr, env, context, }: {
+    expr: FuncCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FuncCallExpr;

package/out/types/src/evaluator/builtins/type_fns.d.ts

@@ -11,12 +11,12 @@ export declare function evaluateYoAreTypesCompatible({ expr, env, context, }: {
     env: Environment;
     context: EvaluatorContext;
 }): FuncCallExpr;
-export declare function evaluateYoTypeContainsGcType({ expr, env, context, }: {
+export declare function evaluateYoTypeContainsRcType({ expr, env, context, }: {
     expr: FuncCallExpr;
     env: Environment;
     context: EvaluatorContext;
 }): FuncCallExpr;
-export declare function evaluateYoTypeCanFormGcCycle({ expr, env, context, }: {
+export declare function evaluateYoTypeCanFormRcCycle({ expr, env, context, }: {
     expr: FuncCallExpr;
     env: Environment;
     context: EvaluatorContext;

package/out/types/src/evaluator/builtins/var_fns.d.ts

@@ -6,7 +6,7 @@ export declare function evaluateYoVarPrintInfo({ expr, env, context, }: {
     env: Environment;
     context: EvaluatorContext;
 }): FuncCallExpr;
-export declare function evaluateYoVarIsOwningTheGcValue({ expr, env, context, }: {
+export declare function evaluateYoVarIsOwningTheRcValue({ expr, env, context, }: {
     expr: FuncCallExpr;
     env: Environment;
     context: EvaluatorContext;

package/out/types/src/evaluator/calls/numeric_type.d.ts

@@ -2,6 +2,10 @@ import { Environment } from "../../env";
 import { Expr, FuncCallExpr } from "../../expr";
 import { Type } from "../../types";
 import { EvaluatorContext } from "../context";
+export declare function getNumericBounds(type: Type): {
+    min: number | bigint;
+    max: number | bigint;
+} | undefined;
 export declare function isConvertibleNumericType(type: Type): boolean;
 export declare function tryToConvertToNumericType({ targetType, argExpr, expr, callerEnv, context, }: {
     targetType: Type;

package/out/types/src/evaluator/types/utils.d.ts

@@ -15,40 +15,40 @@ export declare function addFunctionCodeToSelfTypeModule({ label, functionCode, S
     env: Environment;
     context: EvaluatorContext;
 }): Environment;
-export declare const DisposeFnSignature = "(fn(self : Self) -> unit)";
-export declare const DropFnSignature = "(fn(self : Self) -> unit)";
-export declare const DupFnSignature = "(fn(self : Self) -> Self)";
-export declare function addARCFunctionsToStructType({ structType, env, context, }: {
+export declare const DisposeFnSignature = "(fn(__yo_self : Self) -> unit)";
+export declare const DropFnSignature = "(fn(__yo_self : Self) -> unit)";
+export declare const DupFnSignature = "(fn(__yo_self : Self) -> Self)";
+export declare function addRcFunctionsToStructType({ structType, env, context, }: {
     structType: StructType;
     env: Environment;
     context: EvaluatorContext;
 }): Environment;
-export declare function addARCFunctionSignaturesToStructType({ structType, env, context, }: {
+export declare function addRcFunctionSignaturesToStructType({ structType, env, context, }: {
     structType: StructType;
     env: Environment;
     context: EvaluatorContext;
 }): void;
-export declare function addARCFunctionsToEnumType({ enumType, env, context, }: {
+export declare function addRcFunctionsToEnumType({ enumType, env, context, }: {
     enumType: EnumType;
     env: Environment;
     context: EvaluatorContext;
 }): Environment;
-export declare function addARCFunctionSignaturesToEnumType({ enumType, env, context, }: {
+export declare function addRcFunctionSignaturesToEnumType({ enumType, env, context, }: {
     enumType: EnumType;
     env: Environment;
     context: EvaluatorContext;
 }): void;
-export declare function addARCFunctionsToDynType({ dynType, env, context, }: {
+export declare function addRcFunctionsToDynType({ dynType, env, context, }: {
     dynType: DynType;
     env: Environment;
     context: EvaluatorContext;
 }): Environment;
-export declare function addARCFunctionsToSomeType({ someType, env, context, }: {
+export declare function addRcFunctionsToSomeType({ someType, env, context, }: {
     someType: SomeType;
     env: Environment;
     context: EvaluatorContext;
 }): Environment;
-export declare function addARCFunctionsToIsoType({ isoType, env, context, }: {
+export declare function addRcFunctionsToIsoType({ isoType, env, context, }: {
     isoType: IsoType;
     env: Environment;
     context: EvaluatorContext;

package/out/types/src/evaluator/utils.d.ts

@@ -1,4 +1,4 @@
 import { Environment, Variable } from "../env";
 import { Expr } from "../expr";
 export declare function isValidVariableName(expr: Expr): boolean;
-export declare function findGcValueOwnerRelationship(rhs: Expr, env: Environment, _modulePath: string): Variable | undefined;
+export declare function findRcValueOwnerRelationship(rhs: Expr, env: Environment, _modulePath: string): Variable | undefined;

package/out/types/src/expr.d.ts

@@ -138,6 +138,7 @@ export declare const BuiltinFunctions: {
     compt_assert: string[];
     compt_print: string[];
     va_start: string[];
+    __yo_array_fill: string[];
     typeof: string[];
     sizeof: string[];
     alignof: string[];
@@ -389,12 +390,12 @@ export declare const BuiltinFunctions: {
     __yo_compt_string_to_lower: string[];
     __yo_compt_string_slice: string[];
     __yo_type_to_string: string[];
-    __yo_type_contains_gc_type: string[];
-    __yo_type_can_form_gc_cycle: string[];
+    __yo_type_contains_rc_type: string[];
+    __yo_type_can_form_rc_cycle: string[];
     __yo_are_types_compatible: string[];
     __yo_type_impls: string[];
     __yo_var_print_info: string[];
-    __yo_var_is_owning_the_gc_value: string[];
+    __yo_var_is_owning_the_rc_value: string[];
     __yo_var_has_other_aliases: string[];
     __yo_op_add: string[];
     __yo_op_sub: string[];
@@ -433,6 +434,10 @@ export declare const BuiltinFunctions: {
     ___dispose: string[];
     ___dup: string[];
     dispose: string[];
+    __yo_drop_array_element: string[];
+    __yo_dup_array_element: string[];
+    __yo_drop_tuple_element: string[];
+    __yo_dup_tuple_element: string[];
     __yo_noop: string[];
     __yo_return_self: string[];
     __yo_ms_sleep: string[];
@@ -445,7 +450,7 @@ export interface ExprToStringConfig {
     indentLevel?: number;
 }
 export declare function exprToString(expr: Expr, config?: ExprToStringConfig): string;
-export declare function attachTempVariableToExpr(expr: Expr, isOwningTheGcValue: boolean, isOwningTheSameGcValueAs?: Variable): void;
+export declare function attachTempVariableToExpr(expr: Expr, isOwningTheRcValue: boolean, isOwningTheSameRcValueAs?: Variable): void;
 export declare function mergeAndCheckEnvs(env: Environment, bodies: Expr[]): Environment;
 export declare function replaceFuncCallExprWithFuncCallExpr(funcExpr: FuncCallExpr, newFuncExpr: FuncCallExpr): void;
 export declare function replaceFuncCallExprWithAtomExpr(funcExpr: FuncCallExpr, newAtomExpr: AtomExpr): void;

package/out/types/src/types/creators.d.ts

@@ -58,7 +58,7 @@ export declare function createIsoType(childType: Type, env: Environment): IsoTyp
 export declare function createSomeType(type: TypeHierarchyType, variableName: string, id?: string, requiredModules?: ModuleType[], negativeModules?: ModuleType[], recursiveTypeRef?: {
     functionValue: FunctionValue;
     argValues: Value[];
-}): SomeType;
+}, env?: Environment): SomeType;
 export declare function createTypeHierarchy(level: number, baseType?: Type): TypeHierarchyType;
 export declare function getFunctionParameterExprs({ expr, labelExpr, typeExpr, defaultValueExpr, assignedValueExpr, }: {
     expr: Expr;

package/out/types/src/types/definitions.d.ts

@@ -93,7 +93,7 @@ export interface FunctionParameter {
     type: Type;
     isCompileTimeOnly: boolean;
     isQuote: boolean;
-    isOwningTheGcValue: boolean;
+    isOwningTheRcValue: boolean;
     exprs: FunctionParameterExprs;
     assignedValue?: Value;
 }

package/out/types/src/types/guards.d.ts

@@ -44,7 +44,7 @@ export declare function isSomeType(type?: Type): type is SomeType;
 export declare function isPtrType(type?: Type): type is PtrType;
 export declare function isIsoType(type?: Type): type is IsoType;
 export declare function isDynType(type?: Type): type is DynType;
-export declare function isGcType(type?: Type): boolean;
+export declare function isRcType(type?: Type): boolean;
 export declare function isIntegerType(type?: Type): boolean;
 export declare function isFloatType(type?: Type): boolean;
 export declare function isSignedIntegerType(type?: Type): boolean;

package/out/types/src/types/utils.d.ts

@@ -19,8 +19,9 @@ export declare function typeImplementsFuture(type: Type | undefined): type is (S
 export declare function extractFutureModuleFromType(type: Type): FutureModuleType | undefined;
 export declare function typeRequiresComptModifier(type?: Type): boolean;
 export declare function typeProhibitsComptModifier(type?: Type): boolean;
-export declare function typeContainsGcType(type?: Type, checkedTypes?: Type[]): boolean;
+export declare function typeContainsRcType(type?: Type, checkedTypes?: Type[]): boolean;
 export declare function typeContainsSomeType(type?: Type, checkedTypes?: Type[]): boolean;
+export declare function typeContainsUnknownValue(type: Type): boolean;
 export declare function getAllSomeTypes(type: Type): Set<SomeType>;
 export declare function typeRequiresInference(type?: Type): boolean;
 export declare function getValueOfSomeTypeFromEnv(env: Environment, someType: SomeType): Type;
@@ -46,5 +47,5 @@ export declare function getTargetPointerSizeBytes(): number;
 export declare function getAlignmentOfType(type: Type): number | null;
 export declare function getSizeOfType(type: Type): number | null;
 export declare function prohibitVoidType(type: Type, token: Token): void;
-export declare function canTypeFormGcCycle(type: Type, visitedTypes?: Set<string>): boolean;
+export declare function canTypeFormRcCycle(type: Type, visitedTypes?: Set<string>): boolean;
 export declare function typeContainsSelfTypeForDynamicDispatchCheck(type: Type, selfType: Type | undefined): boolean;

package/out/types/src/utils.d.ts

@@ -1,6 +1,8 @@
-export declare function randomId(): string;
 export declare function generateModuleId(modulePath: string): string;
+export declare function randomId(modulePath: string): string;
+export declare function resetModuleIdCounter(modulePath: string): void;
 export declare function generateNewTempVariableName(modulePath: string): string;
 export declare function isTempVariableName(modulePath: string, variableName: string): boolean;
 export declare function generateVarialeId(modulePath: string, variableName: string): string;
 export declare function hashString(input: string): string;
+export declare function clearAllModuleCounters(): void;

package/out/types/src/value.d.ts

@@ -13,7 +13,7 @@ export type ComptStringValue = {
 export type NumberValue = {
     tag: ValueTag.ComptInt | ValueTag.ComptFloat | ValueTag.U8 | ValueTag.I8 | ValueTag.U16 | ValueTag.I16 | ValueTag.U32 | ValueTag.I32 | ValueTag.U64 | ValueTag.I64 | ValueTag.F32 | ValueTag.F64 | ValueTag.Usize | ValueTag.Isize;
     type: Type;
-    value: number;
+    value: number | bigint;
 };
 export type BooleanValue = {
     tag: ValueTag.Bool;
@@ -83,12 +83,12 @@ export declare function isExprValue(value?: Value): value is ExprValue;
 export declare function createTypeValue(value: Type): TypeValue;
 export declare function createComptStringValue(value: string): ComptStringValue;
 export declare function createComptListValue(childType: Type, elements: Value[]): ComptListValue;
-export declare function createNumberValue(tag: NumberValue["tag"], value: number): {
+export declare function createNumberValue(tag: NumberValue["tag"], value: number | bigint): {
     tag: ValueTag.ComptInt | ValueTag.ComptFloat | ValueTag.U8 | ValueTag.I8 | ValueTag.U16 | ValueTag.I16 | ValueTag.U32 | ValueTag.I32 | ValueTag.U64 | ValueTag.I64 | ValueTag.F32 | ValueTag.F64 | ValueTag.Usize | ValueTag.Isize;
     type: Type;
-    value: number;
+    value: number | bigint;
 };
-export declare function createComptIntValue(value: number): NumberValue;
+export declare function createComptIntValue(value: bigint): NumberValue;
 export declare function createComptFloatValue(value: number): NumberValue;
 export declare function createBooleanValue(value: boolean): BooleanValue;
 export declare function createUnknownValue(type: Type, variableName?: string, recursiveTypeRef?: {