Search Haskell Channel Logs

Monday, March 6, 2017

#haskell channel featuring tommd, osa1, liste, piyush-kurur, ezyang, Axman6,

liste 2017-03-06 19:10:22
buttons840: yes
liste 2017-03-06 19:10:37
lucid for html, clay for css
piyush-kurur 2017-03-06 19:11:52
tommd: it was just regarding the issue for file specific cc-flags
osa1 2017-03-06 19:19:35
what breaks if I define Eq and Ord instances so that `compre x y /= EQ` but `x == y` ?
osa1 2017-03-06 19:20:38
for some reason I always assumed Eq and Ord should be in agreement about when two values are equal but looking at the docs that doesn't seem to be the case
piyush-kurur 2017-03-06 19:23:16
tommd: I have just added a comment to the issue https://github.com/haskell/cabal/issues/4294
piyush-kurur 2017-03-06 19:23:27
just let me know how it looks
Axman6 2017-03-06 19:24:03
osa1: nothing happens, but code will break. I think that is probably a law for Ord, but there's nothing which (can) enforce it
piyush-kurur 2017-03-06 19:28:41
ezyang: what are the other options
ezyang 2017-03-06 19:28:55
piyush-kurur: I did say that I couldn't think of a good syntax ;)
ezyang 2017-03-06 19:29:28
otoh, filename flag flag might not be so terrible
piyush-kurur 2017-03-06 19:29:45
ezyang: you mean in the c-sources ?
ezyang 2017-03-06 19:30:04
cc-options-for
ezyang 2017-03-06 19:33:31
I don't actually remember what happens when Cabal sees a field it doesn't undersatnd
piyush-kurur 2017-03-06 19:33:37
ezyang: okey now I see what you meant
piyush-kurur 2017-03-06 19:33:44
sorry I was being dense
tommd 2017-03-06 19:33:47
piyush-kurur: How would this help the avx2 issue where you want portability on non-avx systems as well?
ezyang 2017-03-06 19:33:48
np
ezyang 2017-03-06 19:34:11
tommd: Seems like this won't really help
ezyang 2017-03-06 19:34:19
because Cabal doesn't know about avx
tommd 2017-03-06 19:34:30
piyush-kurur: I suppose something like `cc-options-for: x.c -mavx -DWITH_AVX` newline `x.c // notice no avx`.
piyush-kurur 2017-03-06 19:34:58
tommd: yes something like that
tommd 2017-03-06 19:34:59
piyush-kurur: But cabal would need to know to produce and link to seperate object files from one (duplicately mentioned) C file.
tommd 2017-03-06 19:35:16
And that's some careful CPP to boot.
tommd 2017-03-06 19:35:43
Anyways, It's late by my standards so I'm signing off. Thanks for putting this together piyush-kurur, I'll mull it over.