views:

15

answers:

1

I want to read from file but, when I use inputAll or inputLine, it read only 70 character from each line. how can I read from file without limitation ?

A: 

You shouldn't be seeing this limitation. If you can get a repro, I'd be happy to look into / fix it: https://smlnj-gforge.cs.uchicago.edu/bugform.php

Lars Bergstrom