Skip to content

Commit d079f00

Browse files
Jonathan D.A. Jewellhyperpolymath
Jonathan D.A. Jewell
authored and
hyperpolymath
committed
Auto-commit: Sync changes [2026-02-24]
1 parent d89d653 commit d079f00

124 files changed

Lines changed: 248 additions & 248 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎asdf-ada-plugin/src/abi/Foreign.idr‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -189,8 +189,8 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
189189
export
190190
registerCallback : Handle -> Callback -> IO (Either Result ())
191191
registerCallback h cb = do
192-
-- PROOF_TODO: Replace believe_me with actual proof
193-
result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
192+
-- PROOF_TODO: Replace cast with actual proof
193+
result <- primIO (prim__registerCallback (handlePtr h) (cast cb))
194194
pure $ case resultFromInt result of
195195
Just Ok => Right ()
196196
Just err => Left err

‎asdf-age-plugin/src/abi/Foreign.idr‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -189,8 +189,8 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
189189
export
190190
registerCallback : Handle -> Callback -> IO (Either Result ())
191191
registerCallback h cb = do
192-
-- PROOF_TODO: Replace believe_me with actual proof
193-
result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
192+
-- PROOF_TODO: Replace cast with actual proof
193+
result <- primIO (prim__registerCallback (handlePtr h) (cast cb))
194194
pure $ case resultFromInt result of
195195
Just Ok => Right ()
196196
Just err => Left err

‎asdf-apko-plugin/src/abi/Foreign.idr‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -189,8 +189,8 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
189189
export
190190
registerCallback : Handle -> Callback -> IO (Either Result ())
191191
registerCallback h cb = do
192-
-- PROOF_TODO: Replace believe_me with actual proof
193-
result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
192+
-- PROOF_TODO: Replace cast with actual proof
193+
result <- primIO (prim__registerCallback (handlePtr h) (cast cb))
194194
pure $ case resultFromInt result of
195195
Just Ok => Right ()
196196
Just err => Left err

‎asdf-arangodb-plugin/src/abi/Foreign.idr‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -189,8 +189,8 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
189189
export
190190
registerCallback : Handle -> Callback -> IO (Either Result ())
191191
registerCallback h cb = do
192-
-- PROOF_TODO: Replace believe_me with actual proof
193-
result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
192+
-- PROOF_TODO: Replace cast with actual proof
193+
result <- primIO (prim__registerCallback (handlePtr h) (cast cb))
194194
pure $ case resultFromInt result of
195195
Just Ok => Right ()
196196
Just err => Left err

‎asdf-augmenters/asdf-acceleration-middleware/src/abi/Foreign.idr‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -189,8 +189,8 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
189189
export
190190
registerCallback : Handle -> Callback -> IO (Either Result ())
191191
registerCallback h cb = do
192-
-- PROOF_TODO: Replace believe_me with actual proof
193-
result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
192+
-- PROOF_TODO: Replace cast with actual proof
193+
result <- primIO (prim__registerCallback (handlePtr h) (cast cb))
194194
pure $ case resultFromInt result of
195195
Just Ok => Right ()
196196
Just err => Left err

‎asdf-augmenters/asdf-control-tower/src/abi/Foreign.idr‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -189,8 +189,8 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
189189
export
190190
registerCallback : Handle -> Callback -> IO (Either Result ())
191191
registerCallback h cb = do
192-
-- PROOF_TODO: Replace believe_me with actual proof
193-
result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
192+
-- PROOF_TODO: Replace cast with actual proof
193+
result <- primIO (prim__registerCallback (handlePtr h) (cast cb))
194194
pure $ case resultFromInt result of
195195
Just Ok => Right ()
196196
Just err => Left err

‎asdf-augmenters/asdf-metaiconic-plugin/src/abi/Foreign.idr‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -189,8 +189,8 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
189189
export
190190
registerCallback : Handle -> Callback -> IO (Either Result ())
191191
registerCallback h cb = do
192-
-- PROOF_TODO: Replace believe_me with actual proof
193-
result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
192+
-- PROOF_TODO: Replace cast with actual proof
193+
result <- primIO (prim__registerCallback (handlePtr h) (cast cb))
194194
pure $ case resultFromInt result of
195195
Just Ok => Right ()
196196
Just err => Left err

‎asdf-augmenters/asdf-plugin-collection/plugins/ada/src/abi/Foreign.idr‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -189,8 +189,8 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
189189
export
190190
registerCallback : Handle -> Callback -> IO (Either Result ())
191191
registerCallback h cb = do
192-
-- PROOF_TODO: Replace believe_me with actual proof
193-
result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
192+
-- PROOF_TODO: Replace cast with actual proof
193+
result <- primIO (prim__registerCallback (handlePtr h) (cast cb))
194194
pure $ case resultFromInt result of
195195
Just Ok => Right ()
196196
Just err => Left err

‎asdf-augmenters/asdf-plugin-collection/plugins/age/src/abi/Foreign.idr‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -189,8 +189,8 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
189189
export
190190
registerCallback : Handle -> Callback -> IO (Either Result ())
191191
registerCallback h cb = do
192-
-- PROOF_TODO: Replace believe_me with actual proof
193-
result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
192+
-- PROOF_TODO: Replace cast with actual proof
193+
result <- primIO (prim__registerCallback (handlePtr h) (cast cb))
194194
pure $ case resultFromInt result of
195195
Just Ok => Right ()
196196
Just err => Left err

‎asdf-augmenters/asdf-plugin-collection/plugins/apko/src/abi/Foreign.idr‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -189,8 +189,8 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
189189
export
190190
registerCallback : Handle -> Callback -> IO (Either Result ())
191191
registerCallback h cb = do
192-
-- PROOF_TODO: Replace believe_me with actual proof
193-
result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
192+
-- PROOF_TODO: Replace cast with actual proof
193+
result <- primIO (prim__registerCallback (handlePtr h) (cast cb))
194194
pure $ case resultFromInt result of
195195
Just Ok => Right ()
196196
Just err => Left err

0 commit comments

Comments
 (0)