From 95b351ca7494a616d4c069053974590ccaa72d5a Mon Sep 17 00:00:00 2001
From: Anurudh Peduri <anurudhp97@gmail.com>
Date: Wed, 21 Jan 2026 18:57:39 +0100
Subject: [PATCH] Rename snippet files

---
 ...{clustering_algorithm.qb => clustering_algorithm.traq} | 0
 .../{3_round_feistel.qb => 3_round_feistel.traq}          | 0
 .../cryptanalysis/{evan_mansour.qb => evan_mansour.traq}  | 0
 .../{grover_meets_simon.qb => grover_meets_simon.traq}    | 0
 .../{period_finding.qb => period_finding.traq}            | 0
 .../{max_sat_hillclimb.qb => max_sat_hillclimb.traq}      | 0
 .../hillclimb/{steep_max_sat.qb => steep_max_sat.traq}    | 0
 examples/matrix_search/Makefile                           | 4 ++--
 examples/matrix_search/demo.hs                            | 2 +-
 .../{depth3_NAND_formula.qb => depth3_NAND_formula.traq}  | 0
 .../{matrix_search.qb => matrix_search.traq}              | 0
 examples/matrix_search/{triangular.qb => triangular.traq} | 0
 examples/matrix_search/{worstcase.qb => worstcase.traq}   | 0
 .../primitives/amplify/{amplify1.qb => amplify1.traq}     | 0
 .../primitives/amplify/{amplify2.qb => amplify2.traq}     | 0
 .../primitives/amplify/{amplify3.qb => amplify3.traq}     | 0
 examples/primitives/{any.qb => any.traq}                  | 0
 examples/primitives/{nondet.qb => nondet.traq}            | 0
 examples/primitives/{search.qb => search.traq}            | 0
 examples/primitives/{treesearch.qb => treesearch.traq}    | 0
 examples/tree_generator/demo.hs                           | 4 ++--
 .../tree_generator/{loop_example.qb => loop_example.traq} | 0
 ...tor_01_knapsack.qb => tree_generator_01_knapsack.traq} | 0
 examples/{triangle_finding.qb => triangle_finding.traq}   | 0
 experiments/compile_loc.hs                                | 4 ++--
 experiments/timing.hs                                     | 6 +++---
 test/Traq/Examples/ClusteringAlgorithmSpec.hs             | 2 +-
 test/Traq/Examples/DepthThreeNandFormulaSpec.hs           | 2 +-
 test/Traq/Examples/EvanMansourSpec.hs                     | 2 +-
 test/Traq/Examples/GroverMeetsSimonSpec.hs                | 2 +-
 test/Traq/Examples/NonDetSpec.hs                          | 2 +-
 test/Traq/Examples/PeriodFindingSpec.hs                   | 2 +-
 test/Traq/Examples/SteepMaxKSatSpec.hs                    | 2 +-
 test/Traq/Examples/ThreeRoundFeistelAttackSpec.hs         | 2 +-
 test/Traq/Examples/TreeGeneratorSpec.hs                   | 8 ++++----
 test/Traq/Examples/TriangleCycleSpec.hs                   | 2 +-
 test/Traq/Primitives/Amplify/PreludeSpec.hs               | 6 +++---
 test/Traq/Primitives/TreeSearchSpec.hs                    | 2 +-
 test/Traq/ProtoLang/ParserSpec.hs                         | 4 ++--
 39 files changed, 29 insertions(+), 29 deletions(-)
 rename examples/{clustering_algorithm.qb => clustering_algorithm.traq} (100%)
 rename examples/cryptanalysis/{3_round_feistel.qb => 3_round_feistel.traq} (100%)
 rename examples/cryptanalysis/{evan_mansour.qb => evan_mansour.traq} (100%)
 rename examples/cryptanalysis/{grover_meets_simon.qb => grover_meets_simon.traq} (100%)
 rename examples/cryptanalysis/{period_finding.qb => period_finding.traq} (100%)
 rename examples/hillclimb/{max_sat_hillclimb.qb => max_sat_hillclimb.traq} (100%)
 rename examples/hillclimb/{steep_max_sat.qb => steep_max_sat.traq} (100%)
 rename examples/matrix_search/{depth3_NAND_formula.qb => depth3_NAND_formula.traq} (100%)
 rename examples/matrix_search/{matrix_search.qb => matrix_search.traq} (100%)
 rename examples/matrix_search/{triangular.qb => triangular.traq} (100%)
 rename examples/matrix_search/{worstcase.qb => worstcase.traq} (100%)
 rename examples/primitives/amplify/{amplify1.qb => amplify1.traq} (100%)
 rename examples/primitives/amplify/{amplify2.qb => amplify2.traq} (100%)
 rename examples/primitives/amplify/{amplify3.qb => amplify3.traq} (100%)
 rename examples/primitives/{any.qb => any.traq} (100%)
 rename examples/primitives/{nondet.qb => nondet.traq} (100%)
 rename examples/primitives/{search.qb => search.traq} (100%)
 rename examples/primitives/{treesearch.qb => treesearch.traq} (100%)
 rename examples/tree_generator/{loop_example.qb => loop_example.traq} (100%)
 rename examples/tree_generator/{tree_generator_01_knapsack.qb => tree_generator_01_knapsack.traq} (100%)
 rename examples/{triangle_finding.qb => triangle_finding.traq} (100%)

diff --git a/examples/clustering_algorithm.qb b/examples/clustering_algorithm.traq
similarity index 100%
rename from examples/clustering_algorithm.qb
rename to examples/clustering_algorithm.traq
diff --git a/examples/cryptanalysis/3_round_feistel.qb b/examples/cryptanalysis/3_round_feistel.traq
similarity index 100%
rename from examples/cryptanalysis/3_round_feistel.qb
rename to examples/cryptanalysis/3_round_feistel.traq
diff --git a/examples/cryptanalysis/evan_mansour.qb b/examples/cryptanalysis/evan_mansour.traq
similarity index 100%
rename from examples/cryptanalysis/evan_mansour.qb
rename to examples/cryptanalysis/evan_mansour.traq
diff --git a/examples/cryptanalysis/grover_meets_simon.qb b/examples/cryptanalysis/grover_meets_simon.traq
similarity index 100%
rename from examples/cryptanalysis/grover_meets_simon.qb
rename to examples/cryptanalysis/grover_meets_simon.traq
diff --git a/examples/cryptanalysis/period_finding.qb b/examples/cryptanalysis/period_finding.traq
similarity index 100%
rename from examples/cryptanalysis/period_finding.qb
rename to examples/cryptanalysis/period_finding.traq
diff --git a/examples/hillclimb/max_sat_hillclimb.qb b/examples/hillclimb/max_sat_hillclimb.traq
similarity index 100%
rename from examples/hillclimb/max_sat_hillclimb.qb
rename to examples/hillclimb/max_sat_hillclimb.traq
diff --git a/examples/hillclimb/steep_max_sat.qb b/examples/hillclimb/steep_max_sat.traq
similarity index 100%
rename from examples/hillclimb/steep_max_sat.qb
rename to examples/hillclimb/steep_max_sat.traq
diff --git a/examples/matrix_search/Makefile b/examples/matrix_search/Makefile
index 586b6f43..5208dc1d 100644
--- a/examples/matrix_search/Makefile
+++ b/examples/matrix_search/Makefile
@@ -2,14 +2,14 @@ PROJ_DEPS=../../src ../../tools ../../traq.cabal
 
 all: matrix_search.qpl depth3_NAND_formula.qpl
 
-matrix_search.qpl: matrix_search.qb $(PROJ_DEPS)
+matrix_search.qpl: matrix_search.traq $(PROJ_DEPS)
 	cd ../../ && cabal run compile -- \
 		-i examples/matrix_search/$< \
 		-o examples/matrix_search/$@ \
 		-p 0.001 \
 		--arg N=20 --arg M=10
 
-depth3_NAND_formula.qpl: depth3_NAND_formula.qb $(PROJ_DEPS)
+depth3_NAND_formula.qpl: depth3_NAND_formula.traq $(PROJ_DEPS)
 	cd ../../ && cabal run compile -- \
 		-i examples/matrix_search/$< \
 		-o examples/matrix_search/$@ \
