make interface declaration where optional (#13129)

* Extend InterfaceSyntax test file with interfaces declared without 'where'

changelog_begin
changelog_end
This commit is contained in:
Moisés Ackerman 2022-03-03 12:09:56 +01:00 committed by GitHub
parent a84c2cd68f
commit 7ca26b01ce
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 13 additions and 7 deletions

View File

@ -17,11 +17,11 @@ load("@os_info//:os_info.bzl", "is_linux", "is_windows")
load("@dadew//:dadew.bzl", "dadew_tool_home")
load("@rules_haskell//haskell:cabal.bzl", "stack_snapshot")
GHC_LIB_REV = "da07ac689bc661fe22e12f60692a18b8"
GHC_LIB_SHA256 = "14da7208388eaf47a351c1fe8272ffed5dd7f109d9c76d26cd56fdc7658560af"
GHC_LIB_REV = "77b30a42047ed8fa9e2412a1099db6da"
GHC_LIB_SHA256 = "a19af8a380a88d5f9f19755109cb5204d5c0d3a16017d00c5b484ad45d919651"
GHC_LIB_VERSION = "8.8.1"
GHC_LIB_PARSER_REV = "da07ac689bc661fe22e12f60692a18b8"
GHC_LIB_PARSER_SHA256 = "5cd22bb40e3acfbe5104000883e7231664d778ff9708b30763134fe1f881e3e5"
GHC_LIB_PARSER_REV = "77b30a42047ed8fa9e2412a1099db6da"
GHC_LIB_PARSER_SHA256 = "2612310eec4590202169297880f0eb6e35ab532a5fb9f3828b70fa3282c44514"
GHC_LIB_PARSER_VERSION = "8.8.1"
GHCIDE_REV = "0572146d4b792c6c67affe461e0bd07d49d9df72"
GHCIDE_SHA256 = "7de56b15d08eab19d325a93c4f43d0ca3d634bb1a1fdc0d18fe4ab4a021cc697"

View File

@ -12,7 +12,7 @@ jobs:
variables:
ghc-lib-sha: '905f51296d979d79da511bed9ab2da7cb9429c9f'
base-sha: '9c787d4d24f2b515934c8503ee2bbd7cfac4da20'
patches: '54cc6dfaa7151cd89a8e9d9fb573035ef4cf6ef3 833ca63be2ab14871874ccb6974921e8952802e9'
patches: 'ffc5ab02d2b764ae1f6f324c051ca87b82c1c907 833ca63be2ab14871874ccb6974921e8952802e9'
flavor: 'da-ghc-8.8.1'
steps:
- checkout: self

View File

@ -14,6 +14,10 @@ interface I where
interface J where
interface K where
-- empty interfaces without 'where'
interface L
interface M
template T
with
p0 : Party
@ -34,8 +38,10 @@ template T
m1 (Right True) = "true"
m1 (Right False) = "false"
-- empty implements block without 'where'
-- empty implements blocks without 'where'
implements J
implements L
-- empty implements block with 'where'
-- empty implements blocks with 'where'
implements K where
implements M where