Or-patterns in Dhall

Came across them in a paper here and I have an example here

Simple example of something that might work in Dhall:

let libSuffix =
      λ(os : types.OS) →
        merge
          { (FreeBSD|Linux|Solaris|AIX) = "so"
          , (Darwin|IOS) = "dylib"
          , Windows = "dll"
          }
          os

Might have some subtleties (variables might be bound), but I think it’d be a cool feature to consider.

@vmchale: See:

Ah, thanks! I’ll comment there instead :slight_smile:

1 Like