git.iko.soy/Idris-dev
on master help sign in
Change default specialisation behaviour to not unfold names
adf646eEdwin Brady
src/Core/Evaluate.hs+1−1
compare with master
unifiedsplit
@@ -136,7 +136,7 @@ usable simpl True n ns
136 case lookup n ls of
136 case lookup n ls of
137 Just 0 -> return (False, ns)
137 Just 0 -> return (False, ns)
138 Just i -> return (True, ns)
138 Just i -> return (True, ns)
139− _ -> return (True, ns)
139+ _ -> return (False, ns)
140usable simpl False n ns
140usable simpl False n ns
141 = case lookup n ns of
141 = case lookup n ns of
142 Just 0 -> return (False, ns)
142 Just 0 -> return (False, ns)