Hallo List,
I can't understand how pragma SPECIALIZE works in the presence of
constraints.
I have 2 modules, one which defines a general search framework, and one
which implements it in a concrete context. The general module defines
functions like:
{-# SPECIALIZE pvQSearch :: Node (Game
On 26 September 2011 01:37, Nicu Ionita nicu.ion...@acons.at wrote:
1. how can the compiler (here ghc) know which function to expose as the
correct generic search function? There must be two search functions
generated, one generic and its specialization.
Yes, exactly. If you have:
{-#