[Haskell] Create a List

-hello, I need to create a list of Colors, and I like do this: list_colors <- varGet vColorscolor_red  <- checkBox p [text := "Red",  checked := False, on command := do aux red list_colors ]where   aux one_color list_colors = if (elem one_color list_colors) then do    varSet vCo

Re: [Haskell] Create a List

Hi Jose, Jose manuel Hernando Cobeña wrote: -hello, I need to create a list of Colors, and I like do this: list_colors <- varGet vColors color_red <- checkBox p [text := "Red", checked := False, on command := do aux red list_colors ] where aux one_color list_colors = if (elem o

[Haskell] Closed Projections on HLists?

I'm doing some work with heterogeneous sets as provided by the HList library . My code uses projections of sets internally and I keep running into the open-world assumption when I ask the type checker to infer the result of projections. For example (in ghci):

[Haskell] Closed Projections on HLists?

Jared Warren wrote: > I'm doing some work with heterogeneous sets as provided by the HList > library . My code uses > projections of sets internally and I keep running into the open-world > assumption when I ask the type checker to infer the result of > projec

[Haskell] parser for "Typing Haskell in Haskell"

Hi All, Does anybody know what parser "Typing Haskell in Haskell" use? I am tring to use the code for some type checking. But I cannot find a parser in the distribution. -W-M- @ @ | \_/ ___ Haskell mailing list [EMAIL PROTECTED] http://www.hask