[ experim ] Change the rig to 1

buzden · Aug 13, 2023 · 89e1a40 · 89e1a40
1 parent e11e65f
commit 89e1a40
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/TTImp/ProcessRunElab.idr b/src/TTImp/ProcessRunElab.idr
@@ -38,5 +38,5 @@ processRunElab eopts nest env fc tm
          unit <- getCon fc defs (builtin "Unit")
          exp <- appCon fc defs n [unit]
 
-         stm <- checkTerm tidx InExpr (OverrideRig bot :: eopts) nest env tm (gnf env exp)
+         stm <- checkTerm tidx InExpr (OverrideRig Rig1 :: eopts) nest env tm (gnf env exp)
          ignore $ elabScript top fc nest env !(nfOpts withAll defs env stm) Nothing
diff --git a/tests/idris2/reflection021/RunElab0.idr b/tests/idris2/reflection021/RunElab0.idr
@@ -10,4 +10,4 @@ elabScript = pure ()
 x : Unit
 x = %runElab elabScript
 
-%runElab elabScript
+-- %runElab elabScript