Skip to content

Check for compiler bug in OptionalOps #3

Description

@arbimo
// apparently adding extends AnyVal triggers a bug in the compiler
implicit final class OptionalOps[T](private val lhs: Optional[T]) extends AnyVal { 
    def embed: Computation[Option[T]] = ITE(lhs.present, lhs.value.map(x => Option(x)), Cst(None))
  }

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    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