Arnaud Bailly

@arabelladonna Seems like your error is different than the one reported by @zenntenn : Linker fails while building idris2 itself from the Idris1 C RTS sources, not when trying to...

The thing is that's 2 different situations because there are 2 different `idris_net.c` : One that's part of the C RTS for Idris1 that's used to build Idris2, one that's...

Debugging idris2 gives me the following stack frame when it segfaults: ``` (lldb) bt 20 * thread #1, queue = 'com.apple.main-thread', stop reason = EXC_BAD_ACCESS (code=2, address=0x7ffeeebffe28) * frame #0:...

My pleasure! If I can help, do not hesitate to ping me back.

FWIW, I got the same issue with completely wrong bounds: ``` "dependencies": { "elm-lang/core": "5.0.0

Hello, Here is a place where I use it in my code: ``` doLogout :: AuthCookieSettings -> UserAccount -> m () doLogout settings _ = lift (removeSession settings ()) ```...

I have similar code and it works like a charm, except the action is `POST` and not a `GET`. For each `AuthProtect a` you have to define which type is...

It compiles OK here... Might be a version problem?

7.10 -- Arnaud Bailly twitter: abailly skype: arnaud-bailly linkedin: http://fr.linkedin.com/in/arnaudbailly/ On Fri, Jan 13, 2017 at 10:30 PM, Thomas Crevoisier < [email protected]> wrote: > Arf, damned >.< Which resolver are...

hmm, yes. -- Arnaud Bailly twitter: abailly skype: arnaud-bailly linkedin: http://fr.linkedin.com/in/arnaudbailly/ On Fri, Jan 13, 2017 at 10:36 PM, Thomas Crevoisier < [email protected]> wrote: > Do you point directly to...