|
@@ -20,6 +20,31 @@
|
|
|
* DEALINGS IN THE SOFTWARE.
|
|
|
*)
|
|
|
|
|
|
+(*
|
|
|
+ Conventions:
|
|
|
+ - e: expression (typed or untyped)
|
|
|
+ - c: class
|
|
|
+ - en: enum
|
|
|
+ - td: typedef (tdef)
|
|
|
+ - a: abstract
|
|
|
+ - an: anon
|
|
|
+ - tf: tfunc
|
|
|
+ - cf: class_field
|
|
|
+ - ef: enum_field
|
|
|
+ - t: type (t)
|
|
|
+ - ct: complex_type
|
|
|
+ - v: local variable (tvar)
|
|
|
+ - m: module (module_def)
|
|
|
+ - mt: module_type
|
|
|
+ - p: pos
|
|
|
+
|
|
|
+ "param" refers to type parameters
|
|
|
+ "arg" refers to function arguments
|
|
|
+ leading s_ means function returns string
|
|
|
+ trailing l means list (but we also use natural plurals such as "metas")
|
|
|
+ semantic suffixes may be used freely (e.g. e1, e_if, e')
|
|
|
+*)
|
|
|
+
|
|
|
open Printf
|
|
|
open Ast
|
|
|
open Genswf
|