Skip to content

webdsl-built-ins.stx

pdmosses/webdsl-statix/webdslstatix/trans/static-semantics/webdsl-built-ins.stx

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

module 

imports
  static-semantics/actions/functions

  static-semantics/webdsl

rules

   : scope * string * list(TYPE) * TYPE
  declareBuiltInFunction(s, f, , return) :- declareFunction(s, f, BUILTIN_ORIGIN(args), args, return).

   : scope * string * list(TYPE) * TYPE * BOOL
  declBuiltInFunctionEntity(s, f, , return, static) :-
    declFunctionEntity(s, f, BUILTIN_ORIGIN(args), args, return, static).