finos/morphir-elm

Merge Record and ExtensibleRecord types in the IR

オープン

#166 opened on 2020/09/30

 (2 件のコメント) (0 件のリアクション) (0 人の担当者)Elm (69 件のフォーク)auto 404
good first issuehelp wantedir-simplification

Repository metrics

Stars
 (51 個のスター)
PR merge metrics
 (PR metrics pending)

説明

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

コントリビューターガイド