cryptol

mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-16 11:22:33 +03:00

History

Adam C. Foltzer 8ea7ba0b75 make cryptol interpreter utf8 by default Previously we were just using Prelude's `readFile`, which uses the system default locale. This meant that people writing Cryptol in other locales might produce source files that work fine for them but not others. Now the interpreter sets the default locale to utf8 at startup. Additionally, the code to catch exceptions from loading modules was too lazy, allowing exceptions to bring down the whole process when the module contents were forced outside of the `try`. We also assumed that any IO exception was from files not being found; there's now an "Other IO exception" possiblity. Incorrect locales will trigger this alternative because the actual IOException raised isn't specific to locale errors.		2015-02-26 17:35:41 -08:00
..
issues	add empty module test	2015-02-24 18:00:59 -05:00
mono-binds	add load targets to search path	2015-02-17 15:27:59 -08:00
parser	Initial import from internal repo	2014-04-17 15:34:25 -07:00
regression	make cryptol interpreter utf8 by default	2015-02-26 17:35:41 -08:00
renamer	add load targets to search path	2015-02-17 15:27:59 -08:00
.gitignore	Initial import from internal repo	2014-04-17 15:34:25 -07:00
cryptol-test-runner.cabal	Initial import from internal repo	2014-04-17 15:34:25 -07:00
Main.hs	Modify testrunniner to figure out on its own if we have a dir or a test.	2015-02-25 14:19:11 -08:00
README	Initial import from internal repo	2014-04-17 15:34:25 -07:00

Test suites:

regression: tests from Cryptol-1's regression test suite.
issues: tests related to issues in the bug tracker.