We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5d8a072 commit 81ec8e7Copy full SHA for 81ec8e7
src/lib/ProjectM36/Shortcuts.hs
@@ -60,7 +60,7 @@ instance KnownSymbol x => IsLabel x RelationalExpr where
60
--
61
-- ps. I don't understand the usage of "AttributeAndTypeNameExpr AttributeName TypeConstructor a"
62
instance (KnownSymbol x, Atomable a)=> IsLabel x (HaskAtomType a -> AttributeExpr) where
63
- fromLabel atyn = NakedAttributeExpr (Attribute name atyn) . toAtomType''
+ fromLabel = (NakedAttributeExpr . Attribute name) . toAtomType''
64
where name = T.pack $ symbolVal @x Proxy
65
66
-- (#a 1) :: ExtendTupleExpr
0 commit comments