maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: "RODRIGUEZ, DILIA E CIV USAF AFMC AFRL/RITA" <dilia.rodriguez AT us.af.mil>
- To: "maude-help AT cs.uiuc.edu" <maude-help AT cs.uiuc.edu>
- Cc: "RODRIGUEZ, DILIA E CIV USAF AFMC AFRL/RITA" <dilia.rodriguez AT us.af.mil>
- Subject: [[Maude-help] ] Maude 3 prelude warnings
- Date: Fri, 6 Mar 2020 16:14:55 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=us.af.mil; dmarc=pass action=none header.from=us.af.mil; dkim=pass header.d=us.af.mil; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector5501; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=TZz/b1+1IM9oCg9hFEb3MxbQ1mcVnWNY2XLLbCiMcf0=; b=aadpAIjHyuRj3O+VDMhyCGHcTZW21hNnrfRgKoyb0qctuNRP6efLweaRFt9OxqBblPmXahSfj8Eul55V5uZThIIiNjRdsIrIFkiQ6AtLiRJ26AP+3rkN49XvnbIFbCMOstzysEb5qWfktaqxur8OkBzwtJsHSoR7uLphYZ0UmYd0m5akfzi8bUjTbyLd+rPm1A+O1GKpO03xk41/aAXUUuNeVApOsXHbM7EMGhbZ5O5ahHEM8bwuNfZ3hVbvORSg7c7IFU+7WmypVkMhM+IUWDJcPtJlzQ8wkHp/eYtze7trndVhRMQcoXRvqkESw/JtLFPVjqWoeXFKZb8qw8FMuA==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector5501; d=microsoft.com; cv=none; b=hbMVACHMrrIQO4tJTi2ymLOD8vp9xf20K7c6DpgvDHpniTGislcstExZBtbC+1mq9YkIxMS7fNdYEfkkXKLCv/OtYz3jqeOKypE3EuE0zglgjkrVH3E2o0LxlU6gVLddiSdNJDPtkNB+hOvpdBztKtv6V5VGn2y9KX7o01o5ZbrwgOllZBF7j0blDdZksKCIFuAsj0j2T+TdLtcyzLRQCC1PQQg1IyivO2WzqGL0Av0YYut8P8HLHel7xgus+uQtMxROKpSICflR88Ibn/FohN1Vw+84kjKublgAPIt20DPGoM/+2YXbayePFUsKZs/SXEzNMKCH6SFSmEMqkzK/ZA==
- Authentication-results: illinois.edu; spf=fail smtp.mailfrom=dilia.rodriguez AT us.af.mil; dkim=pass header.d=us.af.mil header.s=mail; dkim=pass header.d=us.af.mil header.s=mail; dkim=fail header.d=usaf.onmicrosoft.com header.s=selector1-usaf-onmicrosoft-com; dmarc=pass header.from=us.af.mil
|
Greetings,
I just got Maude 3.0, and I’m getting some warnings about prelude.maude.
I couldn’t login to see if this has been discussed, because I don’t remember having a password before.
Thanks for any help,
Dilia
bash-3.2$ /usr/local/Maude-3/maude-Yices2.darwin64 -no-ansi-color \||||||||||||||||||/ --- Welcome to Maude --- /||||||||||||||||||\ Maude 3.0 built: Dec 17 2019 12:08:10 Copyright 1997-2019 SRI International Fri Mar 6 09:54:30 2020 Warning: unrecognized symbol hook name unificationPairSymbol. Warning: "prelude.maude", line 2039 (fmod META-LEVEL): failed to attach op-hook unificationPairSymbol `{_`,_`} to metaReduce. Warning: "prelude.maude", line 2039 (fmod META-LEVEL): bad special for operator metaReduce. Warning: "prelude.maude", line 2359 (fmod META-LEVEL): failed to attach id-hook MetaLevelOpSymbol to metaParse. Warning: "prelude.maude", line 2359 (fmod META-LEVEL): bad special for operator metaParse. Warning: "prelude.maude", line 2364 (fmod META-LEVEL): failed to attach id-hook MetaLevelOpSymbol to metaPrettyPrint. Warning: "prelude.maude", line 2364 (fmod META-LEVEL): bad special for operator metaPrettyPrint. Warning: "prelude.maude", line 1932 (fmod META-LEVEL): this module contains one or more errors that could not be patched up and thus it cannot be used or imported. Maude>
|
- [[Maude-help] ] Maude 3 prelude warnings, RODRIGUEZ, DILIA E CIV USAF AFMC AFRL/RITA, 03/06/2020
- Re: [[Maude-help] ] Maude 3 prelude warnings, Julia Sapiña Sanchis, 03/06/2020
Archive powered by MHonArc 2.6.19.