rowandavies/sml-cidre — Issue #2: Projections not handled correctly?
Author: robsimmons
Created: 2011-10-20 03:36:49+00:00
State: open

This diff:

https://github.com/robsimmons/l10/commit/692591074a70fe5c7ad9cc52a58e9c2f4c154dba

goes from no errors to one error in the code, seeming to indicate that projections aren't being handled correctly

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

is a branch that demonstrates this strange bug:

CIDRE: basis construction error:

/Users/rjsimmon/r/l10/sml/check-types.sml:641.9-641.48 Error:
Decl.DB (pos, (db, props', hd worlds'))
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Sort mismatch: t
expecting: decl_t
------------------------------------------------------------------
/Users/rjsimmon/r/l10/sml/check-types.sml:639.23-639.59 Error:
val worlds' = #2 (tc_worlds DictX.empty [ world ])
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Sort mismatch: (t * (symbol * t list)) list
expecting: (t * (symbol * (term & term_t) list)) list
------------------------------------------------------------------