Skip to content

Commit

Permalink
tests
Browse files Browse the repository at this point in the history
  • Loading branch information
fc1943s committed Dec 15, 2024
1 parent 2b323af commit 32ec52c
Show file tree
Hide file tree
Showing 15 changed files with 938 additions and 637 deletions.
5 changes: 3 additions & 2 deletions lib/math/math.dib
Original file line number Diff line number Diff line change
Expand Up @@ -298,8 +298,9 @@ nominal pyerr =

inl module_from_code (py : python) (code : string) : _ (bound pymodule) _ =
inl py = join py
inl code = code |> sm'.as_str
!\\(code, $'"pyo3::types::PyModule::from_code(!py, $0, \\"\\", \\"\\")"')
inl code = code |> sm'.to_std_string |> sm'.new_c_string
inl empty = "" |> sm'.to_std_string |> sm'.new_c_string
!\\(code, $'"pyo3::types::PyModule::from_code(!py, &$0, &!empty, &!empty)"')
|> resultm.map_error'' fun (x : pyerr) => x |> sm'.format'

inl use_pyanymethods () =
Expand Down
17 changes: 9 additions & 8 deletions lib/math/math.dib.html

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

17 changes: 9 additions & 8 deletions lib/math/math.dib.ipynb

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading

0 comments on commit 32ec52c

Please sign in to comment.