Layout errors crash REPL

mortberg / cubicaltt

Experimental implementation of Cubical Type Theory

https://arxiv.org/abs/1611.02108

MIT License

571 stars 76 forks source link

Layout errors crash REPL #90

Open nponeccop opened 7 years ago

nponeccop commented 7 years ago

foo.ctt:

-}

> :l foo.ctt
Exception: Parse failed in "foo.ctt"
cubical: Layout error: Found } at (138,2) without an explicit layout block.
CallStack (from HasCallStack):
  error, called at ./Exp/Layout.hs:102:23 in main:Exp.Layout
$