Andrew Johnson

Currently some of the more complex patterned functions yield bodies with thousands of bytes of local variables. This is suboptimal. Mutually exclusive code paths shouldn't need to share copies of...

This is necessary for some things like the `set` function.

Sorted profiler output: 1 compile_CL_ArrowNilNil_COUNTER 1 compile_SB_data_SB_header_CL_ArrowSNil_COUNTER 1 compile_SB_exit_SB_cleanup_CL_ArrowSNil_COUNTER 1 compile_SB_finish_CL_ArrowNilNil_COUNTER 1 compile_SB_gnu_CL_ArrowNilNil_COUNTER 1 compile_SB_text_SB_header_CL_ArrowSNil_COUNTER 1 compile_SB_write_CL_ArrowNilNil_COUNTER 1 index_SB_typedefs_CL_ArrowNilAST_COUNTER 1 length_CL_ArrowU64String_COUNTER 1 main_CL_ArrowNilConsArray_QM_StringU64_COUNTER 1 malloc_SB_new_SB_page_CL_ArrowNilNil_COUNTER 1 preprocess_CL_ArrowNilNil_COUNTER 1 typecheck_CL_ArrowNilNil_COUNTER 1...

``` --profile-invocations ``` should be a plugin, not a core feature

``` f : L -> Nil; f : Sized -> Nil; ``` `L` should be a subtype of `Sized` but gets stuck.

don't specialize blob functions, only typecheck them once.

(set.1 x f)

`doby compile FOLDER` compile `header-*.lm` files THEN remaining `*.lm` files.

into Type coercions

1

`x into String` instead of `to-string(x)`

* see also https://github.com/andrew-johnson-4/lambda-mountain/issues/734