aboutsummaryrefslogtreecommitdiff
path: root/frontend/frontend.icl
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/frontend.icl')
-rw-r--r--frontend/frontend.icl17
1 files changed, 17 insertions, 0 deletions
diff --git a/frontend/frontend.icl b/frontend/frontend.icl
index 2c5fe9a..d2c4a3d 100644
--- a/frontend/frontend.icl
+++ b/frontend/frontend.icl
@@ -396,4 +396,21 @@ where
show_dcl_function {ft_symb, ft_type} file
= file <<< ft_symb <<< " :: " <<< ft_type <<< "\n"
+
+:: ListTypesKind = ListTypesNone | ListTypesInferred | ListTypesStrictExports | ListTypesAll
+:: ListTypesOption =
+ { lto_showAttributes :: Bool
+ , lto_listTypesKind :: ListTypesKind
+ }
+instance == ListTypesKind where
+ (==) ListTypesNone ListTypesNone
+ = True
+ (==) ListTypesInferred ListTypesInferred
+ = True
+ (==) ListTypesStrictExports ListTypesStrictExports
+ = True
+ (==) ListTypesAll ListTypesAll
+ = True
+ (==) _ _
+ = False
\ No newline at end of file