diff --git a/Chapter15/WordCount.idr b/Chapter15/WordCount.idr index 04b535e..b9846f6 100644 --- a/Chapter15/WordCount.idr +++ b/Chapter15/WordCount.idr @@ -8,7 +8,7 @@ record WCData where doCount : (content : String) -> WCData doCount content = let lcount = length (lines content) wcount = length (words content) in - MkWCData lcount wcount + MkWCData wcount lcount data WC = CountFile String | GetData String