Best way to specify that a column should be treated as Categorical?

[o1lo01ol1o]

Given some inferred types from tableTypes "Foos" data/foo, if I find that one of my columns was inferred incorrectly, I can just declare it correctly:

declareColumn "TruFoo" ''Double

tableTypes "Foo" data/foo

Is there an equally simple way to specify that TruBar in

declareCategorical "TruBar" (Just "TB_") ["C", "D", "T", "E"]

Should be preferred over the one in
tableTypes "Foo" data/foo

?

[acowley]

Huh. I think if that's not working then it's a bug, but I'm not sure where yet. I guess you're doing something like the example program, but declaring the categorical column before tableTypes is issuing an error?

[o1lo01ol1o]

Yes, it basically looks like

declareCategorical "TruBar" (Just "TB_") ["C", "D", "T", "E"]
tableTypes "Foo" "data/foo"

Where tableTypes will infer a column that it will alias as TruBar. The error is in tableTypes:

Expected kind ‘(ghc-prim-0.5.1.1:GHC.Types.Symbol, *)’,
        but ‘TruBar’ has kind ‘*’
    • In the first argument of ‘Record’, namely

[acowley]

Okay, that seems like a bug. I'll take a look.