Don't normalise types
commit047be9e9fd1fdb52a1d1be6f2a71b1d815f4d7a4
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateTue 1 May 2012, 11:35 (14 years ago)
parentfee6b51
src/Idris/ElabDecls.hs+1−1
@@ -58,7 +58,7 @@ elabType info syn fc opts n ty' = {- let ty' = piBind (params info) ty_in
5858 (cty, _) <- recheckC fc [] tyT
5959 addStatics n cty ty'
6060 logLvl 2 $ "---> " ++ show cty
61− let nty = normalise ctxt [] cty
61+ let nty = cty -- normalise ctxt [] cty
6262 ds <- checkDef fc [(n, nty)]
6363 addIBC (IBCDef n)
6464 addDeferred ds