Change back some of the changes done in 716f0d5b
where I've removed the handling of polymorphism.
Showing
- Makefile 1 addition, 3 deletionsMakefile
- src/lic2soc.ml 3 additions, 3 deletionssrc/lic2soc.ml
- src/soc.ml 20 additions, 3 deletionssrc/soc.ml
- src/soc2c.ml 4 additions, 4 deletionssrc/soc2c.ml
- src/soc2cIdent.ml 1 addition, 3 deletionssrc/soc2cIdent.ml
- src/soc2cUtil.ml 2 additions, 2 deletionssrc/soc2cUtil.ml
- src/socExec.ml 3 additions, 3 deletionssrc/socExec.ml
- src/socExecValue.ml 2 additions, 2 deletionssrc/socExecValue.ml
- src/socPredef.ml 25 additions, 25 deletionssrc/socPredef.ml
- src/socVar.ml 3 additions, 3 deletionssrc/socVar.ml
- test/Makefile 2 additions, 0 deletionstest/Makefile
- test/lus2lic.sum 11 additions, 9 deletionstest/lus2lic.sum
- test/lus2lic.time 1 addition, 1 deletiontest/lus2lic.time
Loading
Please register or sign in to comment