search

mietek / epigram2

Mirror of Epigram 2, by Conor McBride, et al.
https://code.google.com/p/epigram
MIT License
47 stars 7 forks source link

Reserve ALLCAPITAL identifiers to She patterns #45

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
I believe we kind have this convention that pattern-definition are all capital:

pattern BLAH t = Bla (C t)

On the other hand, some standard definition are also named fully capitalised, 
such as REF for instance.

Maybe we should enforce the convention that an identifier is all-capital iif it 
is defined by a pattern?

Original issue reported on code.google.com by pedag...@gmail.com on 15 Aug 2010 at 10:19

GoogleCodeExporter commented 8 years ago 
See also DisplayLang.Name: DSPINE, DHEAD, DSCOPE. They could be renamed to 
DSpineRN, etc., being uniform with InTm/InTmRN, etc.

Original comment by pedag...@gmail.com on 15 Aug 2010 at 2:11

GoogleCodeExporter commented 8 years ago 
We also use all capitals for terms and types containing references (e.g. VAL, 
INTM, TY), reference kinds (DEFN, HOLE) and telescopes (TEL). I think this is a 
useful convention to follow, but would not go so far as changing INTM and 
friends.

Original comment by adamgundry on 16 Aug 2010 at 7:34