@cella-lang/cpp 0.1.202610160339 → 0.1.202610161209

package/CHANGES.md

@@ -5,6 +5,7 @@
 
 ## 未發佈
 
+- **不相容**：`IType` 多一個欄位 `plain`（`itype signed rank width plain`），只有 `tChar` 是 true：plain `char` 與 `signed char`、`unsigned char` 是三個型別（[basic.fundamental]p1），`eqIType` 分得出來；值的運算不變。新的 `isPlain`；`wrapSIn`、`wrapUIn` 多一個參數 `p`；`ofIntN`、`toIntN` 的型別是非 plain 的。雜湊改變：`IType` 與用到它的定義。
 
 - 除錯器的宿主介面多兩個函式：`cpp.stopKind`（停止種類的名字）、`cpp.dbgReport d input fuel`（輸入一次給完並關閉，跑到停下，回傳停止種類、節點、輸出、細節的 JSON；`cella diff-translation` 執行 `runDef` 用）。
 - 比標準嚴的前置條件改由帶 `@[conservative]` 的定義表達：只卡在它們時判決是 **unknown**（`model_stricter`），不是 reject——`sortBy` 的等價元素值相同（`cpp.sortEquivSameB`）、`gSortBy` 的不同位置互不等價（`cpp.gSortDistinctB`）、`usSortedBy`／`umSortedBy` 的不同鍵互不等價（`cpp.usSortDistinctB`／`umSortDistinctB`）。介面不變（證明照舊是 `refl`）；`sortByOkB`、`gSortByOkB`、`usSortOkB`、`umSortOkB` 改寫成標準的部分與帶標記部分的 and。新的 `cpp.liveB`（活著且在界內，不看初始化與唯讀）。