Log of the #nice channel on irc.freenode.net

Using timezone: Central European Time
* arjanb leaves00:47
* CIA-12 leaves10:13
* CIA-2 joins10:14
* CIA-2 leaves11:16
* CIA-12 joins
* CIA-12 leaves
* CIA-2 joins
* arjanb joins11:49
* bonniot leaves12:06
* bonniot joins
* CIA-2 leaves12:51
* CIA-12 joins12:52
* CIA-12 leaves14:15
* CIA-2 joins
* CIA-2 leaves14:21
* CIA-12 joins14:22
03bonniot * 10Nice/ (3 files in 2 dirs): 18:05
Only create commonly used exception objects in debug mode, to speed up
typechecking (~ 10%).
* bug joins18:37
* bug leaves
* arjanb leaves19:22
<CIA-12>03bonniot * 10Nice/src/mlsub/typing/lowlevel/K0.java: 20:33
Only perform abstract interface computations when at least one soft node
implements at least one abstract interface.
Speeds up typechecking by another ~ 10%.
* CIA-12 leaves20:42
* CIA-2 joins20:43
* DwayneB joins21:41
* CIA-2 leaves22:14
* CIA-12 joins
* DwayneB leaves22:48

Generated by Sualtam