如果修改我的阴谋文件以添加模块，public class StudentDetails
{
[DatabaseGenerated(DatabaseGeneratedOption.Identity)]
public int Id { get; set; }
public string Name { get; set; }
public Nullable<long> ContactNumber { get; set; }
public string Address { get; set; }
public decimal Fees { get; set; }
public bool isPaid { get; set; }
}
不会处理。有没有一种方法可以像:reload一样重新运行:reload而不必退出ghci？