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

Using timezone: Central European Time
<CIA-3>03arjanb * 10Nice/src/bossa/ (8 files in 2 dirs): Converted GlobalVarDeclaration.02:07
* arjanb leaves04:08
* bonniot joins10:15
* CIA-3 leaves11:16
* CIA-10 joins
* arjanb joins12:43
hi12:47
<bonniot>hi
<arjanb>what do you think of changing the default retyping of arrays from ?thing[] to thing[] ?12:50
<bonniot>it would be less strict in some cases and more strict in others (because array is invariant)12:52
so it's not clear what is best. what is your argument?12:53
<arjanb>because variance gets in the way i want the most common case
<bonniot>and what is the most common case?
<arjanb>non null elements i think12:54
<bonniot>yes, that might be good12:57
<arjanb>are you working on something?12:59
<bonniot>my dissertation ;-)13:00
<arjanb>getting close to finishing it?13:03
<bonniot>yes, i hope so...13:04
* arjanb leaves17:28
* arjanb joins17:34
* Vurlix leaves19:17
* Vurlix joins19:18

Generated by Sualtam