Search results

Difficulty with <code>id_phant</code>

error messagesbad/misleading/missing error messagesbad/misleading/missing error messages

high priorityHigh priorityHigh priority

medium priorityPriority: intermediatePriority: intermediate

Status: Open.

#258 In math-comp/hierarchy-builder;

· jonsterling opened on Jul 3, 2021

HB makes me import all the modules down hierarchy chain

error messagesbad/misleading/missing error messagesbad/misleading/missing error messages

high priorityHigh priorityHigh priority

medium difficulty

Status: Open.

#255 In math-comp/hierarchy-builder;

· anton-trunov opened on Jun 29, 2021

Better error message when parameters are not precise enough

error messagesbad/misleading/missing error messagesbad/misleading/missing error messages

high priorityHigh priorityHigh priority

medium difficulty

Status: Open.

#218 In math-comp/hierarchy-builder;

· CohenCyril opened on Apr 9, 2021

error message for "HB.builders Context T of Structure T"

error messagesbad/misleading/missing error messagesbad/misleading/missing error messages

medium difficulty

medium priorityPriority: intermediatePriority: intermediate

Status: Open.

#215 In math-comp/hierarchy-builder;

· gares opened on Apr 8, 2021

HB.instance should check for duplicate mixins

error messagesbad/misleading/missing error messagesbad/misleading/missing error messages

hard difficulty

low priorityLow priorityLow priority

Status: Open.

#49 In math-comp/hierarchy-builder;

· gares opened on Mar 3, 2020

 ·  

1.2.0