Merge pull request #3107 from colin-adams/file-c-ptr
File c ptr
commitb87820dee307c602eb1245d2d8f907c5bceb1447
authorNiklas Larsson <metaniklas@gmail.com>
dateTue 12 Apr 2016, 21:47 (11 years ago)
parentad473b3567729e
libs/prelude/Prelude/File.idr−1
@@ -17,7 +17,6 @@ import IO
1717%access public export
1818
1919||| A file handle
20−export
2120data File : Type where
2221 FHandle : (p : Ptr) -> File
2322