Skip to content

Instantly share code, notes, and snippets.

@archaeron

archaeron/test.idr

Last active December 21, 2015 11:07
Show Gist options
  • Save archaeron/46ff50b5ecf5ef53d4e0 to your computer and use it in GitHub Desktop.
Save archaeron/46ff50b5ecf5ef53d4e0 to your computer and use it in GitHub Desktop.
Download ZIP
Crashing Idris ide-mode
Raw
test.idr
module Test
a
Raw
z.sh
idris.exe --ide-mode
000018(:protocol-version 1 0)
00004f((:load-file "C:\Users\UserName\Documents\Programming\Idris\Start\test.idr") 1)
000111(:output (:ok (:highlight-source ((((:filename "C:\\Users\\UserName\\Documents\\Programming\\Idris\\Start\\test.idr") (:start 1 8) (:end 1 12)) ((:namespace "Test") (:decor :module) (:source-file "C:\\Users\\UserName\\Documents\\Programming\\Idris\\Start\\test.idr")))))) 1)
000111(:output (:ok (:highlight-source ((((:filename "C:\\Users\\UserName\\Documents\\Programming\\Idris\\Start\\test.idr") (:start 1 8) (:end 1 12)) ((:namespace "Test") (:decor :module) (:source-file "C:\\Users\\UserName\\Documents\\Programming\\Idris\\Start\\test.idr")))))) 1)
idris.exe: src\Idris\Parser.hs:(1276,40)-(1279,67): Non-exhaustive patterns in case
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment