search

ggreif / omega

Automatically exported from code.google.com/p/omega
Other
7 stars 0 forks source link

toplevel binding being defined not in scope of 'where' clause #108

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
ones = 1 : lazy hip
  where hip = ones

results in

**** Near File: test.prg
line: 2 column: 9
Not in scope: ones

Original issue reported on code.google.com by ggr...@gmail.com on 8 Oct 2012 at 8:15

GoogleCodeExporter commented 9 years ago 
Fixed by r1733. The typechecker did not see 'ones' in scope when checking 
'hip's body.

of course, evaluation may still loop, but that should be another problem.

Original comment by ggr...@gmail.com on 25 Aug 2013 at 8:34