Robbert, > is there a way to declare a class to be abstract? here is an example: > > > Class "abstract class" extends object; > Explicit class "class a" extends abstract class; > Explicit class "class b" extends abstract class; > > Method "dispatch_" is [ t : class a | 1 ] : integer; > Method "dispatch_" is [ t : class b | 2 ] : integer; > Method "do it_" is [ t : abstract class | dispatch t ] : integer; > > > but “do it_” doesn’t compile. the compiler needs another definition: > > Method "dispatch_" is [ t : abstract class | 0 ] : integer; > > i wonder whether it’s possible to somehow leave out this extra method?
Sorry, I misspoke in my answer. I said “do it_” once when I meant “dispatch_” (probably because I was looking at the phrase while I was trying to type a different one). Hopefully that wasn’t too confusing. Just to be clear, leave “do it_” exactly as it is; it doesn’t need to change. Just add the abstract definition of “dispatch_” that I mentioned. -- Todd L Smith CEO | The Avail Foundation, LLC http://www.availlang.org
