srenatus has quit [Quit: Connection closed for inactivity]
Applejack_ has quit [Ping timeout: 244 seconds]
michael_campbell has quit [Ping timeout: 244 seconds]
michael_campbell has joined #ponylang
trapped has quit [Read error: Connection reset by peer]
Applejack_ has joined #ponylang
michael_campbell has quit [Ping timeout: 244 seconds]
michael_campbell has joined #ponylang
jemc has quit [Ping timeout: 250 seconds]
Applejack_ has quit [Ping timeout: 240 seconds]
Perelandric has quit [Ping timeout: 250 seconds]
Applejack_ has joined #ponylang
mcguire1 has quit [Ping timeout: 240 seconds]
SilverKey has joined #ponylang
Applejack_ has quit [Ping timeout: 244 seconds]
michael_campbell has quit [Ping timeout: 246 seconds]
Applejack_ has joined #ponylang
c355e3b has quit [Quit: Connection closed for inactivity]
jemc has joined #ponylang
SilverKey has quit [Quit: Halted.]
Applejack_ has quit [Ping timeout: 250 seconds]
Applejack_ has joined #ponylang
Applejack_ has quit [Ping timeout: 246 seconds]
jemc has quit [Ping timeout: 244 seconds]
andreaa has quit [Ping timeout: 250 seconds]
andreaa has joined #ponylang
rurban has joined #ponylang
rurban1 has joined #ponylang
rurban2 has joined #ponylang
rurban has quit [Ping timeout: 250 seconds]
rurban1 has quit [Ping timeout: 240 seconds]
amclain has quit [Quit: Leaving]
ifraixedes has joined #ponylang
Srdan has joined #ponylang
tm-exa has joined #ponylang
rurban2 has quit [Quit: Leaving.]
Applejack_ has joined #ponylang
M-hrjet has quit [Remote host closed the connection]
c355e3b has joined #ponylang
M-hrjet has joined #ponylang
srenatus has joined #ponylang
rurban has joined #ponylang
rurban has quit [Quit: Leaving.]
andreaa has quit [Ping timeout: 250 seconds]
andreaa has joined #ponylang
Candle has quit [Remote host closed the connection]
trapped has joined #ponylang
rurban has joined #ponylang
Candle has joined #ponylang
rurban has quit [Ping timeout: 244 seconds]
fluttershy_ has joined #ponylang
fluttershy_ has quit [Quit: Page closed]
rurban has joined #ponylang
rurban has left #ponylang [#ponylang]
_andre has joined #ponylang
SilverKey has joined #ponylang
Applejack_ has quit [Ping timeout: 276 seconds]
mcguire1 has joined #ponylang
SilverKey has quit [Quit: Halted.]
Applejack_ has joined #ponylang
SilverKey has joined #ponylang
rurban has joined #ponylang
SilverKey has quit [Quit: Halted.]
SilverKey has joined #ponylang
n3f4s has joined #ponylang
Perelandric has joined #ponylang
<n3f4s>
Hi, I tried to compile ponyc on Arch Linux (32bit) (strangely ponyc is not available with pacman) but I have an error due to conversion from size_t to uint64_t. The problem (I think) is that on 32bit size_t is smaller than uint64_t meanwhile, on 64bit size_t is the same size as uint64_t. Is pony compatible with 32bit OS (If not, that would explain why I can't install it from pacman) ?
jemc has joined #ponylang
<shepheb>
n3f4s: I think it's supposed to be compatible. I have in the past compiled successfully on Arch Linux on 32-bit ARM.
<shepheb>
but there might have been a new bug that used the wrong type somewhere
<n3f4s>
genopt.cc
<n3f4s>
src/libponyc/codegen/genopt.cc: Dans la fonction membre ‘llvm::Value* MergeRealloc::mergeConstant(llvm::IRBuilder<>&, llvm::Value*, uint64_t)’:
<n3f4s>
src/libponyc/codegen/genopt.cc:797:37: erreur : conversion to ‘size_t {aka unsigned int}’ from ‘uint64_t {aka long long unsigned int}’ may alter its value [-Werror=conversion]
<n3f4s>
size = ponyint_heap_index(size);
<n3f4s>
^
<n3f4s>
cc1plus : les avertissements sont traités comme des erreurs
<n3f4s>
Makefile:456 : la recette pour la cible « build/debug/obj/libponyc/codegen/genopt.o » a échouée
<n3f4s>
should I create an issue ? It may be easier to follow.
runehog has quit [Remote host closed the connection]
tm-exa has quit [Quit: Computer has gone to sleep]
<jemc>
n3f4s: yes, please file an issue, including some info about your system and yoru compiler version
<jemc>
and yes, pony is supposed to work on 32-bit systems, so we'll need to fix the issue you're hitting
Applejack_ has quit [Ping timeout: 246 seconds]
<n3f4s>
Ok, thanks. It already append that I try to compile a soft (that was on arch official repo but I couldn't find it with pacman), and after quite some time I realize it works only on 64bits. So I preferred asking before filing an issue.
<jemc>
no worries, I'm just saying that yes, I think you found a real problem that we need to fix, and it will be good to have a ticket to track the problem
<jemc>
thanks for bringing it to our attention!
rurban has quit [Quit: Leaving.]
n3f4s has quit [Ping timeout: 260 seconds]
rurban has joined #ponylang
rurban has quit [Ping timeout: 258 seconds]
jonrh has quit [Ping timeout: 272 seconds]
jonrh has joined #ponylang
tm-exa has joined #ponylang
runehog has joined #ponylang
SilverKey has quit [Quit: Halted.]
<Perelandric>
I'm trying to implement Equatable interface on a simple primitive or class named `Foo` just as a test.
<Perelandric>
I've provided both the `eq` and `ne` methods, that simply accept the same type as a parameter and return `true` and `false` respectively.
<Perelandric>
After creating an instance, I try `my_foo as Equatable[Foo]`, and get different errors based on whatever capability I've assigned, like... "this capture violates capabilities" and the Info: seems to end with "pattern type: Equatable[Foo box] ref!"
<Perelandric>
My suspision is that it has to do with the `ref!` at the end of the last message. Could someone please provide a simple example or pointer on how to implement this correctly with a primiative or class? Thank you!
SilverKey has joined #ponylang
<Perelandric>
*suspicion (I hate typos!)
<jemc>
Perelandric: rcaps don't exist at runtime (only at compile time), so you can't use them for runtime type matching - that is, you can't use `match` or `as` when the rcap is different
andreaa has quit [Ping timeout: 250 seconds]
<jemc>
`Equatable` is defined as `interface Equatable`, which has an implicit `ref` -> `interface ref Equatable`
<jemc>
this means that anywhere you type `Equatable[Foo]`, it is implicitly `Equatable[Foo] ref`
<jemc>
so if `my_foo` is a `val`, then `my_foo as Equatable[Foo] ref` will not compile
<jemc>
you can use `my_foo as Equatable[Foo] val` though
<jemc>
(again, assuming `my_foo` is a `val`)
SilverKey has quit [Quit: Halted.]
andreaa has joined #ponylang
<Perelandric>
Thanks jemc. I could swear I tried it as a `ref` but clearly must have messed something up. I'll try again. Good to know I can use `Equatable[Foo] val`. That helps a lot!
<Perelandric>
Hmm... When I make everything explicitly `ref` or make it `val` and use `my_foo as Equatable[Foo] val`, I get "...type argument is outside its constraint". I'm must be messing something else up somewhere. I'll keep tinkering.
<jemc>
if you post a full snippet it'll be easier to help
<Perelandric>
jemc: I didn't see your first comment. Yes, I'm not expecting this to be a runtime assessment.
<Perelandric>
The `as` was just for testing.
<Perelandric>
Same result with `var f: Equatable[Foo] val = Foo`
<jemc>
Perelandric: you can solve your problem by implementing `fun box eq` and `fun box ne` instead of `fun val eq` and `fun val ne`
<jemc>
or, you can omit `box` since it is implicit in `fun` definitions
<jemc>
you can get better hints about this if you specify at the declaration of `Foo` that it is intending to implement the `Equatable` interface
<jemc>
`class val Foo is Equatable[Foo]`
<Perelandric>
Yes, that does make it compile. In the flurry of attempts, I made it explicit somewhere along the line.
<jemc>
then the compiler will check your definition and be sure that it does in fact implement the right methods in the right way
<Perelandric>
Thanks much, and thanks for the hints on specifying it in the class def. Makes sense!
<jemc>
if you don't specify at the declaration of `Foo` that it intends to be `Equatable`, then the compiler will see them as unrelated types and not give the same nice hints
<jemc>
for interfaces it is not required to do so, but as you've seen it can be helpful
<Perelandric>
Yes, the hints are much clearer. At one point I had it all as box, but then the interface was still as `ref`.
<Perelandric>
My changes overlapped and I missed the correct one.
<Perelandric>
On track now!
<Perelandric>
Back in the saddle! :D
<jemc>
:)
Applejack_ has joined #ponylang
<SeanTAllen>
i know have an aerosmith song stuck in my head
<SeanTAllen>
* now
graaff has joined #ponylang
SilverKey has quit [Quit: Halted.]
SilverKey has joined #ponylang
Applejack_ has quit [Ping timeout: 264 seconds]
SilverKey has quit [Client Quit]
SilverKey has joined #ponylang
runehog has quit [Remote host closed the connection]
runehog has joined #ponylang
<Perelandric>
aerosmith... could be worse! :)
SilverKey has quit [Read error: Connection reset by peer]
SilverKey has joined #ponylang
n3f4s has quit [Remote host closed the connection]
mcguire1 has quit [Ping timeout: 250 seconds]
SilverKey has quit [Quit: Halted.]
SilverKey has joined #ponylang
ifraixedes has quit [Quit: leaving]
joncfoo has left #ponylang ["WeeChat 1.4"]
SilverKey has quit [Quit: Halted.]
SilverKey has joined #ponylang
runehog_ has joined #ponylang
Applejack_ has joined #ponylang
runehog has quit [Ping timeout: 276 seconds]
runehog_ has quit [Remote host closed the connection]
Matthias247 has joined #ponylang
graaff has quit [Quit: Leaving]
SilverKey has quit [Quit: Halted.]
SilverKey has joined #ponylang
_andre has quit [Quit: leaving]
pulpfiction has quit [Quit: Leaving]
jemc has quit [Quit: WeeChat 1.4]
rurban has joined #ponylang
rurban has left #ponylang [#ponylang]
SilverKey has quit [Quit: Halted.]
SilverKey has joined #ponylang
Applejack_ has quit [Ping timeout: 258 seconds]
jemc has joined #ponylang
tm-exa has quit [Quit: Computer has gone to sleep]
runehog has joined #ponylang
srenatus has quit [Quit: Connection closed for inactivity]
Matthias247 has quit [Read error: Connection reset by peer]