jid.h « src - profani-tty - Profanity fork with TTY improvements

blob: 39a4585af0f89190af2a3a208b112f71fd7347bd (plain) (tree)

94bcf188 ^

26726b20 ^

94bcf188 ^

f9737251 ^

94bcf188 ^

ec75b5e0 ^

94bcf188 ^

1cc33cc4 ^

generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-06 07:56:05 +0000

imiter">(Next_recipe_ordinal == 1000); //: 1000 onwards - reserved for tests, cleared between tests //:: Depths for tracing //: //: 0 - unused //: 1-100 - app-level trace statements in mu //: 101-9989 - call-stack statements (mostly label run) assert(Initial_callstack_depth == 101); assert(Max_callstack_depth == 9989); //: 9990-9999 - intra-instruction lines (mostly label mem) //:: Summary of transforms and their dependencies //: begin transforms //: begin instruction inserting transforms //: 52 insert fragments //: ↳ 52.2 check fragments //: --- //: 53 rewrite 'stash' instructions //: end instruction inserting transforms //: //: begin instruction modifying transforms //: 56.2 check header ingredients //: ↳ 56.4 fill in return ingredients //: 48 check or set types by name //: //: begin type modifying transforms //: 56.3 deduce types from header //: --- //: 30 check or set invalid containers //: end type modifying transforms //: ↱ 46 collect surrounding spaces //: ↳ 42 transform names //: ↳ 57 static dispatch //: --- //: 13 update instruction operation //: 40 transform braces //: 41 transform labels //: end instruction modifying transforms //: ↳ 60 check immutable ingredients //: //: begin checks //: --- //: 21 check instruction //: ↳ 61 check indirect calls against header //: ↳ 56 check calls against header //: ↳ 43 transform 'new' to 'allocate' //: 30 check merge calls //: 36 check types of return instructions //: 43 check default space //: 56 check return instructions against header //: end checks //: end transforms //:: Summary of type-checking in different phases //: when dispatching instructions we accept first recipe that: //: strictly matches all types //: maps literal 0 or literal 1 to boolean for some ingredients //: performs some other acceptable type conversion //: literal 0 -> address //: literal -> character //: when checking instructions we ensure that types match, and that literals map to some scalar //: (address can only map to literal 0) //: (boolean can only map to literal 0 or literal 1) //: (but conditionals can take any scalar) //: at runtime we perform no checks </pre> </body> </html>