Changes between Version 73 and Version 74 of IR

Timestamp:

11/26/15 15:26:06 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -252 +252 @@
 Function prototypes are considered to be declarations similar to variable declarations.
 
-Example of declaration of a function:
-{{{
-f(x: Real, b: Bool): Float[32,33];
-}}}
-
-Additional modifiers that may be placed on any of above: 
+Example of declaration of a system function defined in library Concurrency:
+{{{
+def[lib="Concurrency"] f(x: Real, b: Bool): Float[32,33];
+}}}
+
+Function modifiers that may be placed in the brackets after def:
 * `pure` : the function has no side effects, but may be nondeterministic
 * `abstract`: function is a pure, mathematical function: deterministic function of inputs
 * `atomic`: function definition is atomic, and it never blocks **ISN'T THIS TRUE OF EVERY SYSTEM FUNCTION?  IN WHICH CASE, IS THIS ONLY FOR NON-SYSTEM FUNCTIONS?**
+* `'lib="..."`: function is a system function defined in specified library
 
 System functions:
@@ -271 +272 @@
 {{{
 g(x:Real):Bool { ... }
-f(x:Real):Integer guard g;
+def[lib="Blah"] f(x:Real):Integer guard g;
 }}}