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) →
          { (FreeBSD|Linux|Solaris|AIX) = "so"
          , (Darwin|IOS) = "dylib"
          , Windows = "dll"

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: