summaryrefslogtreecommitdiff
path: root/parse/trait.def
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2014-01-31 15:56:23 -0500
committerOri Bernstein <ori@eigenstate.org>2014-01-31 15:56:23 -0500
commit3e51d386096b13c255d6aec4406f85548e9e7d63 (patch)
tree1532f5712ab8eadaabb802d783b56f5570750f86 /parse/trait.def
parentc70655587600ffeb4c5821e2008bd2b97bb7698a (diff)
downloadmc-3e51d386096b13c255d6aec4406f85548e9e7d63.tar.gz
Nomenclature change: cstr -> trait
We're calling these things traits now, although they really are just constraints over types.
Diffstat (limited to 'parse/trait.def')
-rw-r--r--parse/trait.def8
1 files changed, 8 insertions, 0 deletions
diff --git a/parse/trait.def b/parse/trait.def
new file mode 100644
index 0000000..12980a5
--- /dev/null
+++ b/parse/trait.def
@@ -0,0 +1,8 @@
+/* Definitions of built in constraints */
+Tc(Tcnum, "tcnum") /* arith ops */
+Tc(Tcint, "tcint") /* behaves like an int, defaults to int as fallback */
+Tc(Tcfloat, "tcfloat") /* behaves like a float, defaults to float as fallback */
+Tc(Tctest, "tctest") /* if condition */
+Tc(Tcidx, "tcidx") /* indexable */
+Tc(Tcslice, "tcslice") /* sliceable */
+Tc(Ncstr, "")