digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 01:07:18 +03:00
Code Issues Projects Releases Wiki Activity

Make records with less fields still abstract (#397)

Browse Source
This commit is contained in:
Neil Mitchell 2019-04-11 16:53:47 +01:00 committed by GitHub
parent 14fdafede8
commit a55c9cf7e5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
daml-foundations/daml-ghc/src/DA/Daml/GHC/Compiler/Records.hs
View File

@ -105,7 +105,7 @@ instanceTemplate abstract selector record field = ClsInstD noE $ ClsInstDecl noE
onDecl :: LHsDecl GhcPs -> [LHsDecl GhcPs]
onDecl o@(L _ (GHC.TyClD _ x)) = o :
[ noL $ InstD noE $ instanceTemplate (length fields >= 3 && length ctors == 1) field (unLoc record) typ
[ noL $ InstD noE $ instanceTemplate (length ctors == 1) field (unLoc record) typ
| let fields = nubOrdOn (\(_,_,x,_) -> GHC.occNameFS $ GHC.rdrNameOcc $ unLoc $ rdrNameFieldOcc x) $ getFields x
, (record, _, field, typ) <- fields]
where ctors = dd_cons $ tcdDataDefn x