Skip to content

Instantly share code, notes, and snippets.

@martinklepsch
Created November 4, 2010 20:08
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save martinklepsch/663097 to your computer and use it in GitHub Desktop.
Save martinklepsch/663097 to your computer and use it in GitHub Desktop.
>f windchill.sign
windchill.sign>e windchill(30,2)
checking windchill.impl
ERROR [windchill.impl at 6.34-6.42]: wrongly typed application
function: real**real->real
argument: denotation
ERROR [windchill.impl at 6.50-6.57]: undefined identification 1. <6,50-57> wrongly typed application
function: real**real->real
argument: denotation
2. <6,50-57> wrongly typed application
function: real->real
argument: denotation
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment