Commit 6cdf5cfc authored by Ben Gamari's avatar Ben Gamari 🐢 Committed by GitHub
Browse files

Eta expand as required by simplified subsumption rules (#134)

See GHC Proposal 287:
https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-simplify-subsumption.rst
parent 463fc49d
......@@ -39,7 +39,7 @@ runDumbTerm h = liftIO $ posixRunTerm h (posixLayouts h) [] id evalDumb
instance (MonadIO m, MonadMask m, MonadReader Layout m) => Term (DumbTerm m) where
reposition _ s = refitLine s
drawLineDiff = drawLineDiff'
drawLineDiff x y = drawLineDiff' x y
printLines = mapM_ (printText . (++ crlf))
moveToNextLine _ = printText crlf
......
......@@ -202,7 +202,7 @@ output t = Writer.tell t -- NB: explicit argument enables build with ghc-6.12.3
-- see GHC ticket #1749).
outputText :: String -> ActionM ()
outputText = output . const . termText
outputText s = output (const (termText s))
left,right,up :: Int -> TermAction
left = flip leftA
......@@ -238,7 +238,7 @@ moveToPos p = do
moveRelative :: Int -> ActionM ()
moveRelative n = liftM3 (advancePos n) ask get get
>>= moveToPos
>>= \p -> moveToPos p
-- Note that these move by a certain number of cells, not graphemes.
changeRight, changeLeft :: Int -> ActionM ()
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment