rowandavies/sml-cidre — Issue #4: Raise Crash in polymorphic refinements
Author: robsimmons
Created: 2011-10-20 05:43:39+00:00
State: open

https://github.com/robsimmons/l10/tree/bug4

Causes Crash to be raised. Not a clue.

```
check-types.sml checked in 0.703s
Impossible: RefDec.patSort_to_Sorts(2):
applying: t * t stream -> t front
to: decl_t * decl_t stream
patSort: SORTps(decl_t * decl_t stream)

Elab
non-gc system gc wallclock
0.003 0.000 0.000 0.003

uncaught exception CRASH
raised at: ../sml-cidre/src/Common/Crash.sml:11.8-11.13
../sml-cidre/src/Common/Comp.sml:68.47
../sml-cidre/src/Common/Comp.sml:68.47
../sml-cidre/src/Common/Comp.sml:68.47
../sml-cidre/src/Common/Comp.sml:68.47
../Manager/ParseElab.sml:182.80
../Manager/ParseElab.sml:189.54
../Cidre/Cidre.sml:220.63-220.65
../Cidre/Cidre.sml:302.64
```