-
Notifications
You must be signed in to change notification settings - Fork 122
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
T1169 #1171
T1169 #1171
Changes from 7 commits
3df9273
6818969
1c175f5
aa7cce1
0c65f5e
4e0da53
b572b08
a25fde4
ec614b2
c165832
a7daa1e
b2a8a23
2c00714
6270742
5478037
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
:module T15::B |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,4 @@ | ||
Loading module Cryptol | ||
Loading module Cryptol | ||
Loading module T15::A | ||
Loading module T15::B |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
module T15::A where | ||
|
||
update = 0x02 | ||
|
||
|
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,3 @@ | ||
module T15::B where | ||
|
||
import T15::A |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
:module T16::B |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
Loading module Cryptol | ||
Loading module Cryptol | ||
Loading module T16::A | ||
Loading module T16::B | ||
|
||
[error] at ./T16/B.cry:5:5--5:11 | ||
Multiple definitions for symbol: update | ||
(at Cryptol:844:11--844:17, update) | ||
(at ./T16/A.cry:3:1--3:7, T16::A::update) |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
Loading module Cryptol | ||
Loading module Cryptol | ||
Loading module T16::A | ||
Loading module T16::B | ||
|
||
[error] at .\T16\B.cry:5:5--5:11 | ||
Multiple definitions for symbol: update | ||
(at Cryptol:844:11--844:17, update) | ||
(at .\T16\A.cry:3:1--3:7, T16::A::update) |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
module T16::A where | ||
|
||
update = 0x02 | ||
|
||
|
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
module T16::B where | ||
|
||
import T16::A | ||
|
||
f = update |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
:module T17::B |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
Loading module Cryptol | ||
Loading module Cryptol | ||
Loading module T17::A | ||
Loading module T17::A1 | ||
Loading module T17::B |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
module T17::A where | ||
|
||
u = 0x02 | ||
|
||
|
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
module T17::A1 where | ||
|
||
u = 0x03 | ||
|
||
|
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,4 @@ | ||
module T17::B where | ||
|
||
import T17::A | ||
import T17::A1 |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
:module T18::B |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
Loading module Cryptol | ||
Loading module Cryptol | ||
Loading module T18::A | ||
Loading module T18::A1 | ||
Loading module T18::B | ||
|
||
[error] at ./T18/B.cry:6:5--6:6 | ||
Multiple definitions for symbol: u | ||
(at ./T18/A.cry:3:1--3:2, T18::A::u) | ||
(at ./T18/A1.cry:3:1--3:2, T18::A1::u) |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
Loading module Cryptol | ||
Loading module Cryptol | ||
Loading module T18::A | ||
Loading module T18::A1 | ||
Loading module T18::B | ||
|
||
[error] at .\T18\B.cry:6:5--6:6 | ||
Multiple definitions for symbol: u | ||
(at .\T18\A.cry:3:1--3:2, T18::A::u) | ||
(at .\T18\A1.cry:3:1--3:2, T18::A1::u) |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
module T18::A where | ||
|
||
u = 0x02 | ||
|
||
|
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
module T18::A1 where | ||
|
||
u = 0x03 | ||
|
||
|
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,6 @@ | ||
module T18::B where | ||
|
||
import T18::A | ||
import T18::A1 | ||
|
||
f = u |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,15 +1,6 @@ | ||
Loading module Cryptol | ||
Loading module Cryptol | ||
Loading module T15 | ||
[warning] at T15.cry:5:13--5:14 | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I'm not sure how I feel about losing these warnings. What do you think? There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I wondered about that too. More generally, I wonder if we should issue a warning when a local name shadows an imported name. This is what the comment on line 166 of There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I feel like it probably makes sense to do that, controlled by the |
||
This binding for `A` shadows the existing binding at | ||
T15.cry:3:11--3:12 | ||
[warning] at T15.cry:7:15--7:16 | ||
This binding for `A` shadows the existing binding at | ||
T15.cry:5:13--5:14 | ||
[warning] at T15.cry:7:15--7:16 | ||
This binding for `A::A` shadows the existing binding at | ||
T15.cry:5:13--5:14 | ||
Showing a specific instance of polymorphic result: | ||
* Using 'Integer' for 1st type argument of 'T15::A::A::y' | ||
2 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.