@cella-lang/cpp 0.1.202610120337 → 0.1.202610120758
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGES.md +2 -0
- package/cpp.cell +0 -0
- package/index.json +546 -546
- package/package.json +5 -5
package/CHANGES.md
CHANGED
|
@@ -5,6 +5,8 @@
|
|
|
5
5
|
|
|
6
6
|
## 未發佈
|
|
7
7
|
|
|
8
|
+
- 標準庫 `std`、`nat` 的定理改證 `a = b`：套件內用到它們、需要路徑的地方改寫 `Eq.toPath (…)`（過渡；套件改寫成 `=` 時拿掉）。依賴多了 `identity.paths`。用到的定義雜湊改變，意思不變。
|
|
9
|
+
- 對路徑寫的 `refl` 現在 elaborate 成常數路徑（之前是呼叫 foundations 的 `refl` 定義；`std` 匯出時它被 `Eq.refl` 遮住）。`stable-defs.json` 裡 6 個定義的雜湊因此改變：`cpp.maxInt32`、`cpp.minInt32`、`cpp.toC`、`cpp.toInt_div`、`cpp.toInt_neg`、`cpp.toInt_rem`。意思不變。
|
|
8
10
|
- **不相容**：完整名稱去掉重複的前綴：`cpp.cpp.X` → `cpp.X`（函式庫的名字只由 namespace 決定，不帶檔名）。`stable-defs.json` 的鍵跟著改，雜湊全面改變；意思不變。之後套件拆成多個檔，名字也不會變。
|
|
9
11
|
- 套件的快照改成第 25 版的格式（名字寫一次、之後用索引；定義的雜湊不變）：cpp 3.29 → 2.10 MB、c 1.89 → 1.45 MB。
|
|
10
12
|
### 雜湊
|
package/cpp.cell
CHANGED
|
Binary file
|