repl: add --solver flag.

rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

https://rust-lang.github.io/chalk/book/

Other

1.84k stars 182 forks source link

Closed Dirbaio closed 2 years ago

Dirbaio commented 2 years ago

Useful to try out the recursive solver in the REPL.

Accepts --solver recursive or --solver slg, default is SLG.

jackh726 commented 2 years ago

@bors r+

bors commented 2 years ago

:pushpin: Commit 29a39afc95f7244ba8f2548713a13d9c66967b94 has been approved by jackh726

bors commented 2 years ago

:hourglass: Testing commit 29a39afc95f7244ba8f2548713a13d9c66967b94 with merge eda9737074f07ba07b5619a9c0378551623c4178...

bors commented 2 years ago

:sunny: Test successful - checks-actions Approved by: jackh726 Pushing eda9737074f07ba07b5619a9c0378551623c4178 to master...