Remove some old unused attributes#3578
Conversation
| final val CIRCULARITY = Key("circularity", KeyType.BuiltIn) | ||
| final val COLOR = Key("color", KeyType.BuiltIn) | ||
| final val COLORS = Key("colors", KeyType.BuiltIn) | ||
| final val COMM = Key("comm", KeyType.BuiltIn) | ||
| final val CONCRETE = Key("concrete", KeyType.BuiltIn) | ||
| final val CONSTRUCTOR = Key("constructor", KeyType.BuiltIn) | ||
| final val CONTEXT = Key("context", KeyType.BuiltIn) | ||
| final val COOL = Key("cool", KeyType.BuiltIn) | ||
| final val DEPENDS = Key("depends", KeyType.BuiltIn) |
There was a problem hiding this comment.
circularity and depends should be kept - they're not in use yet but are under development
There was a problem hiding this comment.
Here is an example that uses circularity: https://github.com/runtimeverification/pyk/blob/fd06d71322d85f41ecb652a3ac33d438c1bf0e4d/src/tests/integration/k-files/imp-simple-spec.k#L136
And one that uses depends: https://github.com/runtimeverification/pyk/blob/fd06d71322d85f41ecb652a3ac33d438c1bf0e4d/src/tests/integration/k-files/imp-simple-spec.k#L141
|
Other than keeping |
|
Looks good. The test failure is a known transient issue, just rerun the tests. |
5 participants
No description provided.