Skip to content

Commit

Permalink
Fix formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
jonaprieto committed Oct 6, 2023
1 parent c3fca68 commit 887e141
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion src/Juvix/Compiler/Backend/Geb/Evaluator.hs
Original file line number Diff line number Diff line change
Expand Up @@ -87,7 +87,6 @@ evalBitChoice :: BitChoice -> Sem r GebValue
evalBitChoice n = do
return (GebValueMorphismInteger (n ^. bitChoice))


evalVar :: (EvalEffects r) => Var -> Sem r GebValue
evalVar var = do
ctx <- asks (^. envContext)
Expand Down

0 comments on commit 887e141

Please sign in to comment.