Infinite loop

Open jacereda opened this issue 5 years ago • 2 comments

Looks like this code taken from @scolsen's comment in #1012 loops forever.

(load "https://github.com/scolsen/typeclass@master")
(defn bi-lift [f applicative-a applicative-b]
     (sequence (fmap &(binary-partial binary-partial f) cx) cy))

Nov 24 '20 22:11 jacereda

Oh wow! I should mention that the code sample requires the interfaces to be implemented, and master on that repo doesn't contain implementations yet. Whether or not those symbols are defined or not defined shouldn't matter though, as neither case should cause a loop.

Nov 25 '20 16:11 scolsen

So many infinite loops 🤯

It seems like most of them come from looking up things, so I think we should write some (Haskell) tests for the Lookup module and make it completely bullet proof. Would be a great chance to clean up a bit there, since we have so many lookup functions now.

Nov 25 '20 21:11 eriksvedang