| --- Log opened Thu Dec 17 00:00:27 2020 |
| 00:33 | | catalyst [catalyst@Nightstar-ejd4sd.cable.virginm.net] has quit [[NS] Quit: -a- Connection Timed Out] |
| 00:33 | | catalyst [catalyst@Nightstar-ejd4sd.cable.virginm.net] has joined #code |
| 01:10 | | Degi [Degi@Nightstar-vdqqsg.dyn.telefonica.de] has quit [Operation timed out] |
| 01:13 | | Degi [Degi@Nightstar-l2ps6o.dyn.telefonica.de] has joined #code |
| 03:30 | | himi [sjjf@Nightstar-1drtbs.anu.edu.au] has quit [Ping timeout: 121 seconds] |
| 04:00 | | Datawalke [Datawalke@Nightstar-as7dq0.pa.comcast.net] has joined #code |
| 04:05 | | Datawalke [Datawalke@Nightstar-as7dq0.pa.comcast.net] has quit [[NS] Quit: ] |
| 04:58 | | VirusJTG [VirusJTG@Nightstar-42s.jso.104.208.IP] has quit [Connection closed] |
| 04:58 | | VirusJTG [VirusJTG@Nightstar-42s.jso.104.208.IP] has joined #code |
| 04:58 | | mode/#code [+ao VirusJTG VirusJTG] by ChanServ |
| 05:20 | | celticminstrel [celticminst@Nightstar-26ueug.dsl.bell.ca] has quit [[NS] Quit: And lo! The computer falls into a deep sleep, to awake again some other day!] |
| 05:47 | | himi [sjjf@Nightstar-v37cpe.internode.on.net] has joined #code |
| 05:47 | | mode/#code [+o himi] by ChanServ |
| 09:22 | | catalyst [catalyst@Nightstar-ejd4sd.cable.virginm.net] has quit [Connection reset by peer] |
| 09:22 | | catalyst_ [catalyst@Nightstar-ejd4sd.cable.virginm.net] has joined #code |
| 10:04 | | Kindamoody[zZz] is now known as Kindamoody|afk |
| 10:56 | | Emmy [Emmy@Nightstar-l49opt.fixed.kpn.net] has joined #code |
| 11:00 | | catalyst [catalyst@Nightstar-mne13l.dab.02.net] has joined #code |
| 11:01 | | catalyst_ [catalyst@Nightstar-ejd4sd.cable.virginm.net] has quit [Ping timeout: 121 seconds] |
| 13:48 | | Kindamoody|afk is now known as Kindamoody |
| 14:13 | | VirusJTG [VirusJTG@Nightstar-42s.jso.104.208.IP] has quit [Connection closed] |
| 14:17 | | VirusJTG [VirusJTG@Nightstar-42s.jso.104.208.IP] has joined #code |
| 14:17 | | mode/#code [+ao VirusJTG VirusJTG] by ChanServ |
| 14:36 | | celticminstrel [celticminst@Nightstar-26ueug.dsl.bell.ca] has joined #code |
| 14:36 | | mode/#code [+o celticminstrel] by ChanServ |
| 15:36 | | Kindamoody is now known as Kindamoody|afk |
| 15:38 | | catalyst_ [catalyst@Nightstar-5ickai.dab.02.net] has joined #code |
| 15:42 | | catalyst [catalyst@Nightstar-mne13l.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 15:52 | | catalyst_ is now known as catalyst |
| 18:03 | <~Vornicus> | oh boy! I found a bug! |
| 18:04 | <~Vornicus> | fuck it's a mean one |
| 18:04 | <~Vornicus> | okay |
| 18:07 | <~Vornicus> | type dispatch code generation, with a wildcard. Currently, if a type is present at a particular depth, even if the rest of the type pattern doesn't match, it won't try the wildcard path. |
| 18:09 | <~Vornicus> | so if I have f(number, number) and f(*, table) defined, f(2,{}) will fail, even though technically that matches the wildcard pattern. |
| 18:09 | | catalyst [catalyst@Nightstar-5ickai.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 18:16 | <~Vornicus> | So basically... hm. it's a little hard to tell what this actually looks like. I'm going to have to do a *lot* of work to get this figured out |
| 18:59 | <~Vornicus> | okay. that setup looks correct. let's see if I can convince the actual generator to come up with that. |
| 19:05 | <~Vornicus> | oh no, it's not quite right |
| 19:06 | <~Vornicus> | because technically I want functions whose signatures are star tail to accept shorter versions of the call |
| 19:13 | | Kindamoody|afk is now known as Kindamoody |
| 19:20 | <~Vornicus> | star/nil tail even. Okay. -- do I just fake it, or ... what the hell. |
| 19:50 | <~Vornicus> | nope, not sure what I'm after here |
| 20:02 | <~Vornicus> | ...do I just ... ... ... replace == with <= and be done? does that work? --not quite, explicit nils miss it |
| 20:03 | <~Vornicus> | okay that's not actually a thing I currently use and that's probably fine |
| 20:12 | <~Vornicus> | but I do have a ...-like function I need to write which sounds like a good day. |
| 21:49 | | catalyst_ [catalyst@Nightstar-ejd4sd.cable.virginm.net] has joined #code |
| 22:51 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has quit [Connection closed] |
| 23:16 | | catalyst [catalyst@Nightstar-3b56sa.dab.02.net] has joined #code |
| 23:19 | | catalyst_ [catalyst@Nightstar-ejd4sd.cable.virginm.net] has quit [Ping timeout: 121 seconds] |
| 23:19 | | catalyst_ [catalyst@Nightstar-ejd4sd.cable.virginm.net] has joined #code |
| 23:22 | | catalyst [catalyst@Nightstar-3b56sa.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 23:22 | | Emmy [Emmy@Nightstar-l49opt.fixed.kpn.net] has quit [Ping timeout: 121 seconds] |
| 23:52 | | Kindamoody is now known as Kindamoody[zZz] |
| --- Log closed Fri Dec 18 00:00:28 2020 |