<div dir="ltr">Hi,<br><br>1) You have a copy-paste error on the following line (s/bitrate/track)<br> track <- ((#peek struct music_metadata, bitrate) a) :: IO Int<br><br>2) By looking at the values you get in hexadecimal, you are reading 64bits values when your C struct contains 32 bits values. If you use: peek ... :: IO Int32, it should be ok.<br><br>3) From a style point of view, you could use Applicative operators (from Control.Applicative) to avoid temporary names:<br>peek a = MusicMetaData<br> <$> liftM constantToCodec $ (((#peek struct music_metadata, codec) a) :: IO Int32)<br> <*> fmap fromIntegral (((#peek struct music_metadata, length) a) :: IO Int32)<br> <*> fmap fromIntegral (((#peek struct music_metadata, bitrate) a) :: IO Int32)<br> <*> fmap fromIntegral (((#peek struct music_metadata, channels) a) :: IO Int32)<br> <*> fmap fromIntegral (((#peek struct music_metadata, track) a) :: IO Int32)<br> <*> (peekCString =<< (#peek struct music_metadata, title) a)<br> ...<br><br>4) In your constantToCodec function, you don't need the temporary names for all the constants.<br><br>Best regards,<br>Sylvain<br><br>PS : recently I have been working on rewriting the FFI page on the wiki to make it more beginner-friendly ;-). It is not totally finished but I'm open to any comment. <a href="https://www.haskell.org/wiki/Foreign_Function_Interface" target="_blank">https://www.haskell.org/wiki/Foreign_Function_Interface</a><br></div><div class="gmail_extra"><br><div class="gmail_quote">2015-02-28 14:20 GMT+01:00 Thomas Jakway <span dir="ltr"><<a href="mailto:tjakway@nyu.edu" target="_blank">tjakway@nyu.edu</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">
I'm very new to Haskell and am trying to write a "real" program to
motivate myself to learn it better (so far I've only gotten through
Project Euler problems after reading LYAH and most of RWH). I'm
using Taglib (<a href="https://github.com/taglib/taglib" target="_blank">https://github.com/taglib/taglib</a>) to read the metadata
from a music file and print it. I have a struct C-side (with C
linkage) serving as the bridge between Taglib's C++ and Haskell's
FFI. A small demo program (compiled with gcc and linked against the
C++ object files) gives the correct results, but Haskell is weirdly
only getting <i>some </i>of it right. Specifically, the C string
fields are working but ints are not.<br>
<br>
The output from the C demo (what Haskell should be printing):<br>
<br>
music_metadata<br>
title: It's My Life, artist: Bon Jovi, album: Bon Jovi
Greatest Hits - The Ultimate Collection<br>
comment: , genre: Rock, track: 3,<br>
length: 224, bitrate: 256, channels: 2,<br>
codec: 768<br>
<br>
The output from Haskell:<br>
<br>
MusicMetadata {codec = UNKNOWN, length = 1099511628000, bitrate =
<a href="tel:8589934848" value="+18589934848" target="_blank">8589934848</a>, channels = 12884901890, track = <a href="tel:8589934848" value="+18589934848" target="_blank">8589934848</a>, title =
"It's My Life", artist = "Bon Jovi", album = "Bon Jovi Greatest Hits
- The Ultimate Collection", comment = "", genre = "Rock"}<br>
<br>
I would have expected it to work or not work at all, but did not
anticipate getting only some of it right.<br>
<br>
I was going to include snippets from my hsc file but given how new I
am to Haskell I don't trust myself to assume where the problem is,
so sorry if this is way too long:<br>
<br>
{-# LANGUAGE CPP, ForeignFunctionInterface #-}<br>
<br>
module MusicReader<br>
( Codec,<br>
MusicMetadata,<br>
readMusicMetadata<br>
) where<br>
<br>
import Control.Monad<br>
import Foreign<br>
import Foreign.C.Types<br>
import Foreign.C.String<br>
import System.IO.Unsafe as Unsafe<br>
<br>
#include "CodecDefines.h"<br>
#include "MusicReader.h"<br>
<br>
constantToCodec code<br>
| code == mp3 = MP3<br>
| code == flac = FLAC<br>
| code == ogg = OGG_VORBIS<br>
| code == mp4 = MP4<br>
| code == mpeg = MPEG<br>
| code == none = NONE<br>
| code == unknown = UNKNOWN<br>
| otherwise = UNKNOWN<br>
where mp3 = #const MP3_CODEC<br>
flac = #const FLAC_CODEC<br>
ogg = #const OGG_VORBIS_CODEC <br>
mp4 = #const MP4_CODEC<br>
mpeg = #const MPEG_CODEC<br>
none = #const NO_EXTENSION<br>
unknown = #const UNKNOWN_EXTENSION<br>
<br>
data Codec = MP3 | FLAC | OGG_VORBIS | MP4 | MPEG | NONE | UNKNOWN
deriving (Show)<br>
<br>
data MusicMetadata = MusicMetadata { codec :: Codec,<br>
length :: Int,<br>
bitrate :: Int,<br>
channels :: Int,<br>
track :: Int,<br>
title :: String,<br>
artist :: String,<br>
album :: String,<br>
comment :: String,<br>
genre :: String } deriving (Show)<br>
<br>
instance Storable MusicMetadata where<br>
sizeOf _ = (#size struct music_metadata)<br>
alignment _ = alignment (undefined::CDouble)<br>
peek a = do<br>
codec <- liftM constantToCodec $ (((#peek struct
music_metadata, codec) a) :: IO Int)<br>
length <- ((#peek struct music_metadata, length) a) :: IO
Int<br>
bitrate <- ((#peek struct music_metadata, bitrate) a) ::
IO Int<br>
channels <- ((#peek struct music_metadata, channels) a)
:: IO Int<br>
track <- ((#peek struct music_metadata, bitrate) a) :: IO
Int<br>
title <- ((#peek struct music_metadata, title) a) :: IO
CString<br>
artist <- ((#peek struct music_metadata, artist) a) :: IO
CString<br>
album <- ((#peek struct music_metadata, album) a) :: IO
CString<br>
comment <- ((#peek struct music_metadata, comment) a) ::
IO CString<br>
genre <- ((#peek struct music_metadata, genre) a) :: IO
CString<br>
--FIXME: find replacement for temporary names<br>
marshalledTitle <- peekCString title<br>
marshalledArtist <- peekCString artist<br>
marshalledAlbum <- peekCString album<br>
marshalledComment <- peekCString comment<br>
marshalledGenre <- peekCString genre<br>
return (MusicMetadata codec length bitrate channels track
marshalledTitle marshalledArtist marshalledAlbum marshalledComment
marshalledGenre)<br>
poke a = undefined<br>
<br>
--This is the "primitive" FFI call--calls the C function and gets a
pointer<br>
--in return<br>
--TODO: write a higher level function this module should export that
calls<br>
--primReadMusicMetadata and converts the C Pointer into the Haskell
data<br>
--MusicMetadata<br>
foreign import ccall unsafe "read_metadata" primReadMusicMetadata ::
CString -> IO (Ptr MusicMetadata)<br>
<br>
--convert the Haskell string to a CString, call into the FFI then<br>
--dereference the resulting pointer<br>
readMusicMetadata a = join $ withCString a $ \cs -> ((liftM peek)
$ primReadMusicMetadata cs)<br>
<br>
<br>
<br>
Here's the struct in MusicReader.h (in an extern C block):<br>
struct music_metadata<br>
{<br>
int codec;<br>
int length,<br>
bitrate,<br>
channels;<br>
int track;<br>
char *title,<br>
*artist,<br>
*album,<br>
*comment,<br>
*genre;<br>
};<br>
<br>
<br>
with the corresponding call:<br>
struct music_metadata* read_metadata(char*);<br>
<br>
<br>
I've tried playing around with the alignment but it didn't do
anything. I also tried declaring the struct's fields as int32_t
which also did nothing.<br>
<br>
The C demo in question is a very simple:<br>
<br>
#include <stdio.h><br>
#include "MusicReader.h"<br>
<br>
#define FILENAME "Its_My_Life.m4a"<br>
<br>
int main()<br>
{<br>
struct music_metadata* metadata = read_metadata(FILENAME); <br>
printf("music_metadata\ntitle: %s,\tartist: %s,\talbum: %s\n",<br>
metadata->title, metadata->artist,
metadata->album);<br>
printf("comment: %s,\tgenre: %s,\ttrack: %d,\n", <br>
metadata->comment, metadata->genre,
metadata->track);<br>
printf("length: %d,\tbitrate: %d,\tchannels: %d,\n",<br>
metadata->length, metadata->bitrate,
metadata->channels);<br>
printf("codec: %d\n");<br>
<br>
}<br>
<br>
It just reads the metadata into the struct and prints the fields.<br>
<br>
I've gotten the impression of the Haskell FFI being very
beginner-unfriendly, which isn't surprising but still disappointing
because it would be a great opportunity to replace some projects
with Haskell.<br>
<br>
Any help is appreciated, including general feedback on my code!<br>
</div>
<br>_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
<br></blockquote></div><br></div>