@@ -133,7 +133,9 @@ skipped :: [String]
134 [ "NumberLiterals.purs" -- unreliable float comparison, test manually
134 [ "NumberLiterals.purs" -- unreliable float comparison, test manually
135 , "FunWithFunDeps.purs" -- requires FFI
135 , "FunWithFunDeps.purs" -- requires FFI
136+ , "SolvingAppendSymbol.purs" -- TODO: depend on new package needing porting
137+ , "SolvingCompareSymbol.purs" --
136− , "SolvingIsSymbol.purs"
138+ , "SolvingIsSymbol.purs" --
137 , "StringEscapes.purs"
139 , "StringEscapes.purs"