new file mode 100644
--- /dev/null
+++ b/src/ov-typeinfo.cc
@@ -0,0 +1,232 @@
+/*
+
+Copyright (C) 1996 John W. Eaton
+
+This file is part of Octave.
+
+Octave is free software; you can redistribute it and/or modify it
+under the terms of the GNU General Public License as published by the
+Free Software Foundation; either version 2, or (at your option) any
+later version.
+
+Octave is distributed in the hope that it will be useful, but WITHOUT
+ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+for more details.
+
+You should have received a copy of the GNU General Public License
+along with Octave; see the file COPYING.  If not, write to the Free
+Software Foundation, 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
+
+*/
+
+#if defined (__GNUG__)
+#pragma implementation
+#endif
+
+#ifdef HAVE_CONFIG_H
+#include <config.h>
+#endif
+
+#include "ov-typeinfo.h"
+
+#include "defun.h"
+#include "error.h"
+#include "help.h"
+#include "oct-obj.h"
+
+octave_value_typeinfo *octave_value_typeinfo::instance = 0;
+
+#include <Array.cc>
+#include <Array2.cc>
+#include <Array3.cc>
+
+template class Array<octave_value::binary_op_fcn>;
+template class Array2<octave_value::binary_op_fcn>;
+template class Array3<octave_value::binary_op_fcn>;
+
+template class Array<octave_value::assign_op_fcn>;
+template class Array2<octave_value::assign_op_fcn>;
+
+template class Array<octave_value::widening_op_fcn>;
+template class Array2<octave_value::widening_op_fcn>;
+
+int
+octave_value_typeinfo::register_type (const string& name)
+{
+  if (! instance)
+    instance = new octave_value_typeinfo ();
+
+  return instance->do_register_type (name);
+}
+
+bool
+octave_value_typeinfo::register_binary_op (octave_value::binary_op op,
+					   int t1, int t2,
+					   octave_value::binary_op_fcn f)
+{
+  if (! instance)
+    instance = new octave_value_typeinfo ();
+
+  return instance->do_register_binary_op (op, t1, t2, f);
+}
+
+bool
+octave_value_typeinfo::register_assign_op (int t_lhs, int t_rhs,
+					   octave_value::assign_op_fcn f)
+{
+  if (! instance)
+    instance = new octave_value_typeinfo ();
+
+  return instance->do_register_assign_op (t_lhs, t_rhs, f);
+}
+
+bool
+octave_value_typeinfo::register_pref_assign_conv (int t_lhs, int t_rhs,
+						  int t_result) 
+{
+  if (! instance)
+    instance = new octave_value_typeinfo ();
+
+  return instance->do_register_pref_assign_conv (t_lhs, t_rhs, t_result);
+}
+
+bool
+octave_value_typeinfo::register_widening_op (int t, int t_result,
+					     octave_value::widening_op_fcn f)
+{
+  if (! instance)
+    instance = new octave_value_typeinfo ();
+
+  return instance->do_register_widening_op (t, t_result, f);
+}
+
+int
+octave_value_typeinfo::do_register_type (const string& name)
+{
+  int i = 0;
+
+  for (i = 0; i < num_types; i++)
+    if (name == types (i))
+      return i;
+
+  int len = types.length ();
+
+  if (i == len)
+    {
+      len *= 2;
+
+      types.resize (len, string ());
+
+      binary_ops.resize ((int) octave_value::num_binary_ops, len, len,
+			 (octave_value::binary_op_fcn) 0);
+
+      assign_ops.resize (len, len, (octave_value::assign_op_fcn) 0);
+
+      pref_assign_conv.resize (len, len, -1);
+
+      widening_ops.resize (len, len, (octave_value::widening_op_fcn) 0);
+    }
+
+  types (i) = name;
+
+  num_types++;
+
+  return i;
+}
+
+bool
+octave_value_typeinfo::do_register_binary_op (octave_value::binary_op op,
+					      int t1, int t2,
+					      octave_value::binary_op_fcn f)
+{
+  binary_ops.checkelem ((int) op, t1, t2) = f;
+
+  return false;
+}
+
+bool
+octave_value_typeinfo::do_register_assign_op (int t_lhs, int t_rhs,
+					      octave_value::assign_op_fcn f)
+{
+  assign_ops.checkelem (t_lhs, t_rhs) = f;
+
+  return false;
+}
+
+bool
+octave_value_typeinfo::do_register_pref_assign_conv (int t_lhs, int t_rhs,
+						     int t_result) 
+{
+  pref_assign_conv.checkelem (t_lhs, t_rhs) = t_result;
+
+  return false;
+}
+
+bool
+octave_value_typeinfo::do_register_widening_op
+  (int t, int t_result, octave_value::widening_op_fcn f)
+{
+  widening_ops.checkelem (t, t_result) = f;
+
+  return false;
+}
+
+#include <iostream.h>
+
+octave_value::binary_op_fcn
+octave_value_typeinfo::do_lookup_binary_op (octave_value::binary_op op,
+					    int t1, int t2)
+{
+  return binary_ops.checkelem ((int) op, t1, t2);
+}
+
+octave_value::assign_op_fcn
+octave_value_typeinfo::do_lookup_assign_op (int t_lhs, int t_rhs)
+{
+  return assign_ops.checkelem (t_lhs, t_rhs);
+}
+
+int
+octave_value_typeinfo::do_lookup_pref_assign_conv (int t_lhs, int t_rhs)
+{
+  return pref_assign_conv.checkelem (t_lhs, t_rhs);
+}
+
+octave_value::widening_op_fcn
+octave_value_typeinfo::do_lookup_widening_op (int t, int t_result)
+{
+  return widening_ops.checkelem (t, t_result);
+}
+
+string_vector
+octave_value_typeinfo::do_installed_type_names (void)
+{
+  string_vector retval (num_types);
+
+  for (int i = 0;i < num_types; i++)
+    retval (i) = types (i);
+
+  return retval;
+}
+
+DEFUN(typeinfo, args, ,
+  "usage: typeinfo ([typename])")
+{
+  octave_value retval;
+
+  int nargin = args.length ();
+
+  if (nargin == 0)
+    retval = octave_value_typeinfo::installed_type_names ();
+  else
+    print_usage ("typeinfo");
+
+  return retval;
+}
+
+/*
+;;; Local Variables: ***
+;;; mode: C++ ***
+;;; End: ***
+*/