Lines Matching refs:str
26 fun processSpec is str (((pos1, pos2), spec), res) =
30 {comp = Val (getId idInfo), file = str, line = #2 pos1} :: res
32 {comp = Val (getId idInfo), file = str, line = #2 pos1} :: res
34 {comp = Typ (getId idInfo), file = str, line = #2 pos1} :: res
36 {comp = Typ (getId idInfo), file = str, line = #2 pos1} :: res
38 {comp = Con (getId idInfo), file = str, line = #2 pos1} :: res
40 {comp = Typ (getId idInfo), file = str, line = #2 pos1}
43 {comp = Typ (getId idInfo), file = str, line = #2 pos1} :: res
45 {comp = Exc (getId idInfo), file = str, line = #2 pos1} :: res
56 | LOCALspec (spec1, spec2) => processSpec is str (spec2, res)
62 processSpec is str (spec2, processSpec is str (spec1, res))
66 fun parseAndProcess dir str res =
67 let val basefile = OS.Path.joinBaseExt {base = str, ext = SOME "sig"}
75 val initialbase = {comp = Database.Str, file = str, line = 0} :: res
76 val res = foldl (processSpec is str) initialbase specs
83 | _ => (print ("Failed to parse (or find?) "^str^