Allow "INLINEABLE" as a synonym

diff --git a/compiler/parser/Lexer.x b/compiler/parser/Lexer.x
index 0fa3256..b418280 100644 (file)
--- a/compiler/parser/Lexer.x
+++ b/compiler/parser/Lexer.x
@@ -2218,6 +2218,8 @@ ignoredPrags = Map.fromList (map ignored pragmas)
 oneWordPrags = Map.fromList([("rules", rulePrag),
                            ("inline", token (ITinline_prag Inline FunLike)),
                            ("inlinable", token (ITinline_prag Inlinable FunLike)),
 oneWordPrags = Map.fromList([("rules", rulePrag),
                            ("inline", token (ITinline_prag Inline FunLike)),
                            ("inlinable", token (ITinline_prag Inlinable FunLike)),

+                           ("inlineable", token (ITinline_prag Inlinable FunLike)),
+                                         -- Spelling variant

                            ("notinline", token (ITinline_prag NoInline FunLike)),
                            ("specialize", token ITspec_prag),
                            ("source", token ITsource_prag),
                            ("notinline", token (ITinline_prag NoInline FunLike)),
                            ("specialize", token ITspec_prag),
                            ("source", token ITsource_prag),