git.iko.soy/project-m36
on master help sign in
fix mistaken parens in Shortcuts
81ec8e7AgentM
src/lib/ProjectM36/Shortcuts.hs+1−1
compare with master
unifiedsplit
@@ -60,7 +60,7 @@ instance KnownSymbol x => IsLabel x RelationalExpr where
60--
60--
61-- ps. I don't understand the usage of "AttributeAndTypeNameExpr AttributeName TypeConstructor a"
61-- ps. I don't understand the usage of "AttributeAndTypeNameExpr AttributeName TypeConstructor a"
62instance (KnownSymbol x, Atomable a)=> IsLabel x (HaskAtomType a -> AttributeExpr) where
62instance (KnownSymbol x, Atomable a)=> IsLabel x (HaskAtomType a -> AttributeExpr) where
63− fromLabel atyn = NakedAttributeExpr (Attribute name atyn) . toAtomType''
63+ fromLabel = (NakedAttributeExpr . Attribute name) . toAtomType''
64 where name = T.pack $ symbolVal @x Proxy
64 where name = T.pack $ symbolVal @x Proxy
65
65
66-- (#a 1) :: ExtendTupleExpr
66-- (#a 1) :: ExtendTupleExpr