changeset 27695 | 033732c90ebd |
parent 27673 | 52056ddac194 |
child 28145 | af3923ed4786 |
--- a/src/HOL/Library/Array.thy Tue Jul 29 14:07:23 2008 +0200 +++ b/src/HOL/Library/Array.thy Tue Jul 29 14:20:22 2008 +0200 @@ -198,7 +198,7 @@ subsubsection {* Haskell *} -code_type array (Haskell "STArray '_s _") +code_type array (Haskell "STArray/ RealWorld/ _") code_const Array (Haskell "error/ \"bare Array\"") code_const Array.new' (Haskell "newArray/ (0,/ _)") code_const Array.of_list' (Haskell "newListArray/ (0,/ _)")