diff options
| author | Jonathan Protzenko | 2023-01-25 14:21:04 -0800 |
|---|---|---|
| committer | Son HO | 2023-06-04 21:44:33 +0200 |
| commit | 3d742e11a43e873e99bd371ec13c55b212f80ee6 (patch) | |
| tree | 72fc2ded91ce4a3aaac80c0e1e9ab0eb5949246b /tests/lean/hashmap_on_disk/Base/Primitives.lean | |
| parent | e1ee59f6a45482e93901f6a549f594fd6ef15234 (diff) | |
Fix a couple bugs here and there, improve Lean code-gen, still WIP
Diffstat (limited to 'tests/lean/hashmap_on_disk/Base/Primitives.lean')
| -rw-r--r-- | tests/lean/hashmap_on_disk/Base/Primitives.lean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/lean/hashmap_on_disk/Base/Primitives.lean b/tests/lean/hashmap_on_disk/Base/Primitives.lean index 9e72b708..09ece14e 100644 --- a/tests/lean/hashmap_on_disk/Base/Primitives.lean +++ b/tests/lean/hashmap_on_disk/Base/Primitives.lean @@ -100,6 +100,7 @@ def USize.checked_sub (n: USize) (m: USize): result USize := fail integerOverflow -- TODO: settle the style for usize_sub before we write these +def USize.checked_add (n: USize) (m: USize): result USize := sorry def USize.checked_mul (n: USize) (m: USize): result USize := sorry def USize.checked_div (n: USize) (m: USize): result USize := sorry |