mina icon indicating copy to clipboard operation
mina copied to clipboard

Published 20 hours ago • verified publisher icon MinaProtocol

Remove type generalizations from snark work

Open nholland94 opened this issue 5 years ago • 4 comments

Snark work is defined at a completely polymorphic level of type generalization. This was to be able to talk about the type without requiring any functor dependencies. Now that much of the code is being defunctored, this work should be undone, and the types of snark work should not be polymorphic at all.

nholland94 avatar Jun 04 '19 01:06 nholland94

Pointer to code?

psteckler avatar Jun 05 '19 23:06 psteckler

will do this as part of the refactor for verifying snarks when adding them to the snark pool

enolan avatar Jun 10 '19 22:06 enolan

I actually only removed one of the type parameters. It was (hopefully at least) the hardest one to do, but there is still some work left.

enolan avatar Jul 30 '19 22:07 enolan

Oh, sorry, I thought it was fully completed. My bad.

nholland94 avatar Aug 02 '19 01:08 nholland94