roconnor 2017-02-08 06:56:44
I have error: Could not deduce b ~ a1 .... Relevent bindings include refl :: b Data.Type.Equality.:~: a1
roconnor 2017-02-08 06:56:46
:/
glguy 2017-02-08 06:57:01
print the kinds?
glguy 2017-02-08 06:57:22
or case on the refl?
roconnor 2017-02-08 06:58:41
I do have a case
roconnor 2017-02-08 06:59:03
... In case alterantive Just refl -> let z = zero in pair z z ...
glguy 2017-02-08 06:59:12
Oh, Just Refl
glguy 2017-02-08 06:59:14
not refl
roconnor 2017-02-08 06:59:15
ahhh
roconnor 2017-02-08 06:59:19
ty!
roconnor 2017-02-08 06:59:23
ha ha
roconnor 2017-02-08 07:00:13
the world makes sense again.
qmm 2017-02-08 07:19:02
is multi-node concurrency possible with stm?
reactormonk 2017-02-08 07:25:05
Is an IsString instance the correct thing when I want to define an instance that's not total? E.g. an URI, not every string is an URI.
qmm 2017-02-08 07:27:22
i guess not
dolio 2017-02-08 07:29:58
I'm not a fan of that.
skeuomorf 2017-02-08 07:30:09
What does that colon do? http://lpaste.net/2665345129237184512#line4
skeuomorf 2017-02-08 07:30:21
What's that syntax I mean?
kadoban 2017-02-08 07:30:41
(:) is the list "cons" constructor, it's how you add an element to the beginning of a list
dolio 2017-02-08 07:30:50
I feel like a quasiquoter would be nicer, since it could give you errors for malformed URLs at compile time.
skeuomorf 2017-02-08 07:31:06
kadoban: oh, right
skeuomorf 2017-02-08 07:31:10
kadoban: thanks!
kadoban 2017-02-08 07:31:14
It's used once there to do that, and a few times in pattern matches, where it's (partially) deconstructing lists.
kadoban 2017-02-08 07:31:15
Anytime
skeuomorf 2017-02-08 07:32:13
yeah, still not used to the let..in syntax so got thrown off a bit
kadoban 2017-02-08 07:34:46
Yeah, there's definitely a mix of stuff there I could see being confusing if you're not solid on all of them.
skeuomorf 2017-02-08 07:35:09
Yeah, it's from http://book.realworldhaskell.org/read/functional-programming.html
kadoban 2017-02-08 07:35:26
Ah, that's why it looked familiar
prohobo 2017-02-08 07:35:54
holy moly
reactormonk 2017-02-08 07:43:15
Can I execute template haskell from an IsString instance?
dmwit 2017-02-08 07:43:59
If you could, would it help?
dmwit 2017-02-08 07:44:08
(I think the answer to my question is "no".)
kadoban 2017-02-08 07:44:33
You can use template haskell to define an IsString instance I guess? I have a feeling that's not what you're asking though.
reactormonk 2017-02-08 07:44:52
dmwit, I want to convert static string to URIRef via IsString and error out if you can't. Preferably error out at compiletime.
