Skip to content

Decompilation contains some useless lines that could / should be eliminated #237

@iguerNL

Description

@iguerNL
[%%entry
  let play (var23 : int) (storage : storage) =
    (let some60 = Some ((Current.sender ()), var23)  in
     let storage_fst61 = storage.(0p)  in
     let res62 =
       match storage_fst61 with
       | None  -> (some60, (None : (address * int) option))
       | Some _ ->
           (match storage.(1p) with
            | None  -> (storage_fst61, some60)
            | Some _ ->
                failwith
                  "Cannot play: Two players have already sent their choices !")
     in
     let _ = res62.(1p)  in
     let _ = res62.(0p)  in (([] : operation list), res62))
]

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions