equal
deleted
inserted
replaced
80 code_reserved OCaml ref |
80 code_reserved OCaml ref |
81 |
81 |
82 |
82 |
83 subsubsection {* Haskell *} |
83 subsubsection {* Haskell *} |
84 |
84 |
85 code_type ref (Haskell "STRef '_s _") |
85 code_type ref (Haskell "STRef/ RealWorld/ _") |
86 code_const Ref (Haskell "error/ \"bare Ref\"") |
86 code_const Ref (Haskell "error/ \"bare Ref\"") |
87 code_const Ref.new (Haskell "newSTRef") |
87 code_const Ref.new (Haskell "newSTRef") |
88 code_const Ref.lookup (Haskell "readSTRef") |
88 code_const Ref.lookup (Haskell "readSTRef") |
89 code_const Ref.update (Haskell "writeSTRef") |
89 code_const Ref.update (Haskell "writeSTRef") |
90 |
90 |