<HTML dir=ltr><HEAD>
<META http-equiv=Content-Type content="text/html; charset=unicode">
<META content="MSHTML 6.00.2900.3603" name=GENERATOR></HEAD>
<BODY>
<DIV><FONT face=Arial color=#000000 size=2>The following gives a type error message:</FONT></DIV>
<DIV><FONT face=Arial size=2></FONT> </DIV>
<DIV>splitLine :: ![!Char] -> [String]<BR>splitLine cs <BR> # (frst,rest) = span (\a->a<>';') cs<BR> # str = {c\\c<-frst}<BR> = case rest of<BR> [] = [str]<BR> _ = [str:splitLine (drop 1 rest)]</DIV>
<DIV> </DIV>
<DIV>The error messages are:</DIV>
<DIV>"Type error [tabellen.icl,53,splitLine]:"argument 1 of splitLine" cannot unify types:<BR> [!Char]<BR> [v20]<BR>Type error [tabellen.icl,51,splitLine]:"argument 2 of span" cannot unify types:<BR> [Char]<BR> [!Char]<BR>Type error [tabellen.icl,40,procFile]:"argument 1 of splitLine" cannot unify types:<BR> [!Char]<BR> [v20]"</DIV>
<DIV> </DIV>
<DIV>When I remove the second ! in the type, the errors disappear. I thought that strictness annotations were not supposed to introduce type errors. Is this a disadvantage of the introduction, a couple of years ago, of specific treatment of strict lists, spine strict lists etc.? If so, will this disadvantage be lifted one time?</DIV>
<DIV> </DIV>
<DIV> </DIV>
<DIV> </DIV></BODY></HTML>