[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: "Undeclared fact" for nullary definitions

Subject: Re: "Undeclared fact" for nullary definitions
From: Chris Warburton
Date: Mon, 29 Jan 2018 18:46:18 +0000
In-reply-to: <f7d44f18c512ba99-0-artemis@nixos>
References: <f7d44f18c512ba99-0-artemis@nixos>

Seems to have done the trick; the errors have gone away.

References:
- "Undeclared fact" for nullary definitions
  - From: Chris Warburton

Prev by Date: Re: Unification/coercion failure
Next by Date: Re: Skip polyrec, etc. when templating from a sample
Previous by thread: Re: "Undeclared fact" for nullary definitions
Next by thread: Unification/coercion failure
Index(es):
- Date
- Thread