diff --git a/examples/matrix_search/demo.hs b/examples/matrix_search/demo.hs
index 77ac6786..1c7c1c3b 100644
--- a/examples/matrix_search/demo.hs
+++ b/examples/matrix_search/demo.hs
@@ -42,7 +42,7 @@ expectedCost ::
   IO Double
 expectedCost n m matrix eps = do
   -- load the program
-  Right loaded_program <- parseFromFile (P.programParser @primT') "examples/matrix_search/matrix_search.qb"
+  Right loaded_program <- parseFromFile (P.programParser @primT') "examples/matrix_search/matrix_search.traq"
   let program = P.mapSize (Sym.unSym . Sym.subst "M" (Sym.con m) . Sym.subst "N" (Sym.con n)) loaded_program
   program_annotated <- either fail pure $ A.annotateProgWithErrorBudget (A.failProb eps) program
 
diff --git a/examples/matrix_search/depth3_NAND_formula.qb b/examples/matrix_search/depth3_NAND_formula.traq
similarity index 100%
rename from examples/matrix_search/depth3_NAND_formula.qb
rename to examples/matrix_search/depth3_NAND_formula.traq
diff --git a/examples/matrix_search/matrix_search.qb b/examples/matrix_search/matrix_search.traq
similarity index 100%
rename from examples/matrix_search/matrix_search.qb
rename to examples/matrix_search/matrix_search.traq
diff --git a/examples/matrix_search/triangular.qb b/examples/matrix_search/triangular.traq
similarity index 100%
rename from examples/matrix_search/triangular.qb
rename to examples/matrix_search/triangular.traq
diff --git a/examples/matrix_search/worstcase.qb b/examples/matrix_search/worstcase.traq
similarity index 100%
rename from examples/matrix_search/worstcase.qb
rename to examples/matrix_search/worstcase.traq
diff --git a/examples/primitives/amplify/amplify1.qb b/examples/primitives/amplify/amplify1.traq
similarity index 100%
rename from examples/primitives/amplify/amplify1.qb
rename to examples/primitives/amplify/amplify1.traq
diff --git a/examples/primitives/amplify/amplify2.qb b/examples/primitives/amplify/amplify2.traq
similarity index 100%
rename from examples/primitives/amplify/amplify2.qb
rename to examples/primitives/amplify/amplify2.traq
diff --git a/examples/primitives/amplify/amplify3.qb b/examples/primitives/amplify/amplify3.traq
similarity index 100%
rename from examples/primitives/amplify/amplify3.qb
rename to examples/primitives/amplify/amplify3.traq
diff --git a/examples/primitives/any.qb b/examples/primitives/any.traq
similarity index 100%
rename from examples/primitives/any.qb
rename to examples/primitives/any.traq
diff --git a/examples/primitives/nondet.qb b/examples/primitives/nondet.traq
similarity index 100%
rename from examples/primitives/nondet.qb
rename to examples/primitives/nondet.traq
diff --git a/examples/primitives/search.qb b/examples/primitives/search.traq
similarity index 100%
rename from examples/primitives/search.qb
rename to examples/primitives/search.traq
diff --git a/examples/primitives/treesearch.qb b/examples/primitives/treesearch.traq
similarity index 100%
rename from examples/primitives/treesearch.qb
rename to examples/primitives/treesearch.traq
diff --git a/examples/tree_generator/demo.hs b/examples/tree_generator/demo.hs
index 76e7696f..bbbdba8c 100644
--- a/examples/tree_generator/demo.hs
+++ b/examples/tree_generator/demo.hs
@@ -63,7 +63,7 @@ worstCaseCost
 -- worst case cost (ignores data)
 worstCaseCost ctx eps = do
   -- load the program
-  loaded_program <- either (fail . show) pure =<< parseFromFile (P.programParser @primT') "examples/tree_generator/tree_generator_01_knapsack.qb"
+  loaded_program <- either (fail . show) pure =<< parseFromFile (P.programParser @primT') "examples/tree_generator/tree_generator_01_knapsack.traq"
   let program = P.mapSize (substCtx ctx) loaded_program
   program_annotated <- either fail pure $ A.annotateProgWithErrorBudget (A.failProb eps) program
 
@@ -71,7 +71,7 @@ worstCaseCost ctx eps = do
 -- expected cost (depends on data)
 expectedCost ctx@Ctx{..} eps = do
   -- load the program
-  loaded_program <- either (fail . show) pure =<< parseFromFile (P.programParser @primT') "examples/tree_generator/tree_generator_01_knapsack.qb"
+  loaded_program <- either (fail . show) pure =<< parseFromFile (P.programParser @primT') "examples/tree_generator/tree_generator_01_knapsack.traq"
   let program = P.mapSize (substCtx ctx) loaded_program
   -- putStrLn $ replicate 80 '='
   -- putStrLn $ PP.toCodeString program
diff --git a/examples/tree_generator/loop_example.qb b/examples/tree_generator/loop_example.traq
similarity index 100%
rename from examples/tree_generator/loop_example.qb
rename to examples/tree_generator/loop_example.traq
diff --git a/examples/tree_generator/tree_generator_01_knapsack.qb b/examples/tree_generator/tree_generator_01_knapsack.traq
similarity index 100%
rename from examples/tree_generator/tree_generator_01_knapsack.qb
rename to examples/tree_generator/tree_generator_01_knapsack.traq
diff --git a/examples/triangle_finding.qb b/examples/triangle_finding.traq
similarity index 100%
rename from examples/triangle_finding.qb
rename to examples/triangle_finding.traq
diff --git a/experiments/compile_loc.hs b/experiments/compile_loc.hs
index b4e6ee2b..30c03603 100644
--- a/experiments/compile_loc.hs
+++ b/experiments/compile_loc.hs
@@ -55,7 +55,7 @@ matSearch n eps =
   runExpt
     ExptConfig
       { expt_name = "Matrix Search"
-      , fname = "examples/matrix_search/matrix_search.qb"
+      , fname = "examples/matrix_search/matrix_search.traq"
       , params = [("N", n), ("M", n)]
       , precision = eps
       , show_qpl = False
@@ -66,7 +66,7 @@ listSearch n eps =
   runExpt
     ExptConfig
       { expt_name = "List Search"
-      , fname = "examples/primitives/search.qb"
+      , fname = "examples/primitives/search.traq"
       , params = [("N", n)]
       , precision = eps
       , show_qpl = False
diff --git a/experiments/timing.hs b/experiments/timing.hs
index af3c20ed..035a42cb 100644
--- a/experiments/timing.hs
+++ b/experiments/timing.hs
@@ -89,7 +89,7 @@ matrixSearchExpt = do
 depth3NAND :: IO ()
 depth3NAND = do
   putStrLn "\nDepth 3 NAND Tree:"
-  sprog <- loadProgramFromFile "examples/matrix_search/depth3_NAND_formula.qb"
+  sprog <- loadProgramFromFile "examples/matrix_search/depth3_NAND_formula.traq"
   let eps = 0.001 :: Double
   let ns = [10, 20 .. 120]
   putStrLn "n, time, qubits"
@@ -111,7 +111,7 @@ depth3NAND = do
 hillClimbExpt :: IO ()
 hillClimbExpt = do
   putStrLn "\nHillclimb:"
-  sprog <- loadProgramFromFile "examples/hillclimb/max_sat_hillclimb.qb"
+  sprog <- loadProgramFromFile "examples/hillclimb/max_sat_hillclimb.traq"
   let eps = 0.001 :: Double
   let ns = [10, 20 .. 100] ++ [200, 300 .. 1000]
   putStrLn "n, time, qubits"
@@ -127,7 +127,7 @@ hillClimbExpt = do
 triangleFinding :: IO ()
 triangleFinding = do
   putStrLn "\nTriangle Finding:"
-  sprog <- loadProgramFromFile "examples/triangle_finding.qb"
+  sprog <- loadProgramFromFile "examples/triangle_finding.traq"
   let eps = 0.001 :: Double
   let ns = [10, 20 .. 120]
   putStrLn "N, time, qubits"
diff --git a/test/Traq/Examples/ClusteringAlgorithmSpec.hs b/test/Traq/Examples/ClusteringAlgorithmSpec.hs
index 074bae99..4beb02bb 100644
--- a/test/Traq/Examples/ClusteringAlgorithmSpec.hs
+++ b/test/Traq/Examples/ClusteringAlgorithmSpec.hs
@@ -14,7 +14,7 @@ import Test.Hspec
 import TestHelpers (expectRight)
 
 examplePath :: String
-examplePath = "examples/clustering_algorithm.qb"
+examplePath = "examples/clustering_algorithm.traq"
 
 spec :: Spec
 spec = describe "Clustering Algorithm" $ do
diff --git a/test/Traq/Examples/DepthThreeNandFormulaSpec.hs b/test/Traq/Examples/DepthThreeNandFormulaSpec.hs
index fa8cc2dc..7259c7a9 100644
--- a/test/Traq/Examples/DepthThreeNandFormulaSpec.hs
+++ b/test/Traq/Examples/DepthThreeNandFormulaSpec.hs
@@ -16,7 +16,7 @@ import Test.Hspec
 import TestHelpers (expectRight)
 
 examplePath :: String
-examplePath = "examples/matrix_search/depth3_NAND_formula.qb"
+examplePath = "examples/matrix_search/depth3_NAND_formula.traq"
 
 spec :: Spec
 spec = describe "Depth 3 NAND Formula" $ do
diff --git a/test/Traq/Examples/EvanMansourSpec.hs b/test/Traq/Examples/EvanMansourSpec.hs
index bc0c1323..8245adb7 100644
--- a/test/Traq/Examples/EvanMansourSpec.hs
+++ b/test/Traq/Examples/EvanMansourSpec.hs
@@ -19,7 +19,7 @@ import Test.Hspec
 import TestHelpers (assertRight, expectRight)
 
 examplePath :: String
-examplePath = "examples/cryptanalysis/evan_mansour.qb"
+examplePath = "examples/cryptanalysis/evan_mansour.traq"
 
 type SPrim size = Primitive (SimonsFindXorPeriod size Double)
 
diff --git a/test/Traq/Examples/GroverMeetsSimonSpec.hs b/test/Traq/Examples/GroverMeetsSimonSpec.hs
index 3fd20883..26da07b5 100644
--- a/test/Traq/Examples/GroverMeetsSimonSpec.hs
+++ b/test/Traq/Examples/GroverMeetsSimonSpec.hs
@@ -16,7 +16,7 @@ import Test.Hspec
 import TestHelpers
 
 examplePath :: String
-examplePath = "examples/cryptanalysis/grover_meets_simon.qb"
+examplePath = "examples/cryptanalysis/grover_meets_simon.traq"
 
 type P = WorstCasePrims (Sym.Sym SizeT) Double
 
diff --git a/test/Traq/Examples/NonDetSpec.hs b/test/Traq/Examples/NonDetSpec.hs
index 399dbff6..69ccc5e3 100644
--- a/test/Traq/Examples/NonDetSpec.hs
+++ b/test/Traq/Examples/NonDetSpec.hs
@@ -21,7 +21,7 @@ import TestHelpers
 spec :: Spec
 spec = do
   describe "SimpleExample" $ do
-    let load = parseFromFile (PP.programParser @(DefaultPrims (Sym.Sym SizeT) Double)) "examples/primitives/nondet.qb"
+    let load = parseFromFile (PP.programParser @(DefaultPrims (Sym.Sym SizeT) Double)) "examples/primitives/nondet.traq"
     it "parses" $ do
       mEx <- load
       assertRight mEx
diff --git a/test/Traq/Examples/PeriodFindingSpec.hs b/test/Traq/Examples/PeriodFindingSpec.hs
index fce80b65..0233d5f4 100644
--- a/test/Traq/Examples/PeriodFindingSpec.hs
+++ b/test/Traq/Examples/PeriodFindingSpec.hs
@@ -21,7 +21,7 @@ import TestHelpers
 type SPrim size = Primitive (SimonsFindXorPeriod size Double)
 
 examplePath :: String
-examplePath = "examples/cryptanalysis/period_finding.qb"
+examplePath = "examples/cryptanalysis/period_finding.traq"
 
 loadPeriodFinding ::
   -- | bitsize @n@ of the inputs/outputs
diff --git a/test/Traq/Examples/SteepMaxKSatSpec.hs b/test/Traq/Examples/SteepMaxKSatSpec.hs
index 74e01aa0..725dc778 100644
--- a/test/Traq/Examples/SteepMaxKSatSpec.hs
+++ b/test/Traq/Examples/SteepMaxKSatSpec.hs
@@ -17,7 +17,7 @@ import TestHelpers (expectRight)
 type P = Primitive (QMax (Sym.Sym SizeT) Double)
 
 examplePath :: String
-examplePath = "examples/hillclimb/steep_max_sat.qb"
+examplePath = "examples/hillclimb/steep_max_sat.traq"
 
 spec :: Spec
 spec = describe "Steep max-k-sat" $ do
diff --git a/test/Traq/Examples/ThreeRoundFeistelAttackSpec.hs b/test/Traq/Examples/ThreeRoundFeistelAttackSpec.hs
index 898436ed..4e53a677 100644
--- a/test/Traq/Examples/ThreeRoundFeistelAttackSpec.hs
+++ b/test/Traq/Examples/ThreeRoundFeistelAttackSpec.hs
@@ -17,7 +17,7 @@ import TestHelpers (expectRight)
 type P = Primitive (SimonsFindXorPeriod (Sym.Sym SizeT) Double)
 
 examplePath :: String
-examplePath = "examples/cryptanalysis/3_round_feistel.qb"
+examplePath = "examples/cryptanalysis/3_round_feistel.traq"
 
 spec :: Spec
 spec = describe "3 round feistel attack" $ do
diff --git a/test/Traq/Examples/TreeGeneratorSpec.hs b/test/Traq/Examples/TreeGeneratorSpec.hs
index 65524252..bf6a31ca 100644
--- a/test/Traq/Examples/TreeGeneratorSpec.hs
+++ b/test/Traq/Examples/TreeGeneratorSpec.hs
@@ -80,7 +80,7 @@ loadKnapsack ::
   SizeT ->
   IO (Program Prim')
 loadKnapsack n w p k = do
-  Right prog <- parseFromFile (programParser @Prim) "examples/tree_generator/tree_generator_01_knapsack.qb"
+  Right prog <- parseFromFile (programParser @Prim) "examples/tree_generator/tree_generator_01_knapsack.traq"
   return $
     prog
       & mapSize (Sym.subst "N" (Sym.con n))
@@ -93,13 +93,13 @@ spec :: Spec
 spec = do
   describe "Tree Generator Example" $ do
     it "parses" $ do
-      expectRight =<< parseFromFile (programParser @Prim) "examples/tree_generator/tree_generator_01_knapsack.qb"
+      expectRight =<< parseFromFile (programParser @Prim) "examples/tree_generator/tree_generator_01_knapsack.traq"
       -- p `shouldBe` treeGeneratorExample (Sym.var "N") (Sym.var "W") (Sym.var "P")
       return ()
 
     it "typechecks" $ do
       p <-
-        parseFromFile (programParser @Prim) "examples/tree_generator/tree_generator_01_knapsack.qb"
+        parseFromFile (programParser @Prim) "examples/tree_generator/tree_generator_01_knapsack.traq"
           >>= expectRight
       assertRight $ (typeCheckProg @Prim) p
 
@@ -122,7 +122,7 @@ spec = do
   describe "Loop example" $ do
     it "parses" $ do
       p <-
-        parseFromFile (programParser @(Core (Sym.Sym SizeT) Double)) "examples/tree_generator/loop_example.qb"
+        parseFromFile (programParser @(Core (Sym.Sym SizeT) Double)) "examples/tree_generator/loop_example.traq"
           >>= expectRight
       p `shouldBe` loopExample (Sym.var "N") (Sym.var "W")
 
diff --git a/test/Traq/Examples/TriangleCycleSpec.hs b/test/Traq/Examples/TriangleCycleSpec.hs
index fbbdd161..0d31b47f 100644
--- a/test/Traq/Examples/TriangleCycleSpec.hs
+++ b/test/Traq/Examples/TriangleCycleSpec.hs
@@ -16,7 +16,7 @@ import TestHelpers
 type P = DefaultPrims (Sym.Sym SizeT) Double
 
 examplePath :: String
-examplePath = "examples/triangle_finding.qb"
+examplePath = "examples/triangle_finding.traq"
 
 spec :: Spec
 spec = describe "Triangle Cycle Finding" $ do
diff --git a/test/Traq/Primitives/Amplify/PreludeSpec.hs b/test/Traq/Primitives/Amplify/PreludeSpec.hs
index 6d0a9e25..3f0e7bbe 100644
--- a/test/Traq/Primitives/Amplify/PreludeSpec.hs
+++ b/test/Traq/Primitives/Amplify/PreludeSpec.hs
@@ -237,7 +237,7 @@ spec = describe "amplify" $ do
       p <-
         parseFromFile
           P.programParser
-          "examples/primitives/amplify/amplify1.qb"
+          "examples/primitives/amplify/amplify1.traq"
           >>= expectRight
       p `shouldBe` exampleProgram1 @(Sym.Sym Int) @Double (Sym.var "N")
 
@@ -263,7 +263,7 @@ spec = describe "amplify" $ do
       p <-
         parseFromFile
           P.programParser
-          "examples/primitives/amplify/amplify2.qb"
+          "examples/primitives/amplify/amplify2.traq"
           >>= expectRight
       p `shouldBe` exampleProgram2 @(Sym.Sym Int) @Double (Sym.var "N")
 
@@ -286,7 +286,7 @@ spec = describe "amplify" $ do
       p <-
         parseFromFile
           P.programParser
-          "examples/primitives/amplify/amplify3.qb"
+          "examples/primitives/amplify/amplify3.traq"
           >>= expectRight
       p `shouldBe` exampleProgram3 @(Sym.Sym Int) @Double (Sym.var "N")
 
diff --git a/test/Traq/Primitives/TreeSearchSpec.hs b/test/Traq/Primitives/TreeSearchSpec.hs
index a4cb2ae1..9d4c3c08 100644
--- a/test/Traq/Primitives/TreeSearchSpec.hs
+++ b/test/Traq/Primitives/TreeSearchSpec.hs
@@ -72,7 +72,7 @@ spec = do
       p <-
         parseFromFile
           (programParser @(TreeSearch (Sym.Sym SizeT) Double))
-          "examples/primitives/treesearch.qb"
+          "examples/primitives/treesearch.traq"
           >>= expectRight
       p `shouldBe` exampleProgram (Sym.var "N") (Sym.con 2)
 
diff --git a/test/Traq/ProtoLang/ParserSpec.hs b/test/Traq/ProtoLang/ParserSpec.hs
index 2d68e436..314d835d 100644
--- a/test/Traq/ProtoLang/ParserSpec.hs
+++ b/test/Traq/ProtoLang/ParserSpec.hs
@@ -91,7 +91,7 @@ spec = do
 
   describe "parse file" $ do
     it "parses example" $ do
-      e <- parseFromFile (programParser @(DefaultPrims (Sym.Sym SizeT) Double)) "examples/matrix_search/matrix_search.qb" >>= expectRight
+      e <- parseFromFile (programParser @(DefaultPrims (Sym.Sym SizeT) Double)) "examples/matrix_search/matrix_search.traq" >>= expectRight
       let e' = rewriteAST flattenSeq e
       e' `shouldBe` mkMatrixExample (\ty f -> PrimCallE $ Primitive [f] $ QAny $ QSearchCFNW $ PrimSearch AnyK ty) (Sym.var "N") (Sym.var "M")
 
@@ -100,7 +100,7 @@ spec = do
       roundTrip (matrixExampleS 4 5)
       roundTrip (matrixExampleS 10 10)
     it "max_sat_hillclimb" $ do
-      e_sym <- expectRight =<< parseFromFile (programParser @(DefaultPrims (Sym.Sym SizeT) Double)) "examples/hillclimb/max_sat_hillclimb.qb"
+      e_sym <- expectRight =<< parseFromFile (programParser @(DefaultPrims (Sym.Sym SizeT) Double)) "examples/hillclimb/max_sat_hillclimb.traq"
       let e =
             e_sym
               & mapSize (Sym.subst "n" 10)