@cella-lang/cpp 0.1.202610130348 → 0.1.202610130809

package/CHANGES.md

@@ -5,6 +5,9 @@
 
 ## 未發佈
 
+- 比標準嚴的前置條件改由帶 `@[conservative]` 的定義表達：只卡在它們時判決是 **unknown**（`model_stricter`），不是 reject——`sortBy` 的等價元素值相同（`cpp.sortEquivSameB`）、`gSortBy` 的不同位置互不等價（`cpp.gSortDistinctB`）、`usSortedBy`／`umSortedBy` 的不同鍵互不等價（`cpp.usSortDistinctB`／`umSortDistinctB`）。介面不變（證明照舊是 `refl`）；`sortByOkB`、`gSortByOkB`、`usSortOkB`、`umSortOkB` 改寫成標準的部分與帶標記部分的 and。新的 `cpp.liveB`（活著且在界內，不看初始化與唯讀）。
+- 標準庫的 Int 名字改進 `Int` namespace（`add_int` → `Int.add`、`ltInt` → `Int.blt`、`addIntF` → `Int.addFast`…），套件的原始碼與產生的項都寫完整名稱。對照表見 cella-lang 的變更紀錄。
+  - 穩定定義（`docs/stable-defs.json`）的內容雜湊因此改變（引用的名字變了，內容不變）：`cpp.NonZero`、`cpp.add`、`cpp.div`、`cpp.eq`、`cpp.inRangeB`、`cpp.le`、`cpp.lt`、`cpp.minOf`、`cpp.mul`、`cpp.neg`、`cpp.rem`、`cpp.sub`、`cpp.toC`、`cpp.toInt_add`、`cpp.toInt_div`、`cpp.toInt_mul`、`cpp.toInt_neg`、`cpp.toInt_rem`、`cpp.toInt_sub`。
 - `cpp.Exc` 多一個建構子 `objExc 類別鏈 訊息 節點 位置`：其他語言的例外物件（`@cella-lang/python` 使用者的例外類別：類別與祖先由近到遠、物件在堆上的位置）；`excNode`、`excJson`（type 是鏈的第一個）跟著支援。對 `Exc` 做窮盡 match 的程式要多一個分支。
 - `stopNode` 對未接住的例外回報例外帶著的節點（`namedExc` 的；C++ 的例外不帶，照舊是空字串）。
 - **不相容**：`Debugger` 的 `showGlobals`、`showFrame` 多收環境：`showGlobals : E -> V -> String`、`showFrame : String -> E -> V -> String`（變數可能指向環境裡的東西，例如 Python 的 list 在堆上）。