James Harrison Fisher jameshfisher

Organizations

@airplug
@jameshfisher
"TO" != "T0" in spec
jameshfisher commented on issue golang/go#10892
@jameshfisher

Haha, okay, I assume it is an inside joke, because I don't get it. :-)

@jameshfisher
9 is not prime
@jameshfisher
tla-plus org name is misleading
@jameshfisher

Hi Markus, Sorry for that; you're totally right. I'd forgotten I had the repository at that location. I've moved it to jameshfisher/tlaplus. Best w…

@jameshfisher
@jameshfisher
impl core::fmt::String for tuples
@jameshfisher
@jameshfisher
@jameshfisher

Wonderful! Thanks all!

@jameshfisher

It's definitely a problem in Element.updateAndReplace. The newNode returned by the update function is invalid (i.e., it accurately reflects the inc…

@jameshfisher

Okay, I think I've completely misinterpreted things and I retract everything I just said ... I now think the scheduledScene values are correct. The s…

@jameshfisher

I get a bit lost after that. I understand that domUpdate is only called because that function is mapped over the signalGraph. Which means that in s…

@jameshfisher

scheduledScene is only assigned by domUpdate(newScene), and newScene looks incorrect when that is called, so the caller of domUpdate is passing inc…

@jameshfisher

Here's the HTML that Elm creates for the above program: https://gist.github.com/jameshfisher/77799ca0d96f5d475f1e I know nothing about Elm's intern…

@jameshfisher

Aha, yes, that should certainly be documented! I would suggest that, alongside the tutorial-ish docs, a more formal spec is kept. That would be an …

@jameshfisher

It definitely sounds similar. On Dec 21, 2014 11:17 PM, "Emilien Taque" notifications@github.com wrote: I could be encountering the same issue here:

@jameshfisher
Wrong HTML element disappears in state transition
@jameshfisher
Web editor handles Unicode programs incorrectly
@jameshfisher
Unicode character literal causes parse error
@jameshfisher

Okay, so this program works as expected, both in elm-reactor and the web editor: import Text import String main = Text.plainText (String.fromChar '…

@jameshfisher

elm-reactor also serves the correct character in the output, whereas the web editor, when using a string literal instead of a character literal, …