Recover "tyck options"

[ice1000]

trafficstars

E.g. "type in type"

[tonfeiz]

@ice1000 Maybe I could take this? But I don't know what this issue means currently.

[ice1000]

@tonfeiz This is very easy: allow the tycking to be parameterized by some options. For example, there can be an option to disable the level solver and level errors.

[tonfeiz]

That's OK. Is there a list of options? I'm not sure which ones should be added :rofl:

[ice1000]

@tonfeiz Just the one I mentioned, it's called type-in-type

[ice1000]

@tonfeiz But just for now. Maybe add more.

[tonfeiz]

:ok:

[ice1000]

I don't plan to include it in the most recent release

[ice1000]

Also I want to avoid documenting this behavior anywhere. This is going to be used for testing and experimentation purposes only.

[tonfeiz]

Some questions:

1. Do you mean to disable the whole sort system, or just the level solve process?
2. If level error is disabled, what error should be returned if the corresponding feature(sort system/sort metavariable) is used in the code?

[ice1000]

Do you mean to disable the whole sort system, or just the level solve process?

Sort system

what error should be returned if the corresponding feature(sort system/sort metavariable) is used in the code?

Whatever

[tonfeiz]

Got it!

[tonfeiz]

Didn't implement it correctly. Will try other issues first.