Merge branch 'main' of github.com:eth-sri/lmql

docs/docs/language/constraints.md

@@ -56,7 +56,7 @@ LMQL currently only supports integer constraints. However, support for floating
 :::
 
 ### Choice From Set
-LMQL allows to specify that a variable should be a choice from a set of possible values. This can be rephrased as the variable being within a  set of possible values, i.e. `THING in set(["Volleyball", "Sunscreen", "Bathing Suite"])` in the following example
+LMQL allows to specify that a variable should be a choice from a set of possible values. This can be rephrased as the variable being within a  set of possible values, i.e. `THING in set(["Volleyball", "Sunscreen", "Bathing Suit"])` in the following example
 
 ```{lmql}
 name::set
@@ -68,7 +68,7 @@ sample(temperature=0.8)
 from
    'openai/text-ada-001'
 where
-   THING in set(["Volleyball", "Sunscreen", "Bathing Suite"])
+   THING in set(["Volleyball", "Sunscreen", "Bathing Suit"])
 
 ```
 ```promptdown
@@ -166,4 +166,4 @@ Here, we enforce a stopping condition on the `.` character, but only once the ge
 
 ### Custom Constraints and Theoretical Background
 
-To learn more about the internals of LMQL and how to implement your own LMQL constraint, see the chapter on [Implementing Custom LMQL Constraints](./constraints/custom-constraints.md). 
+To learn more about the internals of LMQL and how to implement your own LMQL constraint, see the chapter on [Implementing Custom LMQL Constraints](./constraints/custom-constraints.md). 

docs/docs/language/tools.md

@@ -47,7 +47,7 @@ How much profit did he make?"
 # insert few shot demonstrations
 "{gsm8k_samples()}"
 
-# prompt tempalte
+# prompt template
 "Q: {QUESTION}\n"
 "Let's think step by step.\n"
 
@@ -83,7 +83,7 @@ Further, we use a function `gsm8k_samples` that returns a few-shot samples for t
 
 ## Beyond Calculators
 
-**Wikipedia Search** Function use is not limited to calculators. In the example bellow we show how text retrieval, using Pythons [`async`/`await` syntax](https://docs.python.org/3/library/asyncio.html), can be used to augment the reasoning capabilities of the large language model. 
+**Wikipedia Search** Function use is not limited to calculators. In the example below we show how text retrieval, using Python's [`async`/`await` syntax](https://docs.python.org/3/library/asyncio.html), can be used to augment the reasoning capabilities of the large language model. 
 
 ```lmql
 async def wikipedia(q):
@@ -138,7 +138,8 @@ To remember things, you can use 'assign'/'get':
 `assign("Alice", "banana") # result: "banana"`
 - To retrieve a stored value:
 `get("Alice") # result: "banana"`
-Always tail calls with " # result". Using these actions, let's solve the following question.\n"""
+Always tail calls with " # result". Using these actions, let's solve
+the following question.\n"""
 
 # actual problem statement
 """

docs/features/examples/1-packing-list.md

@@ -13,14 +13,14 @@ Prompt construction and generation is implemented via expressive *Python control
 for i in range(4):
     # 'where' denotes hard constraints enforced by the runtime
     "- [THING] \n" where THING in \ 
-        ["Volleyball", "Sunscreen", "Bathing Suite"]
+        ["Volleyball", "Sunscreen", "Bathing Suit"]
 ```
 %SPLIT%
 ```promptdown
 My packing list for the trip:
 
 - [THING| Volleyball]
-- [THING| Bathing Suite]
+- [THING| Bathing Suit]
 - [THING| Sunscreen]
 - [THING| Volleyball]
-```
+```

src/lmql/runtime/tracing/tracer.py

@@ -194,7 +194,7 @@ def __init__(self, tracer):
         self.tracer = tracer
 
     def __enter__(self):
-        _ensure_tracer
+        _ensure_tracer()
         current = _tracer.get()[-1] if len(_tracer.get()) > 0 else None
         if current is not None:
             if self.tracer.parent is not None:

src/lmql/ui/playground/src/queries.js

@@ -38,7 +38,7 @@ sample(temperature=0.8)
 # use a loop to generate a list
 for i in range(4):
     "- [THING] \\n" where \\
-        THING in set(["Volleyball", "Sunscreen", "Bathing Suite"])`,
+        THING in set(["Volleyball", "Sunscreen", "Bathing Suit"])`,
             state: 'precomputed/list.json'
          },
          {
@@ -415,4 +415,4 @@ from
          },
       ]
    },
-]};
+]};