+ -- ":" at the GHCi prompt repeats the last command, so we
+ -- remember is here:
+ last_command :: Maybe Command,
+ cmdqueue :: [String],
+ remembered_ctx :: Maybe ([Module],[Module])
+ -- modules we want to add to the context, but can't
+ -- because they currently have errors. Set by :reload.