62 |
{ |
{ |
63 |
local feature="$1" |
local feature="$1" |
64 |
haskell_feature_is_supported "${feature}" || die "haskell feature '${feature}' not supported!" |
haskell_feature_is_supported "${feature}" || die "haskell feature '${feature}' not supported!" |
65 |
echo -e "${COLBLUE}---${COLGRED} disabled haskell feature '${feature}'${COLDEFAULT}" |
echo -e "${COLBLUE}--- ${COLGRED} disabled haskell feature '${feature}'${COLDEFAULT}" |
66 |
export HASKELL_FEATURES="${HASKELL_FEATURES/${feature}/}" |
export HASKELL_FEATURES="${HASKELL_FEATURES/${feature}/}" |
67 |
} |
} |
68 |
|
|
70 |
{ |
{ |
71 |
local feature="$1" |
local feature="$1" |
72 |
haskell_feature_is_supported "${feature}" || die "haskell feature '${feature}' not supported!" |
haskell_feature_is_supported "${feature}" || die "haskell feature '${feature}' not supported!" |
73 |
echo -e "${COLBLUE}---${COLGREEN} enabled haskell feature '${feature}'${COLDEFAULT}" |
echo -e "${COLBLUE}--- ${COLGREEN} enabled haskell feature '${feature}'${COLDEFAULT}" |
74 |
export HASKELL_FEATURES+=" ${feature}" |
export HASKELL_FEATURES+=" ${feature}" |
75 |
} |
} |
76 |
|
|