You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently the only sensical CodeType to match the VectSpace is List. We should implement more CodeTypes (and corresponding constructors in GOOL), and update the generator to ensure it generates the correct code based on which CodeTypeVect is matched to through the user's spaceMatch choice.
Likely #1998 at least should be done first, so that there are multiple list types in GOOL for the user to choose between.
Currently the only sensical
CodeType
to match theVect
Space
isList
. We should implement moreCodeType
s (and corresponding constructors in GOOL), and update the generator to ensure it generates the correct code based on whichCodeType
Vect
is matched to through the user'sspaceMatch
choice.Likely #1998 at least should be done first, so that there are multiple list types in GOOL for the user to choose between.
See related comment: #1866 (comment)
The text was updated successfully, but these errors were encountered: