aboutsummaryrefslogtreecommitdiffhomepage
path: root/notes/attributes_for_linting.txt
blob: a37f7ae734e31a78910e59c7419e9a1d30297c90 (plain)
1
2
3
4
5
6
7
8
9

Attributes for linting/checking
===============================

Inspired by @NonNull in Java (obviously not needed in SLUL) and Enum.@unique
in Python.

It would be nice to have @attributes that could be added to different kinds
of elements to provide compile-time checks. Perhaps it could be implemented
using CTFE with compile-time-reflection?