@@ -106,20 +106,6 @@ tests =
106
106
,(" W.hasExtension \" /directory/path.ext\" == True" , property $ W. hasExtension " /directory/path.ext" == True )
107
107
,(" P.hasExtension \" /directory/path\" == False" , property $ P. hasExtension " /directory/path" == False )
108
108
,(" W.hasExtension \" /directory/path\" == False" , property $ W. hasExtension " /directory/path" == False )
109
-
110
- ,(" W.isExtensionOf \" png\" \" /directory/file.png\" == True" , property $ W. isExtensionOf " png" " /directory/file.png" == True )
111
- ,(" P.isExtensionOf \" png\" \" /directory/file.png\" == True" , property $ W. isExtensionOf " png" " /directory/file.png" == True )
112
- ,(" W.isExtensionOf \" .png\" \" /directory/file.png\" == True" , property $ W. isExtensionOf " .png" " /directory/file.png" == True )
113
- ,(" P.isExtensionOf \" .png\" \" /directory/file.png\" == True" , property $ W. isExtensionOf " .png" " /directory/file.png" == True )
114
- ,(" W.isExtensionOf \" .tar.gz\" \" bar/foo.tar.gz\" == True" , property $ W. isExtensionOf " .tar.gz" " bar/foo.tar.gz" == True )
115
- ,(" P.isExtensionOf \" .tar.gz\" \" bar/foo.tar.gz\" == True" , property $ W. isExtensionOf " .tar.gz" " bar/foo.tar.gz" == True )
116
- ,(" W.isExtensionOf \" ar.gz\" \" bar/foo.tar.gz\" == False" , property $ W. isExtensionOf " ar.gz" " bar/foo.tar.gz" == False )
117
- ,(" P.isExtensionOf \" ar.gz\" \" bar/foo.tar.gz\" == False" , property $ W. isExtensionOf " ar.gz" " bar/foo.tar.gz" == False )
118
- ,(" W.isExtensionOf \" png\" \" /directory/file.png.jpg\" == False" , property $ W. isExtensionOf " png" " /directory/file.png.jpg" == False )
119
- ,(" P.isExtensionOf \" png\" \" /directory/file.png.jpg\" == False" , property $ W. isExtensionOf " png" " /directory/file.png.jpg" == False )
120
- ,(" W.isExtensionOf \" csv/table.csv\" \" /data/csv/table.csv\" == False" , property $ W. isExtensionOf " csv/table.csv" " /data/csv/table.csv" == False )
121
- ,(" P.isExtensionOf \" csv/table.csv\" \" /data/csv/table.csv\" == False" , property $ W. isExtensionOf " csv/table.csv" " /data/csv/table.csv" == False )
122
-
123
109
,(" null (P.takeExtension x) == not (P.hasExtension x)" , property $ \ (QFilePath x) -> null (P. takeExtension x) == not (P. hasExtension x))
124
110
,(" null (W.takeExtension x) == not (W.hasExtension x)" , property $ \ (QFilePath x) -> null (W. takeExtension x) == not (W. hasExtension x))
125
111
,(" P.stripExtension \" hs.o\" \" foo.x.hs.o\" == Just \" foo.x\" " , property $ P. stripExtension " hs.o" " foo.x.hs.o" == Just " foo.x" )
0 commit comments