icicle-lang / icicle-ambiata

A streaming query language.
BSD 3-Clause "New" or "Revised" License
57 stars 11 forks source link

unsafeSubstExp "impossible" error #599

Open tranma opened 7 years ago

tranma commented 7 years ago

occasional failure:

=== prop_success_array_of_struct_input from test/Icicle/Test/Sea/Psv.hs:87 ===
*** Failed! Exception: 'IMPOSSIBLE: unsafeSubstExp name being shadowed, cannot perform substitution' (after 54 tests): 
ArrayT (StructT (StructType (fromList [(StructField "black",TimeT),(StructField "grey",StructT (StructType (fromList [(StructField "black",BoolT),(StructField "blue",TimeT),(StructField "green",BoolT),(StructField "grey",TimeT),(StructField "orange",OptionT StringT),(StructField "pink",TimeT),(StructField "purple",OptionT BoolT),(StructField "red",DoubleT),(StructField "yellow",IntT)]))),(StructField "pink",TimeT),(StructField "red",OptionT TimeT),(StructField "yellow",IntT)])))
Exception thrown while printing test case: 'IMPOSSIBLE: unsafeSubstExp name being shadowed, cannot perform substitution'
Exception thrown while printing test case: 'IMPOSSIBLE: unsafeSubstExp name being shadowed, cannot perform substitution'
tranma commented 7 years ago

stack trace courtesy of ghc8


=== prop_success_array_of_struct_input from test/Icicle/Test/Sea/Psv.hs:87 ===
*** Failed! (after 75 tests): 
Exception:
  IMPOSSIBLE: unsafeSubstExp name being shadowed, cannot perform substitution
  CallStack (from HasCallStack):
    error, called at src/Icicle/Core/Program/Subst.hs:77:20 in icicle-core-0.0.1-A3Zm7l0dm1cIZwtW4tMC0A:Icicle.Core.Program.Subst
ArrayT (StructT (StructType (fromList [(StructField "black",StringT),(StructField "blue",BoolT),(StructField "green",DoubleT),(StructField "orange",StringT),(StructField "purple",TimeT),(StructField "red",BoolT),(StructField "yellow",DoubleT)])))
Exception thrown while printing test case:
  IMPOSSIBLE: unsafeSubstExp name being shadowed, cannot perform substitution
  CallStack (from HasCallStack):
    error, called at src/Icicle/Core/Program/Subst.hs:77:20 in icicle-core-0.0.1-A3Zm7l0dm1cIZwtW4tMC0A:Icicle.Core.Program.Subst

Exception thrown while printing test case:
  IMPOSSIBLE: unsafeSubstExp name being shadowed, cannot perform substitution
  CallStack (from HasCallStack):
    error, called at src/Icicle/Core/Program/Subst.hs:77:20 in icicle-core-0.0.1-A3Zm7l0dm1cIZwtW4tMC0A:Icicle.Core.Program.Subst