Skip to content

Instantly share code, notes, and snippets.

@wz1000

wz1000/trace2.hs

Created July 4, 2019 19:18
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save wz1000/d1420276422a17422bf16fbd24eb6ce9 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save wz1000/d1420276422a17422bf16fbd24eb6ce9 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
trace2.hs
>>> compose (del 1) (ins 1:: Change)
splitDeltaIn: Change (fromList [Edit 0 1 0]) 0
splitDeltaOut: (Change (fromList [Edit 0 1 0]) 0,Change (fromList []) 0)
editEdit: Edit 0 0 1
editSplitIn: Change (fromList [Edit 0 1 0]) 0
editSplitOut: (Change (fromList []) 0,Change (fromList [Edit 0 1 0]) 0)
*** Exception: changePos: Past end
CallStack (from HasCallStack):
error, called at ./Coda/Syntax/Change.hs:127:18 in coda-change-0.0.1-inplace:Coda.Syntax.Change
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment