dijkstracula / irving

there's no checking like bounded model checking
GNU Affero General Public License v3.0
1 stars 0 forks source link

rethink IvySort::Generic() and IvySort::SortVar #69

Open dijkstracula opened 10 months ago

dijkstracula commented 10 months ago

They do mostly the same thing so there's lots of code duplication. Feels like I've built modules just fundamentally the wrong way, but oh well.

Maybe combine them into IvySort::SortVar(usize, Option<String>)? I don't think there's a reason why we want to ever distingush between the two, so maybe this is a nice tidyup job at some point.