ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
BSD 3-Clause "New" or "Revised" License
141 stars 61 forks source link

Follow stan hint, explicit fixity (default is infixl 9). #619

Closed philderbeast closed 2 years ago

philderbeast commented 2 years ago

See #610. I'm putting this up here as-is so please label with WIP. I'd like some feedback on which fixities to go with. Are there some that shouldn't be associative? Could some of these be replaced with existing operators we pull in from elsewhere?

https://kowainik.github.io/posts/fixity#standard-examples

For now I've just been explicit but with the default infixl 9.