Anubis / Anubis

Commit ce9dba4097c374d238e0ad26254e24c2f728a363

Authored by Matthieu Herrmann
1 parent 0c860e37

maj functions

Showing 1 changed file with 3 additions and 3 deletions   Show diff stats
Inline Side-by-side
anubis_dev/library/tools/function.anubis
  Show/Hide comments   View file @ce9dba4
... ... @@ -32,7 +32,7 @@ public define $T
32 32 understood as an end of paragraph.
33 33  
34 34  
35   -public define macro $U
  35 +public define inline $U
36 36 $T x .$T -> $U f
37 37 =
38 38 f(x).
... ... @@ -42,7 +42,7 @@ public define macro $U
42 42 Allows to simplify some code writing where it isn't necessary to test the result of a
43 43 Maybe(...) and a default value is suffisent.
44 44  
45   -public define macro $T
  45 +public define inline $T
46 46 force
47 47 (
48 48 Maybe($T) mb,
... ... @@ -55,7 +55,7 @@ public define macro $T
55 55 }.
56 56  
57 57 // deprecated old name
58   -public define macro $T
  58 +public define inline $T
59 59 force_Type
60 60 (
61 61 Maybe($T) mb,
... ...