/irc-logs / w3c / #css / 2014-06-16 / end

Options:

  1. # Session Start: Mon Jun 16 00:00:00 2014
  2. # Session Ident: #css
  3. # [00:22] * Joins: tantek (~tantek@public.cloak)
  4. # [00:31] * Quits: tantek (~tantek@public.cloak) (Ping timeout: 180 seconds)
  5. # [07:08] * Joins: zcorpan (~zcorpan@public.cloak)
  6. # [08:01] * Quits: logbot (~logbot@public.cloak) (Client closed connection)
  7. # [08:01] * Joins: logbot (~logbot@public.cloak)
  8. # [08:04] * Joins: jcraig (~jcraig@public.cloak)
  9. # [08:22] * Quits: jcraig (~jcraig@public.cloak) (jcraig)
  10. # [08:22] * Joins: jcraig (~jcraig@public.cloak)
  11. # [09:00] * Joins: rodneyrehm (~rrehm@public.cloak)
  12. # [09:00] * Quits: rodneyrehm (~rrehm@public.cloak) ("leaving planet earth")
  13. # [09:38] * Quits: jcraig (~jcraig@public.cloak) (jcraig)
  14. # [10:48] * Joins: glazou (~glazou@public.cloak)
  15. # [11:02] * Quits: liam (liam@public.cloak) (Ping timeout: 180 seconds)
  16. # [11:06] * Joins: liam (liam@public.cloak)
  17. # [11:30] * Quits: liam (liam@public.cloak) (Ping timeout: 180 seconds)
  18. # [11:35] * Joins: liam (liam@public.cloak)
  19. # [11:56] * Quits: glazou (~glazou@public.cloak) (glazou)
  20. # [13:47] * Joins: Ms2ger (~Ms2ger@public.cloak)
  21. # [13:50] * Joins: plh (plehegar@public.cloak)
  22. # [15:08] * Joins: dauwhe (~dauwhe@public.cloak)
  23. # [15:18] * Quits: zcorpan (~zcorpan@public.cloak) (Client closed connection)
  24. # [15:18] * Joins: zcorpan (~zcorpan@public.cloak)
  25. # [15:25] * Quits: zcorpan (~zcorpan@public.cloak) (Ping timeout: 180 seconds)
  26. # [15:43] * liam is now known as liam|dentist
  27. # [18:13] * Joins: lmclister (~lmclister@public.cloak)
  28. # [18:15] * Joins: Ian (ijacobs@public.cloak)
  29. # [18:15] * Parts: Ian (ijacobs@public.cloak) (Leaving)
  30. # [18:35] * Joins: darktears (~darktears@public.cloak)
  31. # [19:14] * Joins: adenilson (~anonymous@public.cloak)
  32. # [19:18] * Joins: zcorpan (~zcorpan@public.cloak)
  33. # [19:22] * Joins: dbaron (~dbaron@public.cloak)
  34. # [19:25] * Quits: zcorpan (~zcorpan@public.cloak) (Ping timeout: 180 seconds)
  35. # [19:31] * Quits: plh (plehegar@public.cloak) ("Leaving")
  36. # [19:35] * Joins: plh (plehegar@public.cloak)
  37. # [19:40] * Joins: zcorpan (~zcorpan@public.cloak)
  38. # [20:21] * Quits: Ms2ger (~Ms2ger@public.cloak) ("nn")
  39. # [20:24] * Quits: plh (plehegar@public.cloak) (Ping timeout: 180 seconds)
  40. # [20:29] * Joins: plh (plehegar@public.cloak)
  41. # [20:38] * liam|dentist is now known as liam
  42. # [20:53] * Quits: plh (plehegar@public.cloak) ("Leaving")
  43. # [20:53] * Joins: plh (plehegar@public.cloak)
  44. # [21:09] * Joins: tantek (~tantek@public.cloak)
  45. # [21:16] * Quits: tantek (~tantek@public.cloak) (tantek)
  46. # [21:51] * Quits: zcorpan (~zcorpan@public.cloak) (Client closed connection)
  47. # [21:52] <TabAtkins> plinss: heycam just updated WebIDL to allow "dictionary Foo { sequence<Bar> bars = []; }", which makes widlparser unhappy.
  48. # [21:52] * Joins: zcorpan (~zcorpan@public.cloak)
  49. # [21:52] <TabAtkins> It outputs the correct things when I force (yay!), but there's still a fatal IDL error in the meantime.
  50. # [21:52] <plinss> TabAtkins: ok, I’ll take a look, is there a sample in the repo?
  51. # [21:53] <TabAtkins> Yeah, font-loading
  52. # [21:59] * Quits: zcorpan (~zcorpan@public.cloak) (Ping timeout: 180 seconds)
  53. # [22:08] <plinss> TabAtkins: updated - https://github.com/plinss/widlparser/commit/93833e1597b6daddd9ff1e2b628e95ede18dd190
  54. # [22:09] <TabAtkins> Cool. You wanna put together a PR for Bikeshed, or should I just fiddle it myself?
  55. # [22:10] <plinss> it’s a small patch, you can just paste it in
  56. # [22:11] <TabAtkins> kk
  57. # [22:12] <plinss> note, my patch doesn’t allow whitespace between the []. I’m guessing that’s the intent, but it’s not entirely clear…
  58. # [22:15] * Joins: jcraig (~jcraig@public.cloak)
  59. # [22:26] <plinss> TabAtkins: thought about it and changed my mind, new version that allows whitepsace: https://github.com/plinss/widlparser/commit/b3c1c6ef4d0303c5fab8170702350da97a03e4f2
  60. # [22:27] <TabAtkins> Ok.
  61. # [22:27] <TabAtkins> (Dunno if it should be allowed or not.)
  62. # [22:27] <plinss> yeah, me either, the spec talks about the “two token sequence []”, but this is consistent with other uses of []
  63. # [22:36] * Joins: rhauck (~Adium@public.cloak)
  64. # [22:39] <TabAtkins> How well is IDL parsing defined?
  65. # [22:45] <plinss> pretty well actually: http://heycam.github.io/webidl/#idl-grammar
  66. # [22:45] <plinss> what convinced me is: “Implicitly, any number of whitespace and comment terminals are allowed between every other terminal in the input text being parsed”
  67. # [22:46] <plinss> looking at the grammar then it appears that “[“ and “]” are separate terminals…
  68. # [22:47] <plinss> so I’m now fairly well convinced that whitespace is allowed between
  69. # [22:47] <plinss> it had just been a while since I looked that close that the low levels of the grammar
  70. # [22:55] <TabAtkins> Okay, cool.
  71. # [23:01] * Quits: rhauck (~Adium@public.cloak) ("Leaving.")
  72. # [23:04] * Joins: rhauck (~Adium@public.cloak)
  73. # [23:10] * Quits: darktears (~darktears@public.cloak) (Ping timeout: 180 seconds)
  74. # Session Close: Tue Jun 17 00:00:00 2014

The end :)