<div dir="ltr"><div><div><div>Once you remove those constructors, when you are operating on 'p' (with poke, I assume) it doesn't know whether you are operating on a  ScPipeParams ImageXY or a ScPipeParams Image3d'.<br><br></div>The best solution is probably to make instances for Storable ImageXY, and Storable Image3d' and then Storable a => Storable (ScPipeParams a) which utilizes the the Storable instance of whichever parameter 'a' you've provided.<br><br></div>If that is not to your liking.  I think you can use RecordWildCards extension or maybe it was RecordPuns to allow you to write it something like one of the following.  I'm not quite sure whether these would work or not, but it might be worth a try.<br><br>scPipeOpen2 d p@(ScPipeParamsImage3d' {}) =<br>scPipeOpen2 d p@(ScPipeParamsImage3d' {...}) =<br><div><br></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Aug 26, 2016 at 10:31 AM, PICCA Frederic-Emmanuel <span dir="ltr"><<a href="mailto:frederic-emmanuel.picca@synchrotron-soleil.fr" target="_blank">frederic-emmanuel.picca@synchrotron-soleil.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello<br>
<br>
I have these types<br>
<br>
data ImageXY<br>
data Image3d'<br>
<br>
data ScPipeParams a where<br>
  ScPipeParamsImageXY :: ScBitSize -> Channel -> Modulo -> Sc3du -> Roi -> Accumulation -> ScPipeParams ImageXY<br>
  ScPipeParamsImage3d' :: ScBitSize -> Channel -> Modulo -> Sc3du -> Roi -> Accumulation -> ScPipeParams Image3d'<br>
<br>
<br>
and now I write a method<br>
<br>
<br>
scPipeOpen2' (ScDevDesc dev) p =  alloca $ \params -> do<br>
  poke params p<br>
  res <- c_sc_pipe_open2 dev (scPipeType p) params<br>
  checkError res PipeId<br>
<br>
scPipeOpen2 :: ScDevDesc -> ScPipeParams a -> IO (PipeId)<br>
scPipeOpen2 d p@(ScPipeParamsImageXY _ _ _ _ _ _) = scPipeOpen2' d p<br>
scPipeOpen2 d p@(ScPipeParamsImage3d' _ _ _ _ _ _) = scPipeOpen2' d p<br>
<br>
it works fine<br>
<br>
In order to avoid these _ _ _ _ _ _, I tryed to removed the @(Constructor ____) since I just pass the p parameter to the ' method.<br>
But in that case , I get this error message<br>
<br>
C:\Users\TEMPO\Downloads\tdc\<wbr>tdc\srcLib.hsc:247:19:<br>
    No instance for (Storable (ScPipeParams a))<br>
      arising from a use of scPipeOpen2'<br>
    In the expression: scPipeOpen2' d p<br>
    In an equation for `scPipeOpen2':<br>
        scPipeOpen2 d p = scPipeOpen2' d p<br>
<br>
Indeed I already defined two instance of Storable<br>
<br>
instance Storable (ScPipeParams ImageXY) where<br>
  ...<br>
<br>
and<br>
<br>
instance Storable (ScPipeParams Image3d') where<br>
  ...<br>
<br>
Should I use a special extension in order to be able to write only<br>
<br>
scPipeOpen2 d p =  scPipeOpen2' d p<br>
<br>
<br>
thanks for your help<br>
<br>
Frederic<br>
______________________________<wbr>_________________<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" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/beginners</a><br>
</blockquote></div><br></div>