mirror of
https://github.com/GaloisInc/cryptol.git
synced 2025-01-07 08:19:12 +03:00
8fe9f5efa9
Currently we only use this for the Prelude, which is baked into Cryptol. Previously we used to save it in a temporary file, which would show up in error messages, leading to bad user experience and unreliable test outputs. Also improves the shadowing errors. Fixes #569
9 lines
231 B
Plaintext
9 lines
231 B
Plaintext
Loading module Cryptol
|
|
Loading module Cryptol
|
|
Loading module Main
|
|
[warning] at ./check30.cry:2:13--2:14
|
|
This binding for `x` shadows the existing binding at
|
|
./check30.cry:1:1--1:2
|
|
Loading module Cryptol
|
|
Loading module Main
|