<asterite>
jhass: not a bug, a design decision. In case of a dispatch the matching types aren't discarded from the original union... kind of hard to explain here, but imagine if it were multiple arguments, there's no way to easily discard types from a union. We *could* make it work for one argument, though I don't know if we will (maybe it's inconsistent). So adding a restriction of Array is needed
<jhass>
not sure I follow why argument count makes any difference
umurgdk has joined #crystal-lang
broz has joined #crystal-lang
umurgdk has quit [Ping timeout: 246 seconds]
rolha has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
pawnbox has joined #crystal-lang
<jhass>
asterite: btw probably want to flick on Travis on crystal-lang/html_builder
<asterite>
It's easier if it's just one argument... though imagine one restriction is a class and you pass a superclass, you have to remove that class from the hierarchy and be left with the rest of the "tree"... so, type subsstraction, probably, but kind of hard in the general case
<asterite>
A; B < A; C < A; D < B; then you pass something of type A+ to a restriction of type D, you end up with something like A | B | C
pawnbox has joined #crystal-lang
willl has joined #crystal-lang
pawnbox has quit [Ping timeout: 250 seconds]
tilpner has quit [Quit: :wq]
tilpner has joined #crystal-lang
Philpax_ has joined #crystal-lang
Philpax__ has joined #crystal-lang
Philpax has quit [Ping timeout: 260 seconds]
Philpax has joined #crystal-lang
Philpax_ has quit [Ping timeout: 276 seconds]
Philpax__ has quit [Ping timeout: 276 seconds]
pawnbox has joined #crystal-lang
mgarciaisaia has joined #crystal-lang
pawnbox has quit [Ping timeout: 276 seconds]
broz has quit [Remote host closed the connection]
broz has joined #crystal-lang
A124 has quit [Read error: Connection reset by peer]
tzesh has joined #crystal-lang
Philpax has quit [Ping timeout: 276 seconds]
A124 has joined #crystal-lang
mgarciaisaia has left #crystal-lang [#crystal-lang]
<Guest42443>
jhass that is shell... I can't really get more explicit
broz has quit [Remote host closed the connection]
pawnbox has joined #crystal-lang
pawnbox has quit [Remote host closed the connection]
pawnbox has joined #crystal-lang
matp has joined #crystal-lang
soveran has joined #crystal-lang
soveran has quit [Ping timeout: 244 seconds]
kfpratt has joined #crystal-lang
kfpratt has quit [Remote host closed the connection]
TheLemonMan has joined #crystal-lang
soveran has joined #crystal-lang
petercommand has quit [Ping timeout: 246 seconds]
trapped has joined #crystal-lang
petercommand has joined #crystal-lang
pawnbox_ has joined #crystal-lang
Philpax has quit [Read error: Connection reset by peer]
pawnbox has quit [Ping timeout: 268 seconds]
Netfeed has joined #crystal-lang
Netfeed has quit [Changing host]
tzesh has joined #crystal-lang
mark_66 has joined #crystal-lang
dsounded has joined #crystal-lang
dsounded has quit [Remote host closed the connection]
dsounded has joined #crystal-lang
dsounded has quit [Ping timeout: 240 seconds]
pawnbox_ has quit [Remote host closed the connection]
pawnbox has joined #crystal-lang
umurgdk has joined #crystal-lang
umurgdk has quit [Remote host closed the connection]
umurgdk has joined #crystal-lang
dsounded has joined #crystal-lang
<jhass>
Guest42443: by now, just rephrase your question in one sentence
<jhass>
asterite: okay got it now, bar(Int32, Symbol) or bar(Symbol, Int32) can't be removed from the set of possible methods for the unrestricted version, meh
dsounded has quit [Ping timeout: 250 seconds]
dsounded has joined #crystal-lang
pawnbox has quit [Remote host closed the connection]
pawnbox has joined #crystal-lang
petercommand has quit [Ping timeout: 250 seconds]
willl has quit [Quit: Connection closed for inactivity]
dsounded has quit [Read error: Connection reset by peer]
sdogruyol has joined #crystal-lang
pawnbox has quit [Remote host closed the connection]
<jhass>
tzesh: probably luck due to being sandboxed and 32bit
<jhass>
definitely a codegen bug
<jhass>
please open an issue :)
<tzesh>
Ok
dsounded has quit [Remote host closed the connection]
nwmcsween has joined #crystal-lang
Guest42443 has quit [Ping timeout: 246 seconds]
nwmcsween is now known as Guest9140
soveran has quit [Remote host closed the connection]
dsounded has joined #crystal-lang
dsounded has quit [Remote host closed the connection]
soveran has joined #crystal-lang
soveran has joined #crystal-lang
dsounded has joined #crystal-lang
umurgdk has quit [Read error: Connection reset by peer]
umurgdk has joined #crystal-lang
<crystal-gh>
[crystal] puppetpies opened pull request #2495: Added count_lines function (master...master) https://git.io/vw4s9
soveran has quit [Remote host closed the connection]
kfpratt has joined #crystal-lang
kfpratt has quit [Remote host closed the connection]
dsounded has quit [Ping timeout: 252 seconds]
dsounded has joined #crystal-lang
Philpax has joined #crystal-lang
tzesh has quit [Ping timeout: 260 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
pawnbox_ has joined #crystal-lang
pawnbox has quit [Ping timeout: 268 seconds]
dsounded has quit [Read error: Connection reset by peer]
dsounded has joined #crystal-lang
trapped has quit [Read error: Connection reset by peer]
trapped has joined #crystal-lang
dsounded has quit [Ping timeout: 260 seconds]
dsounded has joined #crystal-lang
kfpratt has joined #crystal-lang
kfpratt has quit [Client Quit]
dsounded has quit [Remote host closed the connection]
<asterite>
jhass: you can do the irc group registration and put you as a primary contact. I didn't get a reply from waj but I think he'll be fine with this (that is, unless you don't want to be the primary contact)
<jhass>
I'm still unsure :P
willl has joined #crystal-lang
pawnbox_ has quit [Remote host closed the connection]
broz has joined #crystal-lang
pawnbox has joined #crystal-lang
dsounded has joined #crystal-lang
dsounded has quit [Remote host closed the connection]
dsounded has joined #crystal-lang
pawnbox has quit [Remote host closed the connection]
pawnbox has joined #crystal-lang
<asterite>
jhass: OK, no worries. I sent them an email, I'll let you know when/if they reply
<jhass>
asterite: ugh, bad timing
<jhass>
I decided to just do it myself
<asterite>
Ah, nevermind, I'll tell them so in the email
<jhass>
thanks, sorry should've said so
broz has quit [Remote host closed the connection]
<asterite>
No problem at all, really :)
Philpax has quit [Ping timeout: 260 seconds]
broz has joined #crystal-lang
umurgdk has quit [Remote host closed the connection]
<jhass>
asterite: waj alright, I got ownership of #crystal, gonna forward it to here. I registered both of you as group contacts, that means you can request ops and ownership of all channels starting with #crystal-*, in case of conflicts (somebody registering one there and doing harm to the project), just contact staff. Additionally you can request cloaks for yourself and other people starting with crystal/, so
<jhass>
so for example your usermask could become asterite@crystal/founder/asterite or the like (founder is arbitrary here).
dsounded has quit [Read error: Connection reset by peer]
<jhass>
they also plan on releasing a website soon where such requests can be automated without needing interaction with staff, which you'll get access to when it launches
dsounded has joined #crystal-lang
umurgdk has joined #crystal-lang
dsounded has quit [Remote host closed the connection]
umurgdk has quit [Ping timeout: 268 seconds]
dsounded has joined #crystal-lang
dsounded has quit [Remote host closed the connection]
<jhass>
poll: how appreciated are the Github and Travis announcements here still? Should we move them to #crystal-dev or alike?
umurgdk has joined #crystal-lang
<asterite>
I don't mind them here because there isn't much traffic, but probably a separate channel just for these notifications would be better
<crystal-gh>
[crystal] asterite opened pull request #2496: Add `as` special method. Fixes #2482 (master...feature/as_as_method) https://git.io/vw4Hn
dsounded has joined #crystal-lang
<jhass>
asterite: I'd say flick on Travis for crystal-lang/html_builder btw ;)
<asterite>
(without the bonus part, which could be done anyway without the syntax change)
<jhass>
quite mixed, hence didn't vote
<asterite>
Ah, ok... for me it makes everything more consistent, specially for method chaining and &.as(...)
<jhass>
yeah I see that
<jhass>
do you think it might eventually be implementable in userland?
<jhass>
like making union a first class citizen like Class
<jhass>
and then in theory you could do struct Union; def as(type); {{raise "..." unless @types.includes? type}}}; end or whatever (just pseudo code to show where my thinking goes roughly)
<asterite>
Maybe... the main issue is that you can do .as(Void*), and `Void*` is not something valid, it's the `*` method... or .as(Int32 -> Int32), again the same issue. In any case, if we ever can make it be a regular method, it would be good if now it looks like a method so we can make the change transparently
<jhass>
I think I'm not strongly opposed to it
mgarciaisaia has joined #crystal-lang
<asterite>
:-)
<jhass>
it's just that my "love moment" with Ruby was when I discovered how much is just regular class/objects/method calls and how few is syntax/special cases by the interpreter
<jhass>
so getting distance from that feeling is sometimes a bit hard ;)
<asterite>
Yeah, that happened to me too, even being able to do `class Foo < exp`, or `rescue var` where var holds the type of exception... everything is very composable
mgarciaisaia has left #crystal-lang [#crystal-lang]
<asterite>
though in practice you usually never override `is_a?`, or `include` (well, rspec does)... it's a tradeoff we have to make
<jhass>
yes
<jhass>
maybe we can group it conceptually as "compiler based methods" or alike and document it grouped
<asterite>
Yes. Right now I see all of them are in the "type reflection" and "low-level primitives" in the docs, we could probably mention that they are "special"
<jhass>
I guess what kinda would make sense, conceptually, is to move it to the macro language, {{var.as(Foo)}}, arguing it's a method implemented in the compiler because it's in a macro and it can take type grammer because it's in a macro or so, but it's too verbose on the call side
pawnbox has quit [Remote host closed the connection]
pawnbox has joined #crystal-lang
pawnbox has quit [Ping timeout: 260 seconds]
mark_66 has quit [Remote host closed the connection]
pawnbox has joined #crystal-lang
tzesh has joined #crystal-lang
pawnbox has quit [Remote host closed the connection]
tzesh has quit [Quit: 离开]
umurgdk has quit [Remote host closed the connection]
umurgdk has joined #crystal-lang
umurgdk has quit [Ping timeout: 260 seconds]
broz has quit [Remote host closed the connection]
pawnbox has joined #crystal-lang
pawnbox has quit [Remote host closed the connection]
pawnbox has joined #crystal-lang
steenuil has quit [Read error: Connection reset by peer]
yxhuvud has quit [Remote host closed the connection]
steenuil has joined #crystal-lang
CompanionCube has quit [Ping timeout: 264 seconds]
broz has joined #crystal-lang
CompanionCube has joined #crystal-lang
CompanionCube has quit [Changing host]
CompanionCube has joined #crystal-lang
umurgdk has joined #crystal-lang
umurgdk has quit [Ping timeout: 240 seconds]
dsounded has quit [Remote host closed the connection]
Rinkana has joined #crystal-lang
rok has joined #crystal-lang
umurgdk has joined #crystal-lang
trapped has quit [Ping timeout: 276 seconds]
umurgdk has quit [Ping timeout: 260 seconds]
rok has quit [Ping timeout: 276 seconds]
nuxlli_ has joined #crystal-lang
rok has joined #crystal-lang
pawnbox has quit [Remote host closed the connection]
umurgdk has joined #crystal-lang
umurgdk has quit [Ping timeout: 268 seconds]
rok has quit [Quit: rok]
pawnbox has joined #crystal-lang
LastWhisper____ has joined #crystal-lang
LastWhisper____ has joined #crystal-lang
LastWhisper____ has quit [Read error: Connection reset by peer]
LastWhisper____ has joined #crystal-lang
Rinkana has quit [Read error: Connection reset by peer]
pawnbox has quit [Remote host closed the connection]
LastWhisper____ has quit [Ping timeout: 250 seconds]
broz has quit [Remote host closed the connection]
umurgdk has joined #crystal-lang
umurgdk has quit [Remote host closed the connection]
Redfoxmoon has joined #crystal-lang
rolha has joined #crystal-lang
<Redfoxmoon>
maybe I am mixing this language up with another one: but is windows support planned?