The FFI spec says (at
http://www.cse.unsw.edu.au/~chak/haskell/ffi/ffi/ffise3.html#x6-120003.2):
There I see:
---
Foreign types are produced according to the following grammar:
ftype --> frtype
| fatype -> ftype
frtype --> fatype
| ()
fatype --> qtycon atype[1] ... atype[k] (k > 0)
---
I can't understand the "qtycon atype[1]..." line. I did
search haskell 98 report syntax reference, and saw how
qtycon and tycon are defined, but I could not understand
how they are used here.
Thanks for your help,
Maurício
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
