mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-12-14 17:51:43 +03:00
3d275ea44c
Fixes a bug pointed out by @weaversa: https://github.com/GaloisInc/cryptol/issues/127#issuecomment-64464455 In addition to the other search path changes in #127, we now will add the directory containing files to be loaded to the search path. This applies to: - files loaded with a command line argument, like in the original comment - arguments to `:l`, so for example `:l examples/DES.cry` would work - batch file arguments, so for example running `cryptol -b /some/path/bar.cry` adds `/some/path` to the search path.
48 lines
1.6 KiB
Plaintext
48 lines
1.6 KiB
Plaintext
Loading module Cryptol
|
|
Loading module Cryptol
|
|
Loading module Main
|
|
[warning] at ./check09.cry:22:5--22:10
|
|
This binding for initL shadows the existing binding from
|
|
(at ./check09.cry:4:1--4:6, Main::initL)
|
|
[warning] at ./check09.cry:21:5--21:10
|
|
This binding for initS shadows the existing binding from
|
|
(at ./check09.cry:3:1--3:6, Main::initS)
|
|
[warning] at ./check09.cry:27:5--27:7
|
|
This binding for ls shadows the existing binding from
|
|
(at ./check09.cry:8:1--8:3, Main::ls)
|
|
[warning] at ./check09.cry:23:5--23:7
|
|
This binding for ss shadows the existing binding from
|
|
(at ./check09.cry:5:1--5:3, Main::ss)
|
|
[warning] at ./check09.cry:17:1--30:54:
|
|
Defaulting type parameter 'bits'
|
|
of finite enumeration
|
|
at ./check09.cry:17:18--17:28
|
|
to 3
|
|
[warning] at :1:1--37:28:
|
|
Defaulting type parameter 'bits'
|
|
of finite enumeration
|
|
at ./check09.cry:13:18--13:26
|
|
to 2
|
|
[warning] at :1:1--37:28:
|
|
Defaulting type parameter 'bits'
|
|
of finite enumeration
|
|
at ./check09.cry:14:18--14:26
|
|
to 2
|
|
[warning] at <interactive>:1:1--1:15:
|
|
Defaulting type parameter 'bits'
|
|
of finite enumeration
|
|
at <interactive>:1:7--1:15
|
|
to 2
|
|
[0x00000008, 0x00004080, 0x00068c00, 0x00a22800]
|
|
[warning] at <interactive>:1:1--1:15:
|
|
Defaulting type parameter 'bits'
|
|
of finite enumeration
|
|
at <interactive>:1:7--1:15
|
|
to 2
|
|
[0x00000800, 0x00005080, 0x00072d00, 0x00b08200]
|
|
[0x00000008, 0x131b638b, 0x4fdd24a2, 0xb9094711, 0xa9cc106f,
|
|
0x52c445fb, 0xec66ea8b]
|
|
True
|
|
True
|
|
True
|