我正在尝试创建一个typechecker插件，并且我有一个“null”插件工作（即一个什么都不做），但解算器接受三个[Ct]类型的参数。这是here所描述的，但实际上更复杂的是子类型TcType，它是类型Type的类型同义词。 Type类型在此模块here中，但它很复杂，所以我希望通过打印出我创建的某些类型的表示来解决它。
我已经将我的求解器包裹在tracePlugin中- (IBAction)switchEdit:(UIBarButtonItem *)sender {
sender.possibleTitles = [NSSet setWithObjects:@"Edit", @"Done", nil];
if (sender.style == UIBarButtonSystemItemEdit){
sender.style = UIBarButtonSystemItemDone;
[self.navigationItem.rightBarButtonItem setTitle:@"Done"];
self.tableView.editing = NO;
}else{
sender.style = UIBarButtonSystemItemEdit;
[self.navigationItem.rightBarButtonItem setTitle:@"Edit"];
self.tableView.editing = YES;
}
}
以试图看看发生了什么，但是输出很难看，并且似乎没有在我的程序中使用变量名称但是在scrabbled的。
任何帮助我了解正在发生的事情的帮助都将受到赞赏。