Adrian (Dec 06 2024 at 01:59): Adrian (Dec 06 2024 at 01:59):I was attempting to send a http request and got some weird bugs...
This is the minimal example of the buggy behavior
I build and run with roc dev --linker=legacy
app [Model, server] { pf: platform "https://github.com/roc-lang/basic-webserver/releases/download/0.10.0/BgDDIykwcg51W8HA58FE_BjdzgXVk--ucv6pVb_Adik.tar.br" }
import pf.Http
Model : {}
server = { init: Task.ok {}, respond }
respond = \_, _ ->
dbg "req"
{ Http.defaultRequest & url: "https://z.4a.si/spam/objave/" }
|> Http.send
# |> Task.map .body
|> Task.attempt
\x ->
aa = Inspect.toStr x
dbg x
dbg aa
Task.ok { body: "Womp womp" |> Str.toUtf8, headers: [], status: 500 }
Thanks in advance for informing me of my mistakes :)
Adrian (Dec 06 2024 at 02:00):This sample seems to be working when i replace the domain with google.com ?
Anton (Dec 06 2024 at 11:28):Does your request to "https://z.4a.si/spam/objave/" work if you use curl?
Adrian (Dec 06 2024 at 12:05):Anton said:
Does your request to "https://z.4a.si/spam/objave/" work if you use curl?
Yes, and even if it didn't that should not cause a segfault?
Anthony Bullard (Dec 06 2024 at 12:06):I wonder if it is something about the result returned from that endpoint
Anthony Bullard (Dec 06 2024 at 12:06):Can you post the result from curl here?
Adrian (Dec 06 2024 at 12:07):
Anthony Bullard (Dec 06 2024 at 12:09):I'm going to assume this fails on the Inspect.toStr x
Adrian (Dec 06 2024 at 12:10):Might be just too big of a http response?
Anthony Bullard (Dec 06 2024 at 12:10):If you place your dbg before that
Anthony Bullard (Dec 06 2024 at 12:10):Well curl says it's empty....
Adrian (Dec 06 2024 at 12:10):
Adrian (Dec 06 2024 at 12:11):Anthony Bullard said:
Well curl says it's empty....
I get 26K of data
Adrian (Dec 06 2024 at 12:11):I guess my friend must be blocking non slovenian IPs
Adrian (Dec 06 2024 at 12:11)::/
Adrian (Dec 06 2024 at 12:11):am workin on uploading the curls
Adrian (Dec 06 2024 at 12:13):Curl -vvvvv URL
STDOUT: https://ass.si/f/ixaf8
STDERR: https://ass.si/f/4-3s4
Anthony Bullard (Dec 06 2024 at 12:15):Sorry, could you post to a GH gist? I am not in the habit of clicking links to random servers I don't know :-)
Adrian (Dec 06 2024 at 12:18):Anthony Bullard said:
Sorry, could you post to a GH gist? I am not in the habit of clicking links to random servers I don't know :-)
Fair enough, here's a paste bin: https://pastebin.com/TvUz9i08 (STDOUT)
https://pastebin.com/EdhedARE (STDERR)
Anthony Bullard (Dec 06 2024 at 12:23):Thanks! Interesting.....There is nothing that is obviously wrong there. Hopefully we don't segfault on handling multiple packets :rofl:
Anthony Bullard (Dec 06 2024 at 12:24):I have a lot on my plate right now, so can't dig in deep. But hopefully that information is helpful for someone with better knowledge of the HTTP module implementationn
Adrian (Dec 06 2024 at 12:47):I think there was a regression somewhere, because i have already produced a binary, that works with this code :/
Anthony Bullard (Dec 06 2024 at 13:16):Can you let us know when was the last time the Roc compiler produced a working binary with this code?
Adrian (Dec 06 2024 at 13:39):I think my build was on 2024-06-25 but i didn't exactly build this project every day, so some versions could still be working after this date
Adrian (Dec 06 2024 at 14:01):image.png
image.png
The definition orders don't match, im surprised that they aren't important :shrug:
Anthony Bullard (Dec 06 2024 at 14:01):Sure but that helps limit a bisect
Anthony Bullard (Dec 06 2024 at 14:02):That is curious
Anthony Bullard (Dec 06 2024 at 14:02):Have you updated the platform version?
Adrian (Dec 06 2024 at 14:02):Im looking this up on github
Adrian (Dec 06 2024 at 14:02):both on master branch
Anthony Bullard (Dec 06 2024 at 14:02):Yeah, sorry, I lost my mind there for a sec
Adrian (Dec 06 2024 at 14:03):as for my project, i think i have the latest release
Dw, happens to the best of us
Anthony Bullard (Dec 06 2024 at 14:11):But they are named fields so I don't think that order would matter until we get to Mono
Adrian (Dec 06 2024 at 14:12):Maybe i missed the translating code from one to another, i just assumed it was a ptr cast. Even if this was problematic, it would cause the same problem for google.com as for z.4a.si
Anthony Bullard (Dec 06 2024 at 14:45):Yep
Adrian (Dec 09 2024 at 10:13):This is what roc's request looks like.
Adrian (Dec 09 2024 at 10:16):GET /spam/objave/ HTTP/1.1
content-type:
content-length: 0
accept: */*
host: z.4a.si:80
and the nginx response:
read(net): Connection reset by peer
It seems that the problem is the space after : on line content-type:
Notification Bot (Dec 09 2024 at 10:32):Adrian has marked this topic as resolved.
Anthony Bullard (Dec 09 2024 at 10:47):So default request doesn’t set a content-type?
Notification Bot (Dec 09 2024 at 11:39):Adrian has marked this topic as unresolved.
Adrian (Dec 09 2024 at 11:40):Anthony Bullard said:
So default request doesn’t set a content-type?
It doesn't, but I found out my testing method was flawed
Adrian (Dec 09 2024 at 11:40):The problem is on roc-s side
Adrian (Dec 09 2024 at 11:41):I have wireshark packet caps, that show receiving a "valid response", and then roc segfaults
Adrian (Dec 09 2024 at 11:54): Adrian (Dec 15 2024 at 19:48):It seems to also break while requesting "http://www.gstatic.com/generate_204"
Adrian (Dec 15 2024 at 19:48):Will open a bug report
Luke Boswell (Dec 15 2024 at 20:12):Thank you for the repro, I'll check this with the new purity inference upgrade I've been working on.
Haven't got hello world working yet, also suffering a segfault somewhere. But hopefully we can figure that out.
Last updated: Jul 26 2025 at 12:14 UTC