Comments (6)
Change Manager: Confirmed that the issue exists.
from copilot.
Technical Lead: Confirmed that the issue should be addressed.
from copilot.
Technical Lead: Issue scheduled for fixing in Copilot 3.19.
Fix assigned to: @ivanperez-keera .
from copilot.
Implementor: Solution implemented, review requested.
from copilot.
Change Manager: Verified that:
- Solution is implemented:
- The code proposed compiles and passes all tests. Details:
Build log: https://app.travis-ci.com/github/Copilot-Language/copilot/builds/269344778 - The solution proposed produces the expected result. Details:
Evaluated by manual inspection. Running tests with coverage enabled achieves coverage of 97% for top-level definitions (37 out of 38 definitions). The one not tested isuTypeType
, which cannot be tested due to being part of an existential type (it's necessity is being discussed in #484). The modulesCopilot.Core.Operators
andCopilot.Core.Spec
andCopilot.Core.Expr
only contain datatype definitions, so they do not need to be tested.
- The code proposed compiles and passes all tests. Details:
- Implementation is documented. Details:
New tests are documented. - Change history is clear.
- Commit messages are clear.
- Changelogs are updated.
- Examples are updated. Details:
No updates needed. - Required version bumps are evaluated. Details:
Bump not needed. Changes affect tests only.
from copilot.
Change Manager: Implementation ready to be merged.
from copilot.
Related Issues (20)
- `copilot-c99`: test failure on non-Intel architectures HOT 21
- `copilot-language`: test compile error HOT 16
- `copilot-language`: `Copilot.Language.Spec.forall` will be forbidden HOT 7
- `copilot-c99`: compiler warnings during tests HOT 10
- `copilot-c99`: compliance with MISRA C 2012 HOT 8
- `copilot-theorem`: Introduce testing infrastructure HOT 6
- `copilot-libraries`: Introduce testing infrastructure HOT 6
- `copilot`: Update README to reflect new contribution process
- `copilot-core`: record field `uTypeType` is unnecessary
- Release 3.18 HOT 6
- `copilot`: Extend range of versions `optparse-applicative` HOT 6
- `copilot-theorem`: Failure to compile with GHC 9.6.3 HOT 6
- Release 3.18.1 HOT 6
- `copilot-theorem`: `kind2Prover` gives parse error when disproving a property HOT 10
- ' ' is not a nondigit error HOT 4
- Formal methods with stateful functions HOT 4
- `copilot-core`: Remove deprecated functions in `Copilot.Core.Type` and `Copilot.Core.Type.Array` HOT 6
- Release 3.19 HOT 6
- `copilot-c99`: Can C99 generator declare stream functions as static? HOT 12
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from copilot.