Diable `aesop` temporally in a definition

Stream: new members

[Shanghe Chen]

Hi I found that during some def aesop is very slow and finally it failed. Is there any way to disable it temporally for some concrete def like :

-- disable `aesop` in this def
def a : SomeClass where
  -- ...

[Kevin Buzzard]

Just fill in the aesop-fields manually

[Shanghe Chen]

Yeah thank you for the suggestion. I filled all with sorry and it works like a charm! I remembered that there is a blue light hint for auto generating all the fields before in vscode. Quite weird cannot find it now.

[Kevin Buzzard]

You write instance foo : class_name := _ and then put your cursor just left of the _ and you get the blue bulb