finos/morphir-elm

Merge Record and ExtensibleRecord types in the IR

Offen

#166 geöffnet am 30.09.2020

 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Elm (69 Forks)auto 404
good first issuehelp wantedir-simplification

Repository-Metriken

Stars
 (51 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

Currently there are two separate constructors for Record and ExtensibleRecord in the IR: https://github.com/finos/morphir-elm/blob/55f27570f971e8c4e12fe1a0346dffdce594869e/src/Morphir/IR/Type.elm#L89-L90

These correspond to the following Elm code (excluding the left-hand-side):

type alias MyRecord =
    { foo : String
    }

type alias MyExtensibleRecord e =
    { e
        | foo : String
    }

The structure and semantics of the two definitions are very similar and in most cases the code that operates on them will share most of the logic so merging them will make the IR smaller and easier to process. This is one way to represent both with a single constructor:

    | Record a (Maybe Name) (List (Field a)) 

Acceptance Criteria

Contributor Guide