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

Apply review comments of fjh.

Browse Source 
Estimated hours taken: 0.1
Branches: main

library/rtti_implementation.m:
	Apply review comments of fjh.
This commit is contained in:
Peter Ross
2002-11-29 13:38:41 +00:00
parent 4e9e65503b
commit b92b2cde5c
1 changed files with 10 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
library/rtti_implementation.m
View File

@@ -649,25 +649,29 @@ deconstruct(Term, Functor, Arity, Arguments) :-
Arguments = []
;
TypeCtorRep = int,
cast_to_type(Term, Int),
det_dynamic_cast(Term, Int),
Functor = string__int_to_string(Int),
Arity = 0,
Arguments = []
;
TypeCtorRep = char,
cast_to_type(Term, Char),
det_dynamic_cast(Term, Char),
% XXX should escape characters correctly
Functor = "'" ++ char_to_string(Char) ++ "'",
Arity = 0,
Arguments = []
;
TypeCtorRep = float,
cast_to_type(Term, Float),
det_dynamic_cast(Term, Float),
Functor = float_to_string(Float),
Arity = 0,
Arguments = []
;
TypeCtorRep = string,
cast_to_type(Term, String),
det_dynamic_cast(Term, String),
% XXX should escape characters in the string correctly
Functor = "\"" ++ String ++ "\"",
Arity = 0,
Arguments = []
@@ -800,9 +804,9 @@ deconstruct(Term, Functor, Arity, Arguments) :-
error("rtti_implementation: unknown type_ctor rep in deconstruct")
).
:- pred cast_to_type(T::in, U::out) is det.
:- pred det_dynamic_cast(T::in, U::out) is det.
cast_to_type(Term, Actual) :-
det_dynamic_cast(Term, Actual) :-
std_util__type_to_univ(Term, Univ),
std_util__det_univ_to_type(Univ, Actual).