ec changed the topic of #elliottcable to: a π•―π–Šπ–“ 𝖔𝖋 π•―π–Šπ–™π–Šπ–—π–’π–Žπ–“π–Šπ–‰ π•―π–†π–’π–˜π–Šπ–‘π–˜ slash sΝ”ΜžuΝ•Ν™pΝ™Ν“e̜̺rΜΌΜ¦i̼̜oΜ–Μ¬rΜ™Μ™ c̝͉α»₯Μ§Ν˜αΈ·Μ‘Ν™Ε£Ν“Μ€ || #ELLIOTTCABLE is not about ELLIOTTCABLE
Sgeo has joined #elliottcable
Sgeo_ has quit [Ping timeout: 256 seconds]
eligrey has joined #elliottcable
eligrey has quit [Quit: Leaving]
scrptktty has quit [Quit: Connection closed for inactivity]
mylesborins has quit [Quit: farewell for now]
mylesborins has joined #elliottcable
muelleme has joined #elliottcable
muelleme has quit [Ping timeout: 256 seconds]
<ELLIOTTCABLE> well this is a hell of a type error
<ELLIOTTCABLE> /Users/ec/Dropbox/Code/wrange/src/cli.ml 38:13-51
<ELLIOTTCABLE> This has type:
<ELLIOTTCABLE> 40 β”‚
<ELLIOTTCABLE> 39 β”‚ Term.info "wrange" ~version:"v0.0.1" ~doc
<ELLIOTTCABLE> 38 β”‚ Term.(ret (const (fun _ -> `Help (`Pager, None)))),
<ELLIOTTCABLE> 37 β”‚ let doc = "a person-record parser and server" in
<ELLIOTTCABLE> 36 β”‚ let default' =
<ELLIOTTCABLE> ('a -> ([> `Help of [> `Pager ] * 'c option ] as 'b)) Cmdliner.Term.t
<ELLIOTTCABLE> But somewhere wanted:
<ELLIOTTCABLE> 'd Cmdliner.Term.ret Cmdliner.Term.t
<ELLIOTTCABLE> The incompatible parts:
<ELLIOTTCABLE> 'a -> 'b
<ELLIOTTCABLE> vs
<ELLIOTTCABLE> 'd Cmdliner.Term.ret (defined as
<ELLIOTTCABLE> [ `Error of bool * string
<ELLIOTTCABLE> | `Help of Cmdliner.Manpage.format * string option
<ELLIOTTCABLE> | `Ok of 'd ])
<ELLIOTTCABLE> shit that was longer than expected
muelleme has joined #elliottcable
scrptktty has joined #elliottcable
muelleme has quit [Ping timeout: 264 seconds]
<jfhbrook> default prime?
muelleme has joined #elliottcable
muelleme has quit [Ping timeout: 264 seconds]
muelleme has joined #elliottcable
muelleme has quit [Ping timeout: 240 seconds]
muelleme has joined #elliottcable
muelleme has quit [Ping timeout: 248 seconds]
muelleme has joined #elliottcable
muelleme has quit [Ping timeout: 268 seconds]
scrptktty has quit [Quit: Connection closed for inactivity]