mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-16 17:30:27 +03:00
+ `readBack` now introduces fresh names which can be sent back to an RPC client when the structure of the value cannot be uniquely/ unambiguously syntactically represented. + `getCryptolExpr` needs to be modified, likely to return a `Expr Name` instead of the current return type `Expr PName`, since the fresh names introduced by `readBack` cannot be represented as `PName`s. + saw-remote-api compatibility for changes to `getCryptolExpr` should be considered (i.e., it also uses that function but in a slightly different monad, however that monad _also_ has a ModuleEnv from Cryptol so it should be possible to define it in a way it works for both servers). |
||
---|---|---|
.. | ||
examples | ||
issues | ||
modsys | ||
mono-binds | ||
parser | ||
regression | ||
renamer | ||
suiteb | ||
.gitignore | ||
cryptol-test-runner.cabal | ||
Main.hs | ||
README |
Test suites: regression: tests from Cryptol-1's regression test suite. issues: tests related to issues in the bug tracker. To manually run the test suite over all issues/* tests simply cabal build the test suite runner then run: ./dist/build/cryptol-test-runner/cryptol-test-runner -c `which cryptol` ./issues/*.icry