hat 2.7.0.9 → 2.7.0.10
raw patch · 4 files changed
+40/−54 lines, 4 files
Files
- Hat/Directory.hs +31/−47
- hat.cabal +1/−1
- libraries/Directory.hs +8/−5
- libraries/Directory.hx +0/−1
Hat/Directory.hs view
@@ -10,8 +10,7 @@ ,asetCurrentDirectory,hsetCurrentDirectory,gdoesFileExist,adoesFileExist ,hdoesFileExist,gdoesDirectoryExist,adoesDirectoryExist,hdoesDirectoryExist ,ggetPermissions,agetPermissions,hgetPermissions,gsetPermissions- ,asetPermissions,hsetPermissions,ggetModificationTime,agetModificationTime- ,hgetModificationTime) where+ ,asetPermissions,hsetPermissions) where import qualified Hat.PreludeBasic import qualified Prelude @@ -19,7 +18,6 @@ import qualified Hat.Hat as T import Hat.Hat (WrapVal(wrapVal)) import Hat.Prelude -import Hat.Time (ClockTime()) import Hat.PreludeBuiltinTypes import Hat.DirectoryBuiltinTypes import Hat.DirectoryBuiltin @@ -32,7 +30,7 @@ (!==) (%==) p = T.uconstUse (%==) p (|==) (|==) =- T.uconstDef T.mkRoot (+#@=&=#@=$+==)+ T.uconstDef T.mkRoot (+$!=&=$!=$+==) (\ p -> gprimPermissionsEq T.mkNoSrcPos p) @@ -42,13 +40,13 @@ gcompare pcompare p = T.uconstUse pcompare p scompare scompare =- T.uconstDef T.mkRoot a21v3v21v34compare+ T.uconstDef T.mkRoot a23v3v23v34compare (\ p -> gprimPermissionsCompare T.mkNoSrcPos p) (!<=) (%<=) p = T.uconstUse (%<=) p (|<=) (|<=) =- T.uconstDef T.mkRoot (+$$=&=$$=$@<=)+ T.uconstDef T.mkRoot (+$&=&=$&=$@<=) (\ p -> gprimPermissionsLeEq T.mkNoSrcPos p) @@ -58,7 +56,7 @@ greadsPrec preadsPrec p = T.uconstUse preadsPrec p sreadsPrec sreadsPrec =- T.uconstDef T.mkRoot a25v3v25v38readsPrec+ T.uconstDef T.mkRoot a27v3v27v38readsPrec (\ p -> gprimPermissionsReadsPrec T.mkNoSrcPos p) @@ -68,7 +66,7 @@ gshowsPrec pshowsPrec p = T.uconstUse pshowsPrec p sshowsPrec sshowsPrec =- T.uconstDef T.mkRoot a28v3v28v38showsPrec+ T.uconstDef T.mkRoot a30v3v30v38showsPrec (\ p -> gprimPermissionsShowsPrec T.mkNoSrcPos p) @@ -263,85 +261,71 @@ (Directory.setPermissions (toString ksetPermissions z1setPermissions) (toPermissions ksetPermissions z2setPermissions)) -ggetModificationTime ::- T.RefSrcPos -> T.RefExp -> T.R (T.Fun String (IO ClockTime))--ggetModificationTime pgetModificationTime p =- T.ufun1 agetModificationTime pgetModificationTime p hgetModificationTime--hgetModificationTime z1getModificationTime kgetModificationTime =- (T.fromIO fromClockTime) kgetModificationTime- (Directory.getModificationTime- (toString kgetModificationTime z1getModificationTime))- tDirectory = T.mkModule "Directory" "Directory.hs" Prelude.False aprimPermissionsEq =- T.mkVariable tDirectory 300001 310056 3 2 "primPermissionsEq" Prelude.False+ T.mkVariable tDirectory 320001 330056 3 2 "primPermissionsEq" Prelude.False aprimPermissionsCompare =- T.mkVariable tDirectory 330001 340065 3 2 "primPermissionsCompare"+ T.mkVariable tDirectory 350001 360065 3 2 "primPermissionsCompare" Prelude.False aprimPermissionsLeEq =- T.mkVariable tDirectory 360001 370058 3 2 "primPermissionsLeEq" Prelude.False+ T.mkVariable tDirectory 380001 390058 3 2 "primPermissionsLeEq" Prelude.False aprimPermissionsReadsPrec =- T.mkVariable tDirectory 390001 400047 3 2 "primPermissionsReadsPrec"+ T.mkVariable tDirectory 410001 420047 3 2 "primPermissionsReadsPrec" Prelude.False aprimPermissionsShowsPrec =- T.mkVariable tDirectory 420001 430067 3 3 "primPermissionsShowsPrec"+ T.mkVariable tDirectory 440001 450067 3 3 "primPermissionsShowsPrec" Prelude.False acreateDirectory =- T.mkVariable tDirectory 460001 470033 3 1 "createDirectory" Prelude.False+ T.mkVariable tDirectory 480001 490033 3 1 "createDirectory" Prelude.False aremoveDirectory =- T.mkVariable tDirectory 480001 490033 3 1 "removeDirectory" Prelude.False+ T.mkVariable tDirectory 500001 510033 3 1 "removeDirectory" Prelude.False aremoveFile =- T.mkVariable tDirectory 500001 510028 3 1 "removeFile" Prelude.False+ T.mkVariable tDirectory 520001 530028 3 1 "removeFile" Prelude.False arenameDirectory =- T.mkVariable tDirectory 520001 530043 3 2 "renameDirectory" Prelude.False+ T.mkVariable tDirectory 540001 550043 3 2 "renameDirectory" Prelude.False arenameFile =- T.mkVariable tDirectory 540001 550038 3 2 "renameFile" Prelude.False+ T.mkVariable tDirectory 560001 570038 3 2 "renameFile" Prelude.False agetDirectoryContents =- T.mkVariable tDirectory 570001 580038 3 1 "getDirectoryContents" Prelude.False+ T.mkVariable tDirectory 590001 600038 3 1 "getDirectoryContents" Prelude.False agetCurrentDirectory =- T.mkVariable tDirectory 590001 600027 3 0 "getCurrentDirectory" Prelude.False+ T.mkVariable tDirectory 610001 620027 3 0 "getCurrentDirectory" Prelude.False asetCurrentDirectory =- T.mkVariable tDirectory 610001 620037 3 1 "setCurrentDirectory" Prelude.False+ T.mkVariable tDirectory 630001 640037 3 1 "setCurrentDirectory" Prelude.False adoesFileExist =- T.mkVariable tDirectory 640001 650030 3 1 "doesFileExist" Prelude.False+ T.mkVariable tDirectory 660001 670030 3 1 "doesFileExist" Prelude.False adoesDirectoryExist =- T.mkVariable tDirectory 660001 670035 3 1 "doesDirectoryExist" Prelude.False+ T.mkVariable tDirectory 680001 690035 3 1 "doesDirectoryExist" Prelude.False agetPermissions =- T.mkVariable tDirectory 690001 700031 3 1 "getPermissions" Prelude.False+ T.mkVariable tDirectory 710001 720031 3 1 "getPermissions" Prelude.False asetPermissions =- T.mkVariable tDirectory 710001 720046 3 2 "setPermissions" Prelude.False--agetModificationTime =- T.mkVariable tDirectory 740001 750036 3 1 "getModificationTime" Prelude.False+ T.mkVariable tDirectory 730001 740046 3 2 "setPermissions" Prelude.False -(+#@=&=#@=$+==) = T.mkVariable tDirectory 180004 180026 16 0 "==" Prelude.False+(+$!=&=$!=$+==) = T.mkVariable tDirectory 200004 200026 16 0 "==" Prelude.False -a21v3v21v34compare =- T.mkVariable tDirectory 210003 210034 3 0 "compare" Prelude.False+a23v3v23v34compare =+ T.mkVariable tDirectory 230003 230034 3 0 "compare" Prelude.False -(+$$=&=$$=$@<=) = T.mkVariable tDirectory 220004 220028 16 0 "<=" Prelude.False+(+$&=&=$&=$@<=) = T.mkVariable tDirectory 240004 240028 16 0 "<=" Prelude.False -a25v3v25v38readsPrec =- T.mkVariable tDirectory 250003 250038 3 0 "readsPrec" Prelude.False+a27v3v27v38readsPrec =+ T.mkVariable tDirectory 270003 270038 3 0 "readsPrec" Prelude.False -a28v3v28v38showsPrec =- T.mkVariable tDirectory 280003 280038 3 0 "showsPrec" Prelude.False+a30v3v30v38showsPrec =+ T.mkVariable tDirectory 300003 300038 3 0 "showsPrec" Prelude.False
hat.cabal view
@@ -1,6 +1,6 @@ name: hat-version: 2.7.0.9+version: 2.7.0.10 synopsis: The Haskell tracer, generating and viewing Haskell execution traces description: hat-trans transforms Module.hs into Hat/Module.hs such that when the program is
libraries/Directory.hs view
@@ -1,13 +1,15 @@+-- A Haskell 98 module (not Haskell 2010)+ module Directory ( Permissions( Permissions, readable, writable, executable, searchable ), createDirectory, removeDirectory, removeFile, renameDirectory, renameFile, getDirectoryContents, getCurrentDirectory, setCurrentDirectory, doesFileExist, doesDirectoryExist,- getPermissions, setPermissions,- getModificationTime ) where+ getPermissions, setPermissions --, getModificationTime + ) where -import Time ( ClockTime )+-- import Time ( ClockTime ) import PreludeBuiltinTypes import DirectoryBuiltinTypes import DirectoryBuiltin@@ -71,5 +73,6 @@ foreign import haskell "Directory.setPermissions" setPermissions :: String -> Permissions -> IO () -foreign import haskell "Directory.getModificationTime"- getModificationTime :: String -> IO ClockTime+-- Removed, because in base-4.6 this function has a different type.+-- foreign import haskell "Directory.getModificationTime"+-- getModificationTime :: String -> IO ClockTime
libraries/Directory.hx view
@@ -4,7 +4,6 @@ (Var "doesFileExist",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "getCurrentDirectory",Value {args = 0, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "getDirectoryContents",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})-(Var "getModificationTime",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "getPermissions",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "removeDirectory",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False}) (Var "removeFile",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})