Warum ist Ulme so wählerisch, aber nur in bestimmten Fällen?

Question

Warum dieser Code nicht

type SectionedItems s i = SectionedItems{ 
    section : s, 
    items : List i, 
    subsections: List (SectionedItems s i) 
} 

si1 : SectionedItems String String 
si1 = SectionedItems{ 
    section = "", 
    items = [ 
    "1", 
    "2" 
    ], 
    subsections = [ 

    ] 
} 

und dieser Code erfolgreich

type SectionedItems s i = SectionedItems{ 
    section : s, 
    items : List i, 
    subsections: List (SectionedItems s i) 
} 

si1 : SectionedItems String String 
si1 = SectionedItems{ 
    section = "", 
    items = [ 
    "1", 
    "2" 
    ], 
    subsections = [ 

    ] 
        } 

Warum Ulme für den ersten Code scheitert? Ich weiß, dass es aufgrund von Leerzeichen scheitert, aber warum? Warum müssen die { und } beim Erstellen einer Instanz ausgerichtet werden, aber nicht beim Deklarieren des Typs?

Answer 1

Es ist nicht so, dass diese Klammern aufgereiht werden müssen, sondern dass Sie die schließende Klammer nicht am Anfang der Zeile platzieren können.

Zum Beispiel diese kompiliert:

si1 : SectionedItems String String 
si1 = SectionedItems{ 
    section = "", 
    items = [ 
    "1", 
    "2" 
    ], 
    subsections = [ 

    ] 
} 

Nur in einem zusätzlichen Raum setzen, bevor die schließenden Klammer genug ist.

Warum? Weil die "Kinder" von si1 eine größere Einrückung als si1 selbst haben müssen. Wenn dies nicht der Fall ist, denkt Elm, dass Sie versuchen, eine neue Definition zu erstellen, und } ist kein gültiger Weg, um eine Definition zu starten.