| Fri, 09 Mar 2012 20:17:16 +0100 |
haftmann |
always bracket case expressions in Scala
|
file |
diff |
annotate
|
| Tue, 20 Sep 2011 09:30:19 +0200 |
bulwahn |
syntactic improvements and tuning names in the code generator due to Florian's code review
|
file |
diff |
annotate
|
| Wed, 07 Sep 2011 13:51:32 +0200 |
bulwahn |
adding the body type as well to the code generation for constants as it is required for type annotations of constants
|
file |
diff |
annotate
|
| Wed, 07 Sep 2011 13:51:30 +0200 |
bulwahn |
changing const type to pass along if typing annotations are necessary for disambigous terms
|
file |
diff |
annotate
|
| Sat, 20 Aug 2011 23:35:30 +0200 |
wenzelm |
refined Graph implementation: more abstract/scalable Graph.Keys instead of plain lists -- order of adjacency is now standardized wrt. Key.ord;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 20:22:22 +0200 |
wenzelm |
tuned signature: Name.invent and Name.invent_names;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 17:51:49 +0200 |
wenzelm |
simplified Name.variant -- discontinued builtin fold_map;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 14:51:38 +0100 |
wenzelm |
allow spaces in executable names;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 13:57:20 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 19 Feb 2011 08:47:46 +0100 |
haftmann |
dropped redundancy
|
file |
diff |
annotate
|
| Thu, 17 Feb 2011 09:31:29 +0100 |
haftmann |
more idiomatic printing of let cascades and type variable constraints
|
file |
diff |
annotate
|
| Wed, 02 Feb 2011 10:34:14 +0100 |
bulwahn |
scala serializer adds parentheses around function literals
|
file |
diff |
annotate
|
| Tue, 21 Dec 2010 08:40:39 +0100 |
haftmann |
program is separate argument to serializer
|
file |
diff |
annotate
|
| Wed, 29 Sep 2010 10:05:44 +0200 |
haftmann |
scala is reserved identifier
|
file |
diff |
annotate
|
| Sat, 04 Sep 2010 21:14:40 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|