search

githwxi / ATS-Postiats

ATS2: Unleashing the Potentials of Types and Templates
www.ats-lang.org
Other
352 stars 54 forks source link

Removing `symbol_FUN` and `symbol_MINUSLTGT` #202

Closed Hibou57 closed 6 years ago

Hibou57 commented 6 years ago

symbol_FUN and symbol_MINUSLTGT, are declared in pats_symbols.sats but nowhere implemented (not only not in pats_symbols.dats).

githwxi commented 6 years ago

Thanks!

In the future. I suggest commenting out (instead of deleting). For instance, something looks like this:

(
//
// YD-2018-07-07:
// Not implemented
//
val symbol_MINUSLTGT : symbol // -<>
)

Hibou57 commented 6 years ago

My apologies. I though about commenting‑out after what looks to be the usual style in Postiats source, but I was unsure. Will keep this in mind.

githwxi commented 6 years ago

Not at all. It is a pleasure working with you.