28 Jun
2003
28 Jun
'03
10:32 a.m.
Ashley Yakeley wrote:
At 2003-06-28 02:51, Ralf Laemmel wrote:
Suffering from persecution mania, I prefer to know for sure that nobody never ever will pattern match on those a's. So I prefer to write:
I don't understand. Did you mean pattern-match on MkType? I could stop that by hiding it but exposing mkType = MkType.
You are right. My comments attack the Data.Dynamic.typeOf style. Your use of a designated phantom datatype "Type" and my use of "->" for this purpose seem to be equivalent. Ralf