search

ollef / sixten

Functional programming with fewer indirections
BSD 3-Clause "New" or "Revised" License
759 stars 26 forks source link

Indexed tree example yields weird error message #146

Open ollef opened 5 years ago

ollef commented 5 years ago 
type Tree (n : Nat) (a : Type) where
  Leaf : a -> Tree Zero a
  Fork : forall m . (Tree m a) -> (Tree m a) -> Tree (Succ m) a

yields

sixten: FatalError {fatalErrorMessage = "checkAndGeneraliseTopLevelDefs Var 99"}

We should figure out why.