Sukera

Yes, this is a limitation of having to create actual methods to make the fallback work :( It wouldn't be a problem if the typesystem itself were aware of the...

Hmmm, this is an interesting one! Yes, since the other argument doesn't share a non-`Any` supertype, this can't currently be specified. In theory, if they would share one you'd have...

> I think this is likely an instance where you end up wanting to work with traits, as your solution attempt shows, where ObjType seems like a trait indicating the...

I've also come across https://github.com/HypothesisWorks/hypothesis/pull/816 and https://github.com/HypothesisWorks/hypothesis/issues/469, which may be helpful in terms of adding provenance/tests to this! If the issues mentioned there hit Supposition.jl too, it's possible that we'll...

Alright, I experimented with this a bit and found this when trying to check the generated docs: ```julia julia> rand_goal = rand() 0.93768949423463 julia> @check verbose=true function israndgoal(f=Data.Floats{Float64}()) # negative...

> I'll also look into how hypothesis does float shrinking a bit to see if there's any other options there. As far as I understand it, they're doing a kind...

> AFAICT right now though there isn't any place in the code that simultaneously knows that shrinking is occurring and that a particular choice represents a float. Well.. sort of...

Haah.. that's unfortunate :( Guess this really does need #25 ... Thanks for giving it a try though, much appreciated! I'll probably cut a release with the current state of...

This is halfway between intentional behavior and a limitation of julia/Revise of only being able to evaluate entire files at once (at least through `includet`). `@required` is intended to only...

Hmm the default should place those history files in a directory called `SuppositionDB`, which should be possible to add to `.gitignore` 🤔 Do you have an example where it doesn't?