about summary refs log tree commit diff
path: root/third_party/nix/src/libexpr/eval-inline.hh
blob: 37105e7e398d29ba1edb8ef86916dca97bb0949b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
#pragma once

#include "eval.hh"

#define LocalNoInline(f)              \
  static f __attribute__((noinline)); \
  f
#define LocalNoInlineNoReturn(f)                \
  static f __attribute__((noinline, noreturn)); \
  f

namespace nix {

LocalNoInlineNoReturn(void throwEvalError(const char* s, const Pos& pos)) {
  throw EvalError(format(s) % pos);
}

LocalNoInlineNoReturn(void throwTypeError(const char* s, const Value& v)) {
  throw TypeError(format(s) % showType(v));
}

LocalNoInlineNoReturn(void throwTypeError(const char* s, const Value& v,
                                          const Pos& pos)) {
  throw TypeError(format(s) % showType(v) % pos);
}

void EvalState::forceValue(Value& v, const Pos& pos) {
  if (v.type == tThunk) {
    Env* env = v.thunk.env;
    Expr* expr = v.thunk.expr;
    try {
      v.type = tBlackhole;
      // checkInterrupt();
      expr->eval(*this, *env, v);
    } catch (...) {
      v.type = tThunk;
      v.thunk.env = env;
      v.thunk.expr = expr;
      throw;
    }
  } else if (v.type == tApp)
    callFunction(*v.app.left, *v.app.right, v, noPos);
  else if (v.type == tBlackhole)
    throwEvalError("infinite recursion encountered, at %1%", pos);
}

inline void EvalState::forceAttrs(Value& v) {
  forceValue(v);
  if (v.type != tAttrs)
    throwTypeError("value is %1% while a set was expected", v);
}

inline void EvalState::forceAttrs(Value& v, const Pos& pos) {
  forceValue(v);
  if (v.type != tAttrs)
    throwTypeError("value is %1% while a set was expected, at %2%", v, pos);
}

inline void EvalState::forceList(Value& v) {
  forceValue(v);
  if (!v.isList()) throwTypeError("value is %1% while a list was expected", v);
}

inline void EvalState::forceList(Value& v, const Pos& pos) {
  forceValue(v);
  if (!v.isList())
    throwTypeError("value is %1% while a list was expected, at %2%", v, pos);
}

/* Note: Various places expect the allocated memory to be zeroed. */
inline void* allocBytes(size_t n) {
  void* p;
#if HAVE_BOEHMGC
  p = GC_MALLOC(n);
#else
  p = calloc(n, 1);
#endif
  if (!p) throw std::bad_alloc();
  return p;
}

}  // namespace nix