# HG changeset patch
# User blanchet
# Date 1320703164 -3600
# Node ID fdc73782278f21ea1d796b35d655b9b4c70b60e0
# Parent  7dbb7b044a11b0bb2ff57e1bfd21f83a76be357e
added FIXME comment

diff -r 7dbb7b044a11 -r fdc73782278f src/HOL/Tools/Nitpick/nitpick_scope.ML
--- a/src/HOL/Tools/Nitpick/nitpick_scope.ML	Mon Nov 07 22:22:01 2011 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_scope.ML	Mon Nov 07 22:59:24 2011 +0100
@@ -446,6 +446,8 @@
       has_exact_card hol_ctxt facto finitizable_dataTs card_assigns T
     fun is_concrete facto =
       is_word_type T orelse
+      (* FIXME: looks wrong other types than just functions might be
+         abstract. *)
       xs |> maps (binder_types o snd) |> maps binder_types
          |> forall (has_exact_card hol_ctxt facto finitizable_dataTs
                                    card_assigns)