search

phillipstanleymarbell / Noisy-lang-compiler

Noisy language compiler
MIT License
17 stars 1 forks source link

A few of the examples in `/applications/newton/invariants/` have syntax/semantics errors. #394

Open phillipstanleymarbell opened 5 years ago

phillipstanleymarbell commented 5 years ago

Description A few of the examples in /applications/newton/invariants/ have syntax/semantics errors.

To Reproduce Steps to reproduce the behavior:

  1. Click through the examples in https://github.com/phillipstanleymarbell/Noisy-lang-compiler/blob/master/applications/newton/invariants/README.md

The cause in most cases is simple (e.g., redefinition of a name due to the fact that we now have NewtonBaseSignals.nt).

Expected behavior No syntax/semantics error.

Screenshots N/A.

Desktop (please complete the following information): N/A.

Smartphone (please complete the following information): N/A.

Additional context N/A.

phillipstanleymarbell commented 5 years ago

Assign to @Doug-vN once he gets access.

phillipstanleymarbell commented 5 years ago

@Doug-vN, are you going to create a pull request for this?