«ERROR - C переполнение стека» в Haskell с помощью Hugs

Question

Я работаю над разбором CSV-файла в CSV-тип, который является списком Record, который представляет собой список полей, которые являются просто строками. После вставки новой строки, а затем попытки получить доступ к csv, я получаю ошибку переполнения стека c. Я прочитал эту ошибку, может быть, из слишком большого «thunk», используя хвостовую рекурсию, но я не думаю, что то, что я делаю неправильно?

type CSV = [Record] 
type Record = [Field] 
type Field = String 

run :: IO() 
run = 
do 
    inFile <- readFile "myFile.csv" 
    let csv = parse inFile 
    let csv = (insertRow "abc,def,ghi" csv) 
    putStr (show csv) 

insertRow :: String -> CSV -> CSV 
insertRow newRow csv = csv ++ [toRecord newRow] 

parse :: String -> CSV 
parse file = map toRecord (parseLines file "" []) 

toRecord :: String -> Record 
toRecord line = parseWords line "" [] 

-- parseLine input partialCSV records 
parseLines :: String -> String -> [String] -> [String] 
parseLines [] partial records = records ++ [partial] 
parseLines ('\r':xs) partial records = parseLines xs [] (records ++ [partial]) 
parseLines (x:xs) partial records = parseLines xs (partial ++ [x]) records 

-- parseWords input partialRecord fields 
parseWords :: String -> String -> [String] -> [String] 
parseWords [] partial fields = fields ++ [partial] 
parseWords ('"':xs) partial fields = parseQuotes xs partial fields 
parseWords (',':xs) partial fields = parseWords xs [] (fields ++ [partial]) 
parseWords (x:xs) partial fields = parseWords xs (partial ++ [x]) fields 

parseQuotes :: String -> String -> [String] -> [String] 
parseQuotes ('"':xs) partial fields = parseWords xs [] (fields ++ [partial]) 
parseQuotes (x:xs) partial fields = parseQuotes xs (partial ++ [x]) fields 

Answer 1

Двойной let csv = ... выглядит подозрительно. Не могли бы вы попытаться распутать две переменные? Вероятно, он не делает то, что вы хотите (в Haskell let рекурсивный).

Answer 2

Пусть привязок рекурсивны, поэтому эта линия

let csv = (insertRow "abc,def,ghi" csv) 

создает бесконечный цикл, вы определяете csv с точки зрения себя таким образом, что не исчезает. Измените его на

let csv' = ... 

и печать csv' в следующей строке.