<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
</head>
<body bgcolor="#ffffff" text="#000000">
<div class="moz-text-flowed"
style="font-family: -moz-fixed; font-size: 12px;" lang="x-western">Hello,
<br>
<br>
I find clm (on Linux) complains:
<br>
<br>
"Error [Eq.icl,4,import]: == multiply defined"
<br>
<br>
if StdString is imported in the following program:
<br>
<br>
--- file Eq.icl ---
<br>
module Eq
<br>
<br>
import StdClass, StdList, StdArray
<br>
import StdString // must comment this line to avoid conflict with
instance == {#Real} below
<br>
<br>
instance == {#Real}
<br>
where
<br>
(==) infix 2:: !{#Real} !{#Real} -> Bool
<br>
(==) v1 v2 = and [e1 == e2 \\ e1 <-: v1 & e2 <-: v2]
<br>
<br>
Start :: Bool
<br>
Start = v1 == v1
<br>
where
<br>
v1 :: {#Real}
<br>
v1 = {1.0,2.0,3.0}
<br>
v2 :: {#Real}
<br>
v2 = {1.0,2.0,3.0}
<br>
---
<br>
Apparently, StdString's instance == {#Char} conflicts with instance ==
{#Real}. Why should these instance declarations clash? How may I
import StdString, yet still define == instance for arrays?
<br>
<br>
- David
<br>
<br>
<br>
</div>
</body>
</html>