forsyde / forsyde-atom

A shallow-embedded DSL for modeling cyber-physical systems
https://forsyde.github.io/forsyde-atom/
BSD 3-Clause "New" or "Revised" License
3 stars 2 forks source link

`<>` utility wrong infix #38

Open ugeorge opened 5 years ago

ugeorge commented 5 years ago

The tuple application utility seems to have wrong infix for chaining operation (infixl 6), leading to redundant parentheses such as

SY.toDE <> (solve <> DE.toSY1 des)

Needs fixing. Check if it also works with point-free style.