mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-11-23 14:18:02 +03:00
f016dad5cd
* [RefC] shrink value_header; object imortalized; stock well knwon values.
* Shrink Value_Header to improve utilization of memory.
* When refCounter reaches its maximum, the object is immortalized to
avoid overflow. This immotalization is also used to represent
statically allocated stock objects.
* Prepare some commonly seen values and share it to improve memory usage.
* Added debug code to dump memory stats.
* [RefC] Allocated constants statically; Predefined commonly seen values.
* Commonly seen values such as integers less than 100 are predefined and shared.
* Constant String, Int64, Bits64 and Double values are allocated statically as
indestructible and shared.
* linter
* [RefC] make constants const.
* cleanup
* cleanup
* update CHANGELOG_NEXT
* [refc][test] revert debugging code
* Refactor constantName function in RefC.idr
Refactor constantName function to return Core String type
and handle unsupported types by throwing InternalError exception.
* lint
* fix typo in support/refc/memoryManagement.c
Co-authored-by: Mathew Polzin <matt.polzin@gmail.com>
* [RefC] erase runtime error of constantName
* [RefC] Fixed the missing case expression coverage.
---------
Co-authored-by: Mathew Polzin <matt.polzin@gmail.com>
|
||
|---|---|---|
| .. | ||
| c | ||
| chez | ||
| docs | ||
| gambit | ||
| js | ||
| racket | ||
| refc | ||
| Makefile | ||