search

haskell-checkers / checkers

Check properties on standard classes and data structures
Other
79 stars 13 forks source link

Better implementation of hang? #41

Closed aDifferentJT closed 4 years ago

aDifferentJT commented 4 years ago

I may be mistaken but does hang = hang not serve as an adequate implementation, it does not seem to use much in the way of resources.

conal commented 4 years ago

I'd expect GHC's RTS to throw a "black hole" error.

aDifferentJT commented 4 years ago

It didn’t when I tried it on ghci, optimisations may cause different behaviour though

conal commented 4 years ago

As I understand it, GHCi behaves differently from compiled Haskell code in this regard.

aDifferentJT commented 4 years ago

You are indeed right