on dev help sign in
Correct alias constraint on createDomain; fixes #142
2de32fbChristopher League
squeal-postgresql/src/Squeal/PostgreSQL/Definition.hs+1−1
@@ -1034,7 +1034,7 @@ createDomain
1034 => QualifiedAlias sch dom
1034 => QualifiedAlias sch dom
1035 -> (forall nullity. TypeExpression schemas (nullity ty))
1035 -> (forall nullity. TypeExpression schemas (nullity ty))
1036 -> (forall tab. Condition '[] '[] 'Ungrouped schemas '[] '[tab ::: '["value" ::: 'Null ty]])
1036 -> (forall tab. Condition '[] '[] 'Ungrouped schemas '[] '[tab ::: '["value" ::: 'Null ty]])
1037− -> Definition schemas (Alter sch (Create alias ('Typedef ty) schema) schemas)
1037+ -> Definition schemas (Alter sch (Create dom ('Typedef ty) schema) schemas)
1038createDomain dom ty condition =
1038createDomain dom ty condition =
1039 UnsafeDefinition $ "CREATE DOMAIN" <+> renderSQL dom
1039 UnsafeDefinition $ "CREATE DOMAIN" <+> renderSQL dom
1040 <+> "AS" <+> renderTypeExpression ty
1040 <+> "AS" <+> renderTypeExpression ty