mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-19 15:54:18 +00:00
Code Issues Projects Releases Wiki Activity

Fix a type error in a Java RTTI class.

Browse Source 
Estimated hours taken: 0.2
Branches: main

Fix a type error in a Java RTTI class.

java/runtime/DuFunctorDesc.java:
	Changed representation of `du_functor_exist_info' from `DuExistInfo[]'
	to `DuExistInfo' (single), in keeping with the conventions elsewhere.
This commit is contained in:
James Goddard
2004-02-25 00:28:31 +00:00
parent b85780f315
commit 4ed302407a
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/runtime/DuFunctorDesc.java
View File

@@ -1,5 +1,5 @@
//
// Copyright (C) 2001-2003 The University of Melbourne.
// Copyright (C) 2001-2004 The University of Melbourne.
// This file may only be copied under the terms of the GNU Library General
// Public License - see the file COPYING.LIB in the Mercury distribution.
//
@@ -19,7 +19,7 @@ public class DuFunctorDesc {
// yet, so this may not be correct.
public /*final*/ mercury.runtime.PseudoTypeInfo[] du_functor_arg_types;
public /*final*/ java.lang.String[] du_functor_arg_names;
public /*final*/ mercury.runtime.DuExistInfo[] du_functor_exist_info;
public /*final*/ mercury.runtime.DuExistInfo du_functor_exist_info;
public DuFunctorDesc(java.lang.String functor_name, int orig_arity,
int arg_type_contains_var, int sectag_locn, int primary,
@@ -42,6 +42,6 @@ public class DuFunctorDesc {
arg_types;
du_functor_arg_names = (java.lang.String []) arg_names;
du_functor_exist_info =
(mercury.runtime.DuExistInfo[]) exist_info;
(mercury.runtime.DuExistInfo) exist_info;
}
}