@@ -133,7 +133,9 @@ skipped :: [String]
133133skipped =
134134 [ "NumberLiterals.purs" -- unreliable float comparison, test manually
135135 , "FunWithFunDeps.purs" -- requires FFI
136− , "SolvingIsSymbol.purs"
136+ , "SolvingAppendSymbol.purs" -- TODO: depend on new package needing porting
137+ , "SolvingCompareSymbol.purs" --
138+ , "SolvingIsSymbol.purs" --
137139 , "StringEscapes.purs"
138140 ]
139141