fix remaining vestige of testing
commit8827c0f4468de38a09511c56b68b5f0c6550d2dc
authorAgentM <agentm@themactionfaction.com>
dateFri 25 May 2018, 17:29 (8 years ago)
parenta89f19c
src/lib/ProjectM36/AtomType.hs+1−1
@@ -116,7 +116,7 @@ resolveTypeConstructorTypeVars (RelationAtomTypeConstructor attrExprs) typ tCons
116116
117117--used when recursing down sub-relation type definition
118118resolveAttributeExprTypeVars :: AttributeExprBase a -> AtomType -> TypeConstructorMapping -> Either RelationalError TypeVarMap
119−resolveAttributeExprTypeVars (NakedAttributeExpr attr) aType _ = error "poop5"
119+resolveAttributeExprTypeVars (NakedAttributeExpr attr) aType _ = pure $ resolveTypeVariable (A.atomType attr) aType
120120resolveAttributeExprTypeVars (AttributeAndTypeNameExpr _ tCons _) aType tConsMap = resolveTypeConstructorTypeVars tCons aType tConsMap
121121
122122-- check that type vars on the right also appear on the left