+ +17/6 (BB) There is now support for lists in GF abstract syntax. +A list category is declared as: +
+cat [C] ++or +
+cat [C]{n}
+
+where C is a category and n is a non-negative integer.
+cat [C] is equivalent to cat [C]{0}. List category
+syntax can be used whereever categories are used.
+
++ +cat [C]{n} is equivalent to the declarations: +
+cat ListC +fun BaseC : C^n -> ListC +fun ConsC : C -> ListC -> ListC ++ +where C^0 -> X means X, and C^m (where +m > 0) means C -> C^(m-1). + +
+ +A lincat declaration on the form: +
+lincat [C] = T ++is equivalent to +
+lincat ListC = T ++ +The linearizations of the list constructors are written +just like they would be if the function declarations above +had been made manually, e.g.: +
+lin BaseC x_1 ... x_n = t +lin ConsC x xs = t' ++ + +
10/6 (AR) Preprocessor of .gfe files can now be performed as part of